Nicola Bonatti M.Phil
2023 April, 1 - September, 30
Affiliation: MCMP/LMU Munich
Research for a study about:
A Unified Approach of Extremal Assumptions
The project aims to provide a comprehensive account of extremal assumptions in mathematical theories, as well as their relevance for the epistemology of mathematics. Extremal axioms impose a condition of either minimality or maximality on the admissible models of an axiomatic theory. For example, while the axiom of Induction enforces the requirement of minimality on the models of Peano arithmetic, the axiom of Line Completeness imposes the condition of maximality over the models of Hilbert geometry. The first part of the project investigates how the restrictions of minimality and maximality can be implemented in precise and general terms. Specifically, two main questions will be addressed: (i) How to formulate extremal assumptions in a suitable logical language? (ii) Under what conditions do extremal assumptions entail the categoricity of the theory? It is claimed that the minimality and maximality constraints can be understood with respect to either the size of the individual domain or according to the structure-preserving maps between models. The second part of the project considers the role played by extremal axioms in securing knowledge of the intended model of foundational theories. In each of the cases considered an extremal axiom is being put forth to the effect that a particular formal notion provides a satisfactory characterization of a vaguely conceived intuitive idea. Thus the justification of an extremal axiom has to depend on a combination of intrinsic and extrinsic considerations.
Lecture
Extremal Assumptions in the Foundations of Mathematics
Logic Café Hybrid Lecture
The Philosophy Department and the Institute Vienna Circle are jointly organizing a series of talks this term
Date: 19/06/2023
Time: 16h45- 18h15
Meetings are usually held on Mondays from 16:45 to 18:15 in Raum 3D (D0316), 3. floor Department of Philosophy
This talk can be followed via online Plattform.
Online Plattform access:
univienna.zoom.us/j/99422395420
No registered accounts are required, it's enough to click on the link and enter your name. Chrome or Firefox browsers work best.
Abstract:
Extremal axioms impose a condition of either minimality or maximality on the admissible models of an axiomatic theory. For example, while the axiom of Induction enforces the requirement of minimality on the models of Peano arithmetic, the axiom of Line Completeness imposes the condition of maximality over the models of Hilbert geometry. Similar extremal assumptions have been adopted in real analysis, non-standard analysis and set theory. The idea of extremal assumptions is potentially much more important than has been pointed out in the literature -- with the exceptions of Carnap & Bachmann (1936), Hintikka (1998) and Schiemer (2012). In this talk, I will address two main questions: (i) How to formulate extremal assumptions in a suitable logical language? (ii) Under what conditions do extremal assumptions entail the categoricity of the theory?