Foundations as truths which organize mathematics

Review of Symbolic Logic 6 (1):76-86 (2013)
  Copy   BIBTEX

Abstract

The article looks briefly at Fefermans own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context

Categories

Keywords

Reprint years

DOI

10.1017/s1755020312000159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Categorical Foundations and Mathematical Practice.C. McLarty - 2012 - Philosophia Mathematica 20 (1):111-113.
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
The Foundations of Mathematics in the Theory of Sets.John P. Mayberry - 2000 - Cambridge University Press.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Foundations for Mathematical Structuralism.Uri Nodelman & Edward N. Zalta - 2014 - Mind 123 (489):39-78.
Learning from questions on categorical foundations.Colin McLarty - 2005 - Philosophia Mathematica 13 (1):44-60.
The foundations of mathematics.Ian Stewart & David Tall - 1977 - New York: Oxford University Press. Edited by David Orme Tall.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
The ethnomethodological foundations of mathematics.Eric Livingston - 1986 - Boston: Routledge and Kegan Paul.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
The development of programs for the foundations of mathematics in the first third of the 20th century.Solomon Feferman - manuscript
Renewing foundations -.Andrei Rodin - unknown
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11 (3):420-423.
Review: William S. Hatcher, The Logical Foundations of Mathematics; William S. Hatcher, Foundations of Mathematics; William Hatcher's, Logical Foundations of Mathematics. [REVIEW]Frederick W. Kroon - 1986 - Journal of Symbolic Logic 51 (2):467-470.

Analytics

Added to PP
2013-12-01

Downloads
59 (#273,284)

6 months
22 (#123,741)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Colin McLarty
Case Western Reserve University

Citations of this work

What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.

Add more citations

References found in this work

Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.

View all 18 references / Add more references