-
Mathematics, Models, and Modality: Selected Philosophical EssaysCambridge University Press. 2008.John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be o…Read more
-
66How Foundational Work in Mathematics Can Be Relevant to Philosophy of SciencePSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992 433-441. 1992.Foundational work in mathematics by some of the other participants in the symposium helps towards answering the question whether a heterodox mathematics could in principle be used as successfully as is orthodox mathematics in scientific applications. This question is turn, it will be argued, is relevant to the question how far current science is the way it is because the world is the way it is, and how far because we are the way we are, which is a central question, if not the central question, o…Read more
-
12It is shown that for invariance under the action of special groups the statements "Every invariant PCA is decomposable into (1 invariant Borel sets" and "Every pair of invariant PCA is reducible by a pair of invariant PCA sets" are independent of the axioms of set theory.
-
251Charles Parsons. Mathematical thought and its objectsPhilosophia Mathematica 16 (3): 402-409. 2008.This long-awaited volume is a must-read for anyone with a serious interest in philosophy of mathematics. The book falls into two parts, with the primary focus of the first on ontology and structuralism, and the second on intuition and epistemology, though with many links between them. The style throughout involves unhurried examination from several points of view of each issue addressed, before reaching a guarded conclusion. A wealth of material is set before the reader along the way, but a revi…Read more
-
71Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in GeometryPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988 456-463. 1988.The consequences for the theory of sets of points of the assumption of sets of sets of points, sets of sets of sets of points, and so on, are surveyed, as more generally are the differences among the geometric theories of points, of finite point-sets, of point-sets, of point-set-sets, and of sets of all ranks.
-
83The decision problem for linear temporal logicNotre Dame Journal of Formal Logic 26 (2): 115-128. 1985.
-
24Proofs about Proofs: a defense of classical logic. Part I: the aims of classical logicIn Michael Detlefsen (ed.), Proof, Logic and Formalization, Routledge. 2005.
Princeton, New Jersey, United States of America