APSE-CEU-IVC Talks: Georg Schiemer (University of Vienna) | Instrumental formalism and conservativity

APSE-CEU-IVC Talks

The Philosophy Department of the Central European University, the Institute Vienna Circle and the Unit for Applied Philosophy of Science and Epistemology (of the Department of Philosophy of the University of Vienna) are jointly organizing a series of talks this term

 

Instrumental formalism and conservativity

APSE-CEU-IVC Talks
The Philosophy Department of the Central European University, the Institute Vienna Circle and the Unit for Applied Philosophy of Science and Epistemology (of the Department of Philosophy of the University of Vienna) are jointly organizing a series of talks this term

Date: 01/12/2022

Time: 15h45

This talk is going to be a hybrid event, in-person at NIG (SR 3A) and can be followed via online Plattform.

Online Plattform:

Access:

univienna.zoom.us/j/61475205762

You can also log into our meetings through the Zoom application (rather than by clicking the link above), by using the following credentials:

Meeting-ID: 614 7520 5762

Password: 264065

No registered accounts are required, it's enough to click on the link and enter your name. Chrome or Firefox browsers work best.

Abstract:

Formalism in the philosophy of mathematics is, roughly put, the view that mathematics is purely syntactic in character and that semantic concepts are not relevant or reducible to purely syntactic ones. The focus in this talk will be on a particular version of formalism, namely instrumental formalism and its emphasis on “non-representational roles” of symbolic languages in mathematical reasoning. David Hilbert’s foundational work from the 1920s is usually viewed as a culmination point in the development of such a formalist position (Detlefsen 2005). Interestingly, both in Hilbert’s work as well as in and in related contributions to instrumental formalism, one can identify two relevant criteria of reliability for the use of formal languages or theories, namely (i) the consistency and (ii) the conservativity of sets of rules or axiom systems. The latter condition requires that a formal theory in use presents a conservative extension of an interpreted base theory. In Hilbert’s own proof theoretic work, this central but implicit assumption has been described as his “conservativity program” (cf. Zach 2004). The focus of this talk will be on Hilbert’s instrumental formalism, its mathematical roots, and its more general philosophical context. Specifically, following an exposition of Hilbert’s program, I will first survey different contributions to formalist thinking and to conservativity in nineteenth-century mathematics and discuss the impact of these results on Hilbert’s logical work. Secondly, I will investigate the more general “intellectual context” of Hilbert’s program (cf. Giaquinto 1983, Hallett 1900) and discuss how his results on the foundations of mathematics relate to forms of scientific instrumentalism and early contributions to the logic of science in Logical Empiricism.

 

 

Location:
NIG, Universitätsstraße 7, 1010 Wien, SR 3A and ONLINE