Past meetings

24.06.2021 Lorenzo Rossi, „Truth and Quantification”.
18.06.2021 Bartosz Wcisło, „Disjunctive Correctness and Sequential Induction”
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