Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics
Lenhard, Johannes
Philosophia Scientiae, Tome 9 (2005), p. 97-107 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)

Two conflicting interpretations of modern axiomatics will be considered. The logico-analytical interpretation goes back to Pasch, while the model-theoretical approach stems from Hilbert. This perspective takes up the distinction between logic as calculus ratiocinator versus lingua characterica that Heijenoort and Hintikka placed emphasis on. It is argued that the Heijenoort-Hintikka distinction can be carried over from logic to mathematical axiomatics. In particular, the model-theoretical viewpoint is deeply connected to a philosophy of mathematics that is not committed to a foundational perspective, but oriented more at applications and at mathematical practice.

Publié le : 2005-01-01
@article{PHSC_2005__9_2_97_0,
     author = {Lenhard, Johannes},
     title = {Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics},
     journal = {Philosophia Scientiae},
     volume = {9},
     year = {2005},
     pages = {97-107},
     language = {en},
     url = {http://dml.mathdoc.fr/item/PHSC_2005__9_2_97_0}
}

Lenhard, Johannes. Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics. Philosophia Scientiae, Tome 9 (2005) pp. 97-107. http://gdmltest.u-ga.fr/item/PHSC_2005__9_2_97_0/

[1] Beth, Evert Willem 1968.- The Foundations of Mathematics, Amsterdam: North-Holland. | Zbl 0085.24104

[2] Corfield, David 2003.- Towards a Philosophy of Real Mathematics, Cambridge: Cambridge University Press. | MR 1996199 | Zbl 1089.00003

[3] Ewald, William (Ed.) 1996.- From Kant to Hilbert: a Source Book in the Foundations of Mathematics, Oxford: Clare-don Press. | MR 1465678 | Zbl 0859.01002

[4] Goldfarb, Warren D. 1979.- Logic in the Twenties: the Nature of the Quantifier, The Journal of Symbolic Logic, 44 (3), 351-368. | MR 540666 | Zbl 0438.03001

[5] Grattan-Guinness, Ivor 1997.- Peirce between Logic and Mathematics, in (N. Houser, D. D. Roberts and J. van Evra, eds.) Studies in the Logic of Charles Sanders Peirce, Bloomington and Indianapolis: Indiana University Press, 23-42. | MR 1720826

[6] Heijenoort, Jean Van 1967.- Logic as Calculus and Logic as Language, Synthese, 17, 324-330. | Zbl 0154.00305

[7] Hilbert, David 1899.- Grundlagen der Geometrie, Stuttgart: Teubner, 1999.

[8] Hilbert, David 1918.- Axiomatisches Denken, Mathematische Annalen, 78, 405-415. | JFM 46.0062.03

[9] Hilbert, David 1919/20.- Natur und mathematisches Erkennen, Basel/Boston/Berlin: Birkhäuser, 1999. | MR 1316394

[10] Hintikka, Jaakko 1997.- Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, Dordrecht: Kluwer. | MR 1797984

[11] Lenhard, Johannes and Michael Otte 2002.- Analyse und Synthese - Von Leibniz und Kant zum Axiomatischen Denken, Philoso-phia naturalis, 39 (2), 259-292. | MR 1954945

[12] Majer, Ulrich 2001.- Hilbert's Axiomatic Method and the Foundations of Science: Historical Roots of Mathe-matical Physics in Göttingen (1900-1930), in (M. Rédei and M. Stöltzner, eds.) John von Neumann and the Foundations of Quantum Physics, Dordrecht: Kluwer, 11-33. | MR 2042739

[13] Pasch, Moritz 1882.- Vorlesungen über neuere Geometrie, Berlin: Springer.

[14] Peckhaus, Volker 1999.- The Pragmatism of Hilbert's Programme, Lecture at GAP, Bielefeld. 1967 Mathematics Without Foundations, in (H. Putnam and P. Benacerraf, eds.), Philosophy of Mathematics: Selected Readings, Cambridge: Cambridge University Press, 1983, 295-311.

[15] Schlick, Moritz 1918.- Allgemeine Erkenntnislehre, Frankfurt am Main: Suhrkamp, 1979.