Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band | Artikel

175164

Axiomatics without foundations. on the model-theoretical viewpoint in modern axiomatics

Johannes Lenhard

pp. 97-107

Abstrakt

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.

Publication details

Published in:

Heinzmann Gerhard, Rebuschi Manuel (2005) Aperçus philosophiques en logique et en mathématiques. Philosophia Scientiae 9 (2).

Seiten: 97-107

DOI: 10.4000/philosophiascientiae.526

Referenz:

Lenhard Johannes (2005) „Axiomatics without foundations. on the model-theoretical viewpoint in modern axiomatics“. Philosophia Scientiae 9 (2), 97–107.