Doktorandenkolloquium

Das Kolloquium findet in Präsenz statt.

Raum G302,  Freitag 11.45-13.15 Uhr.

Jede Woche treffen wir uns, um einen Vortrag zu hören oder einen Artikel zu diskutieren.

Wir freuen uns auf eure Teilnahme. Für Fragen könnt ihr euch gerne per Mail an Sam Roberts (sam.roberts@uni-konstanz.de), Carolin Antos (carolin.antos-kuby@uni-konstanz.de) oder Leon Horsten (leon.horsten@uni-konstanz.de) wenden.

14. April, VORTRAG: Kentaro Fujimoto (University of Bristol), Title TBA.

21. April,

28. April,

5. Mai,

12 Mai,

19 May,

26. Mai,

2. Juni,

16. Juni, VORTRAG. Xinhe Wu (University of Bristol), Title TBA.

23. Juni,

31. Juni, VORTRAG. Hans Halvorson (Princeton University), Title TBA.

7. Juli, VORTRAG. Lukas Skiba, Title TBA.

14. Juli

21. Juli

Das Kolloquium findet in Präsenz statt. Raum wird noch bekannt gegeben, Freitag 11.45-13.15 Uhr.

Jede Woche treffen wir uns, um einen Vortrag zu hören oder einen Artikel zu diskutieren.

Wir freuen uns auf eure Teilnahme. Für Fragen könnt ihr euch gerne per Mail an Sam Roberts (sam.roberts@uni-konstanz.de), Carolin Antos (carolin.antos-kuby@uni-konstanz.de) oder Leon Horsten (leon.horsten@uni-konstanz.de) wenden.

28. Oktober, VORTRAG: Hazhir Roshangar (Masaryk University), How can Mathematical Objects be Real but Mind-Dependent?

04. November, ONLINE VORTRAG: Jared Ifland (Florida State), wird noch bekannt gegeben. Diese Woche teffen wir uns via Zoom um 14 Uhr.

11. November, VORTRAG: Maciej Kłeczek (Frankfurt), On Kit Fine’s Paradox of the Variable.

18. November, VORTRAG: László Komorjai, Progression and Infinity.

25. November, Informelles Vortrag über den Stand der Arbeiten: Leon Horsten (Konstanz), Boolean valued models and arbitrary sets.

02. Dezember,.

