11 - 13 April 2024, Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), Warsaw, Poland

In recent years, the notion of implicit commitments has received new attention in the Philosophy of Mathematics. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and logicians have been trying to determine the extent of the commitments (if there are any) implicit in foundational theories. This investigation started in the 60s with the work of Solomon Feferman and others on the so-called' reflection principles', statements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitments of S. Since the 60s, Feferman's investigation generated an enormous amount of literature and research programmes. Although much progress has been made in our understanding of implicit commitments, much work is still needed.

Our conference aims to provide a platform to gather philosophers, mathematicians, and logicians working on implicit commitments and related notions in the context of philosophy and the foundation of mathematics. We invite submission of extended abstracts (up to 1000 words) for contributed talks. Topics of interest include (but are not limited to) the following:

* Epistemic and semantic commitments of formal theories

* Axiomatic theories of truth

* Formal and philosophical analysis of implicit commitments 

* The role of open-endedness in the acceptance of theories and epistemic stability

* Deflationism about truth and issues of conservativity

* Set-theoretical, proof-theoretical, truth-theoretical reflection principles and their applications

* Truth in the foundations of mathematics

INVITED SPEAKERS

Carolin Antos (University of Konstanz)

Andrea Cantini (Università degli Studi di Firenze)

Kentaro Fujimoto (University of Bristol)

Volker Halbach (University of Oxford)

Leon Horsten (University of Konstanz)

Graham Leigh (University of Gothenburg)

Carlo Nicolai (King's College London) 

Albert Visser (Utrecht University) 

CALL FOR PAPERS

We invite the submission of abstracts of up to 1000 words prepared for blind review. Please submit your abstract by email to the organisers at fomtic24 at gmail.com, and include your institutional affiliation, if you have one, and the title of your abstract in the body of the email. Submissions from underrepresented groups are particularly welcome.

The deadline for submission is 15 January 2024. We aim to send decisions to all applicants by February 15, 2024.

IMPORTANT DATES

– Submissions deadline: 15. January 2024

– Notification of acceptance: 15 February 2024

– Conference dates: 11 - 13 April 2024

Organising Committee

Luca Castaldo, Cezary Cieśliński, Ali Enayat, Maciej Głowacki, Mateusz Łełyk, Bartosz Wcisło, Matteo Zicchetti.  

REGISTRATION AND PRACTICAL INFORMATION

Please note that registration is required for attendance. Information about the registration procedure and other practical details will be made available on the conference website in due course,