Navigation – Plan du site

AccueilNuméros9-2Axiomatics Without Foundations. O...

Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics

Johannes Lenhard
p. 97-107

Résumé

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.

Haut de page

Notes de l’auteur

My standpoint and arguments are based on common work with Michael Otte [Lenhard and Otte 2002]. I acknowledge the helpful comments given at PILM.

Pour citer cet article

Référence papier

Johannes Lenhard, « Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics  »Philosophia Scientiæ, 9-2 | 2005, 97-107.

Référence électronique

Johannes Lenhard, « Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics  »Philosophia Scientiæ [En ligne], 9-2 | 2005, mis en ligne le 15 juin 2011, consulté le 19 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/526 ; DOI : https://doi.org/10.4000/philosophiascientiae.526

Haut de page

Auteur

Johannes Lenhard

University of Bielefeld (Germany)

Haut de page

Droits d’auteur

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search