Essays in the Philosophy and History of Logic and Mathematics
Essays in the Philosophy and History of Logic and Mathematics

Author: Roman Murawski

Publisher: BRILL

Published: 2015-06-29

Total Pages: 327

ISBN-13: 9042030917

DOWNLOAD EBOOK

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

Logic, Philosophy of Mathematics, and Their History
Logic, Philosophy of Mathematics, and Their History

Author: Erich H Reck

Publisher:

Published: 2018-11-16

Total Pages: 326

ISBN-13: 9781848902879

DOWNLOAD EBOOK

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside.

Philosophy of Mathematics in the Twentieth Century
Philosophy of Mathematics in the Twentieth Century

Author: Charles Parsons

Publisher: Harvard University Press

Published: 2014-03-10

Total Pages: 365

ISBN-13: 0674419499

DOWNLOAD EBOOK

In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Gödel, Russell, Quine, Putnam, Wang, and Tait.

Mathematics in Philosophy
Mathematics in Philosophy

Author: Charles D. Parsons

Publisher: Cornell University Press

Published: 2018-08-06

Total Pages: 367

ISBN-13: 1501729322

DOWNLOAD EBOOK

This important book by a major American philosopher brings together eleven essays treating problems in logic and the philosophy of mathematics. A common point of view, that mathematical thought is central to our thought in general, underlies the essays. In his introduction, Parsons articulates that point of view and relates it to past and recent discussions of the foundations of mathematics. Mathematics in Philosophy is divided into three parts. Ontology—the question of the nature and extent of existence assumptions in mathematics—is the subject of Part One and recurs elsewhere. Part Two consists of essays on two important historical figures, Kant and Frege, and one contemporary, W. V. Quine. Part Three contains essays on the three interrelated notions of set, class, and truth.

The Architecture of Modern Mathematics
The Architecture of Modern Mathematics

Author: J. Ferreiros

Publisher: OUP Oxford

Published: 2006-04-27

Total Pages: 456

ISBN-13: 0191513792

DOWNLOAD EBOOK

This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics. It is a coherent, wide ranging account of how a number of topics in the philosophy of mathematics must be reconsidered in the light of the latest historical research, and how a number of historical accounts can be deepened by embracing philosophical questions.

Mathematics, Logic, and their Philosophies
Mathematics, Logic, and their Philosophies

Author: Mojtaba Mojtahedi

Publisher: Springer Nature

Published: 2021-02-09

Total Pages: 493

ISBN-13: 3030536548

DOWNLOAD EBOOK

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.

Logic, Mathematics, Philosophy, Vintage Enthusiasms
Logic, Mathematics, Philosophy, Vintage Enthusiasms

Author: David DeVidi

Publisher: Springer Science & Business Media

Published: 2011-03-23

Total Pages: 487

ISBN-13: 9400702140

DOWNLOAD EBOOK

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.

Leibniz and the Structure of Sciences
Leibniz and the Structure of Sciences

Author: Vincenzo De Risi

Publisher: Springer Nature

Published: 2020-01-01

Total Pages: 304

ISBN-13: 3030255727

DOWNLOAD EBOOK

The book offers a collection of essays on various aspects of Leibniz’s scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz’s logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and general epistemology. Several chapters attempt a reading of Leibniz’s scientific works through modern mathematical tools, and compare Leibniz’s results in these fields with 19th- and 20th-Century conceptions of them. All of them have special care in framing Leibniz’s work in historical context, and sometimes offer wider historical perspectives that go much beyond Leibniz’s researches. A special emphasis is given to effective mathematical practice rather than purely epistemological thought. The book is addressed to all scholars of the exact sciences who have an interest in historical research and Leibniz in particular, and may be useful to historians of mathematics, physics, and epistemology, mathematicians with historical interests, and philosophers of science at large.

Philosophy of Logic (Routledge Revivals)
Philosophy of Logic (Routledge Revivals)

Author: Hilary Putnam

Publisher: Routledge

Published: 2014-04-04

Total Pages: 86

ISBN-13: 1317832582

DOWNLOAD EBOOK

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.