Doctoral Seminar

Each week, we meet to attend a talk or to discuss a paper (see schedule below). Any acceptions are noted below. We hope you can join us!

Fridays 11:45am - 1:15pm

Room D 435

List of Talks

Summer semester 2024 Doctoral Seminar Schedule (with Carolin Antos)

16 February, Talk: Ismael Ordóñez Miguéns (University of Santiago de Compostela), Modal Abstraction and the Frontier of Infinity.

19. April, Talk. Bartek Tuta (University of Konstanz), The old picture of the acquisition of testimonial knowledge and the implications of the criticism of it: A discussion of J. Lackey's paper, Testimonial Knowledge and Transmission (1999)

26. April, Talk. Yacin Hamami (ETH Zürich), Understanding mathematical proofs from a planning perspective. Abstract.

3. May, Talk. Mike Beaney(University of Aberdeen), Pulling and Pushing Mohist Logic. Abstract.

10. May, Talk. Manfred Kuppfer (Univeristy of Konstanz), Variables and Compositionality. Abstract.

24. May, Talk. Filip Buekens (KU Leuven), Reflections on Frege’s Postcard: How True Propositions differ from Accurate Representations. Abstract.

6. June, THURSDAY, Talk. Neil Barton (University of Singapore), Title TBA ­-- from 13:30 - 15:00 in Room M 901

14. June, Two Talks (times TBA):

21. Juni, Joint talk with the Uni Konstanz Logic Colloquium. Emanuele D’Osualdo (University of Konstanz), Talk title TBA

28. June, Talk. Christopher von Bülow (University of Konstanz), Williamson’s Reductio of Bivalence Denials, and Vague Truth Degrees for Borderline Cases.

5. July, Talk. Sofie Vaas (University of Konstanz), Title TBA

Per Aspera ad Astra: from Skolem Paradox to an uncountable universe

Time
Friday, 14. June 2024
11:45 - 13:15

Location
D 435

Organizer
Leon Horsten, Carolin Antos, Sam Roberts

Speaker:
Giorgio Venturi (University of Pisa)

This talk will cover this paper: PER ASPERA AD ASTRA: FROM SKOLEM PARADOX TO AN UNCOUNTABLE UNIVERSE

Abstract

In this article we argue in favour of the existence of uncountable collections. Specifically, we will argue that the universe of set theory is uncountable. The argument is based on the analysis of Skolem Paradox and moves from its premises and from a comparison between Cantor Theorem and Cohen Theorem about the existence of generic filters. We then address an iterated version of the skeptic argument, outlining an important role that Hartogs Theorem can play in this respect. This paper also aims to connects the criticisms of the uncountable based on Skolem Paradox and the more recent discussion on Countabilism: the position according to which everything is countable.