Logic List Mailing Archive
CfP (extended): FOMTIC:Foundations of Mathematics, Truth, and Implicit Commitments, 11 - 13 April 2024, Warsaw (Poland)
Dear All,
Please, consider posting on the mailing list the following announcement of the extended deadline for the call for papers for the conference Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), which will be held in Warsaw, 11-13.04.2024.
CFP
Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC)
We are pleased to announce the Call for Papers for the Foundations of Mathematics, Truth, and Implicit Commitments conference, which will take place at the University of Warsaw, Warsaw, Poland, from 11 - 13 April 2024.
The conference is planned to take place in person.
********
Foundations of Mathematics, Truth, and Implicit Commitments, University of Warsaw, Warsaw
Dates: 11 - 13 April 2024
https://commitments-project.com/
Conference Description
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@gmail.com<mailto:fomtic24@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: 31 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,
The organisers
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php