Geodesic
Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics
Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 97-107

Voir la notice de l'article provenant de la source Numdam

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.

@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},
     pages = {97--107},
     publisher = {\'Editions Kim\'e},
     volume = {9},
     number = {2},
     year = {2005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_97_0/}
}
TY  - JOUR
AU  - Lenhard, Johannes
TI  - Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics
JO  - Philosophia Scientiae
PY  - 2005
SP  - 97
EP  - 107
VL  - 9
IS  - 2
PB  - Éditions Kimé
UR  - http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_97_0/
LA  - en
ID  - PHSC_2005__9_2_97_0
ER  - 
%0 Journal Article
%A Lenhard, Johannes
%T Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics
%J Philosophia Scientiae
%D 2005
%P 97-107
%V 9
%N 2
%I Éditions Kimé
%U http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_97_0/
%G en
%F PHSC_2005__9_2_97_0
Lenhard, Johannes. Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics. Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 97-107. http://geodesic.mathdoc.fr/item/PHSC_2005__9_2_97_0/