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