Konferencja „Foundations of Mathematics, Truth, and Implicit Commitments” (11-13.04.2024)

Filozofowie i logicy z różnych krajów, zajmujący się podstawami matematyki, spotkają się w dniach 11-13 kwietnia na Uniwersytecie Warszawskim na konferencji naukowej „Foundations of Mathematics, Truth, and Implicit Commitments”. Poniżej szczegóły i program. Z czasem będzie tu również dostępny link do transmisji online.

Konferencja jest organizowana przez zespół prof. Cezarego Cieślińskiego, realizujący na Wydziale Filozofii UW projekt badawczy „Epistemic and semantic commitments of foundational theories„, finansowany przez NCN w ramach programu MAESTRO. Jak wskazują organizatorzy, „celem konferencji jest stworzenie platformy spotkania dla filozofów, matematyków i logików, pracujących nad zobowiązaniami ukrytymi (implicit commitments) i związanymi z nimi pojęciami w kontekście filozofii i podstaw matematyki”.

Wydarzenie będzie miało miejsce w Instytucie Lingwistyki Stosowanej Uniwersytetu Warszawskiego przy ul. Dobra 55 w sali 1.132 na I piętrze. Wśród prelegentów konferencji znajdą się następujący naukowcy:

• 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).

Więcej informacji, w tym abstrakty wystąpień, można znaleźć na stronie wydarzenia: https://commitments-project.com/events/

Oto zaś program konferencji:

Conference Program

11 April

09:50–10:00 Cezary Cieśliński, Welcome
10:00 –11:00 Andrea Cantini, A Fixed Point Theory over Stratified Truth
11:00–11:30 Coffee break
11:30–12:30 Graham Leigh, Truth, Proof & Realizability
12:30–14:30 Lunch
14:30–15:30 Carlo Nicolai, Some remarks on Classical determinate truth
15:30–16:00 Coffee break
16:00–16:45 Simon Schmitt, Set-theoretic Bicontextualism
16:45–17:00 Coffee break
17:00–17:45 J. Miguel Lopez Munive, Non-classical semantics for necessity conceived as a predicate

12 April

10:00–11:00 Volker Halbach, Soundness, Completeness, and Reflection
11:00–11:30 Coffee break
11:30–12:15 Martin Fischer, Implicit Commitment, Reflective Closure and Conceptual Consequences
12:15–12:30 Coffee break
12:30–13:15 Michael Sheard, Proof Theoretic Circularity and the Liar
13:15–15:00 Lunch
15:00–16:00 Kentaro Fujimoto, Some variants of the theory of classical determinate truth
16:00–16:15 Coffee break
16:15–17:15 Open Problem Section
19:00 Conference dinner

13 April

10:00–11:00 Albert Visser, Restricted Sequential Theories
11:00–11:30 Coffee break
11:30–12:15 Ahmet Çevik, Structuralism and Choice-free Intuitionistic Theories
12:15–12:30 Coffee break
12:30–13:30 Leon Horsten, Implicit commitments of theory acceptance versus implicit commitments of acceptance of concepts

(Zdjęcie w tle obrazka: wygenerowane przez Leonardo AI)