Where do axioms come from?

In Fernando Ferreira, Kahle Reinhard & Giovanni Sommaruga, Axiomatic Thinking I & II. Cham: Springer. pp. 185-191 (2022)
  Copy   BIBTEX

Abstract

The traditional view going back to the Greeks is that axioms are true and that truth is inherited from them through logical reasoning. The modern view, forcefully espoused by David Hilbert in a letter to Gottlob Frege of 29 December 1899 runs counter to this. "I was very much interested in your sentence: ‘From the truth of the axioms it follows that they do not contradict one another’, because for as long as I have been thinking, writing, lecturing about these things, I have been saying the exact reverse: If the arbitrarily given axioms do not contradict one another, then they are true, and the things defined by the axioms exist. This for me is the criterion of truth and existence."

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

  • This entry has no external links. Add one.
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

Frege’s philosophy of geometry.Matthias Schirn - 2019 - Synthese 196 (3):929-971.
A repair of Frege’s theory of thoughts.Mark Textor - 2009 - Synthese 167 (1):105 - 123.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Frege on logical axioms and non‐evidential epistemic warrants: A paragraph from Grundgesetze.Junyeol Kim - forthcoming - Analytic Philosophy.
A Note on the Unprovability of Consistency in Formal Theories of Truth.Kevin Davey - 2021 - Journal of Philosophical Logic 50 (6):1313-1340.
Axioms as Definitions: Revisiting Poincaré and Hilbert.Laura Fontanella - 2019 - Philosophia Scientiae 23-1 (23-1):167-183.
Meršić o Hilbertovoj aksiomatskoj metodi [Meršić on Hilbert's axiomatic method].Srećko Kovač - 2006 - In E. Banić-Pajnić & M. Girardi Karšulin, Zbornik u čast Franji Zenku. pp. 123-135.
On Abducing the Axioms of Mathematics.Woosuk Park - 2021 - In John R. Shook & Sami Paavola, Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice. Springer Verlag. pp. 161-175.
The master argument and branching time.Lars Gundersen - 1997 - Logic and Logical Philosophy 5:49-60.
Poincaré on the Foundation of Geometry in the Understanding.Jeremy Shipley - 2017 - In Maria Zack & Dirk Schlimm, Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 19-37.

Analytics

Added to PP
2024-11-11

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references