Displaying similar documents to “On the epistemological justification of Hilbert’s metamathematics”

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

Johannes Lenhard (2005)

Philosophia Scientiae

Similarity:

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...

Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)

Ryszard Wójcicki (2017)

Bulletin of the Section of Logic

Similarity:

In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning any propositions not merely mathematical.

Dogmas and the changing images of foundations

José Ferreirós (2005)

Philosophia Scientiae

Similarity:

We offer a critical review of several different conceptions of the activity of foundational research, from the time of Gauss to the present. These are (1) the traditional image, guiding Gauss, Dedekind, Frege and others, that sees in the search for more adequate basic systems a logical excavation of structures, (2) the program to find sound formal systems for so-called classical mathematics that can be proved consistent, usually associated with the name of Hilbert, and (3) the historicist...