BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2024/newsitem/14614/11 ---13-April-2024-Foundations-of-Mathematics-Truth- and-Implicit-Commitments-FOMTIC-Warsaw-Poland DTSTAMP:20231116T145745 SUMMARY:Foundations of Mathematics, Truth, and Imp licit Commitments (FOMTIC), Warsaw, Poland DTSTART;VALUE=DATE:20240411 DTEND;VALUE=DATE:20240413 LOCATION:Warsaw, Poland DESCRIPTION:In recent years, the notion of implici t commitments has received new attention in the Ph ilosophy of Mathematics. Focusing on theories of f oundational interest, in which substantial parts o f 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 i nvestigation started in the 60s with the work of S olomon Feferman and others on the so-called' refle ction principles', statements expressing, for a gi ven theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitmen ts of S. Since the 60s, Feferman's investigation g enerated an enormous amount of literature and rese arch programmes. Although much progress has been m ade in our understanding of implicit commitments, much work is still needed. Our conference aims to provide a platform to gather philosophers, mathem aticians, and logicians working on implicit commit ments and related notions in the context of philos ophy and the foundation of mathematics. We invite submission of extended abstracts (up to 1000 word s, prepared for blind review) for contributed talk s. Please submit your abstract by email to the org anisers at fomtic24 at gmail.com, and include your institutional affiliation, if you have one, and t he title of your abstract in the body of the email . Submissions from underrepresented groups are par ticularly welcome. X-ALT-DESC;FMTTYPE=text/html:
\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.

\n

Our 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
\n

We invite submission of extended abstracts (up to 1000 words, prepared for blind review) for contri buted talks. Please submit your abstract by email to the organisers at , and include your institutional affiliation , if you have one, and the title of your abstract in the body of the email. Submissions from underre presented groups are particularly welcome.

\n URL:/NewsandEvents/Archives/2024/newsitem/14614/11 ---13-April-2024-Foundations-of-Mathematics-Truth- and-Implicit-Commitments-FOMTIC-Warsaw-Poland CONTACT:fomtic24 at gmail.com END:VEVENT END:VCALENDAR