Online APSE-CEU-IVC Talks: Sean Walsh (University of California)| Model completions, model theory, and ideal elements

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

 

Model completions, model theory, and ideal elements

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: 19/05/2022

Time: 17h00

Online Plattform: The meeting will be online via Zoom | Talks in Philosophy of Science and Epistemology PSE

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:

Manders (1989) suggested that the model-theoretic notion of model completion could help conceptualize the rationale behind the choice of ideal elements in mathematics. Bellomo (2021) usefully compares and contrasts this to the idea of 'domain expansion' that one finds in the principle of permanence, which has many connections to the Hilbert program (cf. Detlefsen 2005). The Hilbert program has given rise to much within mathematical logic, and can be viewed through the lens of reverse mathematics (Simpson 1988, Simpson 1999). In this talk, we look at Manders' preferred method of domain extension in the framework of reverse mathematics. It is one way of trying to understand how hard it is to find the types of models at issue in model completions when they exist.

Bellomo, Anna. 2021. "Domain Extension and Ideal Elements in Mathematics." Philosophia Mathematica. Series III 29 (3): 366-91.

Detlefsen, Michael. 2005. "Formalism." In The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Stewart Shapiro. Oxford University Press.

Manders, Kenneth. 1989. "Domain Extension and the Philosophy of Mathematics." The Journal of Philosophy 86 (10): 553-62.

S. G. Simpson. Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer- Verlag, Berlin, 1999.

S. G. Simpson. Partial realizations of Hilbert's program. J. Symbolic Logic, 53(2):349-363, 1988.

Location:
The meeting will be online via Zoom