Przeskocz do treści
Past meetings
- 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
- 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