09. Dezember, VORTRAG: Carlo Nicolai (King's College London), Property Theory and Non-well-founded Structures.

16. Dezember, VORTRAG: Guanglong Luo (Konstanz), Truth and Finite Conjunctions.

13. Januar,.

20. Januar,.

27. Januar, WORKSHOP. Konstanz-Pisa-Torino Workshop

03. Februar,.

10. Februar, DISKUSSION. Infinite Reasoning, von Jared Warren.

17. Februar,.

24. Februar, VORTRAG: Merlin Carl (Flensburg), A first introduction to ordinal computability.

• Abstract: Turing computability is an attractive concept insofar as, according to the Church-Turing-thesis, it offers a formally precise definition of the intuitive concept of a procedure that can be carried out in a "mechanical" way. However, while Turing computability is restricted to operations that can be carried out with a finite amount of space and time, there are many occurences in mathematics of an intuition of effectiveness that goes beyond finitary processes; in the words of Wilfried Hodges, "every mathematician is at least vaguely aware of another quite different notion of "effective function", which has nothing at all to do with denumerable sets". This motivates the introduction of models of computability that generalize Turing computability to the transfinite. Although not explicitly for the sake of this goal, several such models have indeed been proposed, such as the Infinite Time Turing Machines (ITTMs) of Hamkins and Kidder or the Ordinal Turing Machines (OTMs) of Koepke. We will give an overview of ordinal computability and what we regard as its relevance for the philosophy of mathematics.

Das Kolloquium findet in Präsenz statt. Raum G 203, Freitag 11.45-13.15 Uhr.

Jede Woche treffen wir uns, um einen Vortrag zu hören oder einen Artikel zu diskutieren.

Wir freuen uns auf eure Teilnahme. Für Fragen könnt ihr euch gerne per Mail an Sam Roberts (sam.roberts@uni-konstanz.de), Carolin Antos (carolin.antos-kuby@uni-konstanz.de) oder Leon Horsten (leon.horsten@uni-konstanz.de) wenden.

01. April, zusätzlich, VORTRÄGE.

• Luca San Mauro (Rome), The Interplay Between Structure and Computation. 
• Mattias Wikstrom (Konstanz), Parts of Mathematical Objects. 

22. April, VORTRAG.  Cezary Cieśliński (Warsaw), Yablo’s Paradox at Work.

29. April, DISKUSSION. The Function of Truth and the Conservativeness Argument, by Kentaro Fujimoto.  

06. Mai, VORTRAG. Deborah Kant (Hamburg), Value Judgements in Set-theoretic Practice.

16. Mai (ACHTUNG: anderer Tag), VORTRAG. Annina Loets (Berlin), Modal Variation, Plenitude, and Vagueness.

19. Mai, IN ARBEIT. Beau Mont (Konstanz) and Sam Roberts (Konstanz), on propositional truth (titles TBD).

27.-28. Mai, WORKSHOP. Formal Ontology of Mathematical Objects. 

03. Juni, IN ARBEIT. Carolin Antos (Konstanz), ngineering the concept of set in practice - a case for concept pluralism?

10. Juni. IN ARBEIT. Leon Horsten (Konstanz), Towards models for introspection and reflection principles for typefree subjective probability (Zusammenarbeit mit Cezary Cieslinski (Warsaw))

17. Juni, VORTRAG. Jon Litland (Texas), Generating Propositions.

24. Juni, IN ARBEIT. Beau Mount (Konstanz), Externalism and mathematical knowledge.

01. Juli, IN ARBEIT. Carolin Antos (Konstanz), Engineering the concept of set in practice - a case for concept pluralism?

08. Juli, DISKUSSION. Wir lesen und diskutieren What Model Companionship Can Say About the Continuum Problem (von Giorgio Venturi und Matteo Viale).

15. Juli,

22. Juli, VORTRAG. Silvia Jones (Munich), Realism, Pluralism, and Indispensability.

29. Okt. 2021, VORTRAG. Beau Madison Mount (Konstanz), The Metaphysics of Opacity (in Kooperation mit Catharine Diehl).

03. Nov. 2021, VORTRÄGE.

• 11.00-12.30 Uhr Lorenzo Rossi (Torino), Truth and Quantification (in Kooperation mit Michel Glanzberg).
• 17.-18.00 Uhr Matteo Plebani (Torino), Thin Objects are Not Transparent (in Kooperation mit Luca San Maura and Giorgio Venturi).

05. Nov. 2021, VORTRAG. Jan Heylen (Leuven), Logical Problems with Divine Omniscience.

12. Nov. 2021, VORTRAG. Philip Welch (Bristol), Weak Categoricity Arguments.

19-20. Nov. 2021, WORKSHOP. München-Konstanz Workshop, welcher in München statt findet.

26. Nov. 2021, VORTRAG. Tim Button (UCL), Three Views on the Cumulative Hierarchy of Sets.

3. Dez. 2021, WORKSHOP. Set Theory Workshop.

10. Dez. 2021, VORTRAG. Salvatore Florio (Birmingham).

17. Dez. 2021 .

14. Jan. 2022, VORTRAG. Luca San Mauro (Rome). How to learn mathematical structures.

21. Jan. 2022, VORTRAG. Daniela Schuster (Konstanz). On the pure logic of justified belief.

28. Janu. 2022.VORTRAG. Zeynep Soysal (Rochester). An Algorithmic Model of the Middle Ground Between Logical Omniscience and Incompetence.

04. Feb. 2022. VORTRAG. Christopher von Bülow (Konstanz). Agent-oriented Metaphysics of the Manifest Image.

11. Feb. 2022. VORTRAG. Sam Roberts (Konstanz). On Oystein Linnebo’s "Generality Explained”.

16. April 2021, TALK. Carolin Antos (Konstanz), TBD.

23. April 2021, TALK. Alex Roberts (Oxford), TBD.

30. April 2021, TALK. Babu Thaliath (Jawaharlal Nehru University, New Delhi), TBD. 

7. Mai 2021, READING. A. Passeau, Mathematical knowledge without proof (British Journal for the Philosophy of Science 66 (4) [(2015]:775-799).

14. Mai 2021, READING. J. Matheson, Deep Disagreements and Rational Resolutions (Topoi, forthcoming).

21. Mai 2021, TALK. Li (Alexandra) Zhang (Tsinghua/Konstanz), Horwich about Truth Generalisations. 

28. Mai 2021, READING. J. Friedman, Why Suspend Judging? (Noûs 51 (2) [(2017]: 302-326).

11. Juni 2021, TALK. Martin Fischer & Matteo Zicchetti (MCMP), Internal Categoricity.

18. Juni 2021, READING. T. Williamson, Disagreement in Metaphysics.

25. Juni 2021, TALK. Feng Ye (Capital Normal University), Naturalism in Philosophy of Mathematics.

2. Juli 2021. TBD

9. Juli 2021, TALK. Ming Xiong (South China Normal University), Unwinding Modal Paradoxes on Digraphs.

16. Juli 2021. TBD.

23. Juli 2021. TBD.

6. Nov. 2020, VORTRAG.  Sam Roberts (Konstanz), Ultimate V.

13. Nov. 2020, LEKTÜRE. Kenny Easwaran's Probabilistic Proofs and Transferability (Philosophia Mathematica 17 [2009]: 341–62).

20. Nov. 2020, VORTRAG. Carolin Antos (Konstanz), Two aspects of mathematical explanatoriness.

27. Nov. 2020, LEKTÜRE. Jared Warren’s Quantifier Variance and Indefinite Extensibility (Philosophical Review, 126 (1) [2017]:81-122).

4. Dez. 2020, VORTRAG. Beau Mont (Konstanz), Bivalence, Fidelity, and Large Cardinal Reflection: Variations on a Kreiselian Theme.

11. Dez. 2020, LEKTÜRE. Erich Reck’s On Reconstructing Dedekind Abstraction Logically (Logic, Philosophy of Mathematica, and their History: Essays in Honor W.W. Tait, E. Reck (Ed.) [2018]: 113-138).

18. Dez. 2020, VORTRAG. Kameryn Williams (Hawai), Class-theoretic Potentialism. At 5pm.

8. Jan. 2021, LEKTÜRE. Julien C. Cole’s Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics (Australasian Journal of Philosophy 87 (4) [2009]:589-608).

15. Jan. 2021, LEKTÜRE. Silvia De Toffoli’s Groundwork for a Fallibilist Account of Mathematics. Philosophical Quarterly.

29. Jan. 2021, VORTRAG. Neil Barton (Konstanz), Intensional Classes and Intuitionistic Topoi in Potentialist Systems.

5. Feb. 2021, VORTRAG. James Studd (Oxford), An Iterative Conception of Properties.

12. Feb. 2021, VORTRAG. Carlo Nicolai (King’s College), A Theory of Implicit Commitment.