\n

In recent years, the notion of implicit commitments has rec eived new attention in the Philosophy of Mathemati cs. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and l ogicians 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 o thers on the so-called' reflection principles', st atements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection prin ciples are implicit commitments of S. Since the 60 s, Feferman's investigation generated an enormous amount of literature and research programmes. Alth ough much progress has been made in our understand ing of implicit commitments, much work is still ne eded.

\nOur conference aims to provide a p latform to gather philosophers, mathematicians, an d logicians working on implicit commitments and re lated notions in the context of philosophy and the foundation of mathematics.

\n

URL:/NewsandEvents/Archives/current/newsitem/14614
/11---13-April-2024-Foundations-of-Mathematics-Tru
th-and-Implicit-Commitments-FOMTIC-Warsaw-Poland
CONTACT:fomtic24 at gmail.com
END:VEVENT
END:VCALENDAR
W e invite submission of extended abstracts (up to 1 000 words, prepared for blind review) for contribu ted talks. Please submit your abstract by email to the organisers at fomtic24 at&nb sp;gmail.com, and include your institutional a ffiliation, if you have one, and the title of your abstract in the body of the email. Submissions fr om underrepresented groups are particularly welcom e.