Does mathematics need new axioms

Bulletin of Symbolic Logic 6 (4):401-446 (1999)
  Copy   BIBTEX

Abstract

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there are quite a few highly technical journals in logic, such as The Journal of Sym-

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,362

External links

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

Through your library

Similar books and articles

Foundations of mathematics for the working mathematician.N. Bourbaki - 1949 - Journal of Symbolic Logic 14 (1):1-8.

Analytics

Added to PP
2009-01-28

Downloads
527 (#46,267)

6 months
10 (#294,162)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Penelope J. Maddy
University of California, Irvine
Jack Steel
University of Edinburgh

Citations of this work

Infinitesimal Probabilities.Sylvia Wenmackers - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 199-265.
Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.
On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.

View all 71 citations / Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Naturalism and the A Priori.Penelope Maddy - 2000 - In Paul Artin Boghossian & Christopher Peacocke (eds.), New Essays on the A Priori. Oxford, GB: Oxford University Press. pp. 92--116.
In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.

View all 8 references / Add more references