Past meetings

05.04.2023 Jouko Väänänen, “Categoricity arguments and their philosophical uses”
22.03.2023 Volker Halbach, “Classical Determinate Truth”
22.02.2023 Lorenzo Rossi, “Cognitive Modelism”
11.01.2023 Johannes Stern, “The Liar Paradox and Modalities”
14.12.2022 Martin Fischer, “Internal Categoricity, Truth and Determinateness”
16.11.2022 Luca Castaldo, “An introduction to sequent calculi for classical and nonclassical logics”
02.11.2022 Luca Castaldo, “An introduction to Kripke-Feferman truth”
19.10.2022 Matteo Zicchetti, “Implicit Commitment, Entitlement and Responsibility”
09.12.2021 Mateusz Łełyk, “Proof-theoretic analysis of believability” Slides, Video
24.06.2021 Lorenzo Rossi, “Truth and Quantification” Slides, Video
18.06.2021 Bartosz Wcisło, “Disjunctive Correctness and Sequential Induction” Slides, Video
21.05. 2021 Mateusz Łełyk, “Axioms for Implicit Commitment”, Slides, Video
07.05.2021 Roman Kossak, “How Undefinable is Truth?”, Slides, Video
23.04.2021 Paul Gorbow, “The Copernican Multiverse of Sets pt. 2”, Slides (both parts), Video
09.04.2021 Paul Gorbow “The Copernican Multiverse of Sets”, Video
19.03.2021 Volker Halbach “Truth and Consequence”, Slides, Video
26.02.2021 Carlo Nicolai “Conservativity of compositional truth via free-cut elimination.”, Slides, Video
05.02.2021 Leon Horsten “Reflection and epistemic warrant”, Slides, Video
22.01.2021 Joel D. Hamkins “Definability and the Math Tea argument: must there be numbers we cannot describe or define?”, Slides, Video
08.01.2021 Ali Enayat “Schemes and truth” Slides, Video
18.12.2020 James Walsh “Reflection Ranks and Ordinal Analysis” Slides
04.12.2020 Carlo Nicolai & Johannes Stern “The Modal Logics of Kripke-Feferman Truth” Slides, Video
20.11.2020 Fedor Pakhomov “Yet Another Construction of a Full Satisfaction Class” Slides, Video
05.11.2020 Albert Visser “Uniform Numerations and the Henkin Calculus” Slides, Video
23.10.2020 Cezary Cieśliński “Commitments of Foundational Theories” Slides