Logic List Mailing Archive
CfR: FOMTIC: Foundations of Mathematics, Truth, and Implicit Commitments, 11 - 13 April 2024, Warsaw (Poland)
From: Luca Castaldo <castaldx@gmail.com>
Sent: Wednesday, April 3, 2024 6:42 PM
To: logic.list@outlook.com
Subject: CfR: Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC)
We are pleased to announce the Call for Registration 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, but it will be possible to attend remotely via zoom (a link will be provided to registered participants shortly before the conference).
********
Foundations of Mathematics, Truth, and Implicit Commitments, University of Warsaw, Warsaw
Dates: 11 - 13 April 2024
https://commitments-project.com/events/
Registration
To register, please fill out the form provided at the following link by 9 April 2024.
https://docs.google.com/forms/d/e/1FAIpQLScNcdok0N3Np9-6I8PJhuUaUXCyNBDuRH-hlR2-TzT1lfo2qw/viewform?usp=sf_link
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.
Speakers
Andrea Cantini (University of Florence)
Ahmet Çevik (Gendarmerie and Coast Guard Academy)
Martin Fischer (LMU Munich & MCMP)
Kentaro Fujimoto (University of Bristol)
Volker Halbach (University of Oxford)
Leon Horsten (University of Konstanz)
Graham Leigh (University of Gothenburg)
J. Miguel Lopez Munive (University of Oxford)
Carlo Nicolai (King’s College London)
Simon Schmitt (University of Turin)
Michael Sheard (St. Lawrence University)
Albert Visser (Utrecht University)
Organising Committee
Luca Castaldo, Cezary Cieśliński, Ali Enayat, Maciej Głowacki, Mateusz Łełyk, Bartosz Wcisło, Matteo Zicchetti.
--
https://sites.google.com/view/lucacastaldo
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php