vergangene Semester des Doktorandenkolloquiums

17. November, Vortrag. Marco Ruffino (University of Campinas), Pragmatics as a by-product in Frege's early Writings.

24. November, Vortrag. Guanglong Luo, (Universität Konstanz), Nominalism and Mathematical Truth.

1. Dezember, Vortrag. Tabea Rohr (CNRS, Université Paris Cité), The Frege-Hilbert Controversy in Context.

8. Dezember, Work-in-Progress. Carolin Antos (Universität Konstanz), Defectiveness of Formal Concepts.

15. Dezember, Vortrag. Sofie Vaas (Universität Konstanz), Can proofs by mathematical induction be explanatory?

11. - 12. Januar, Gödel Workshop   |   Plakat   |   Programm

19. Januar, Vortrag. Dirk Schlimm (McGill University), What can we learn by studying mathematical notations?

26. Januar, Vortrag. Pascal Wagner (Universität Konstanz), Probabilities and the Set-theoretic Multiverse.

2. Februar, Vortrag. Luca Castaldo (University of Warsaw), Implicit commitments of Instrumental acceptance: A case study.

9. Februar, Vortrag. Salvatore Florio (University of Oslo), Singularism, Pluralism, and Definitional Equivalence.

14. April, VORTRAG: Kentaro Fujimoto (University of Bristol), Liberal Predicativism and Super Geach-Kaplan sentences

28. April, VORTRAG: Sam Roberts (Universität Konstanz), A Philosophical Introduction to Forcing

5. Mai, VORTRAG: Sam Roberts (Universität Konstanz), A Philosophical Introduction to Forcing, part 2

12 Mai, VORTRAG: Philip Welch (University of Bristol), Dark Classes

• Welch Abstract: We look at some results of Mack Stanley that allow us to forgo ideas of so-called "width potentialism", at the price of venturing further out into the murky world of classes beyond the minimal vNBG model. These classes nevertheless have something of a constructive flavour.

2. Juni, DISKUSSION. A coherence theory of truth and knowledge, von Donald Davidson.

16. Juni, ZWEI VORTRÄGE  |  10:00 - 13:15 Uhr  |  Raum Y132: 

• Bokai Yao (University of Notre Dame), Reflection with Absolute Generality
  • Yao Abstract: Traditionally, reflection principles in set theory claim that the set-theoretic universe is indescribable. It is natural to consider reflection principles with absolute generality, which asserts that the universe containing everything, including sets and urelements, is indescribable. In the first part of this talk, I will consider the first-order reflection principle in urelement set theory. With the Axiom of Choice, first-order reflection holds just in case the sets of urelements are arranged in a certain way, and this equivalence falls apart without AC.  In the second part of this talk, I will present my joint work with Joel Hamkins on second-order reflection principles with urelements. A standard version of second-order reflection, due to Paul Bernays, is often considered as a weak large cardinal axiom in set theory. With abundant urelements, however, Bernays’ second-order reflection principle bi-interprets a supercompact cardinal.
• Xinhe Wu (University of Bristol), Vagueness in Parthood and Identity: Applications of Boolean-Valued Semantics 
  • Wu Abstract: Some philosophically important relations are vague, or at least appear to be so. Two examples are the relation of parthood and the relation of identity. In this talk, I present a novel kind of many-valued semantics - Boolean-valued semantics - and argue that it makes for a very attractive semantic framework for modeling vagueness in parthood and identity. In particular, I argue that it works better than the traditional choice - fuzzy-valued semantics.

23. Juni, VORTRAG: Bartek Tuta (Universität Konstanz), Knowledge without justification: The phenomenon of knowledge transfer as a case of knowledge acquisition based on epistemic entitlement.

30. Juni, VORTRAG: Hans Halvorson (Princeton University), Dispensing with the hole argument 

• Halvorson Abstract: I will be talking about the sorts of puzzles that come up when there are mathematical models that are isomorphic, but not identical. These puzzles raise the question of whether set theory ought to be replaced by some sort of more structuralism-friendly foundation for mathematics.

7. Juli, VORTRAG: Lukas Skiba (Universität Hamburg), Higher-Order Being and Time.

Montag 10. Juli, SONDERVORTRAG: Matteo Zicchetti (University of Warsaw), Soundness arguments for consistency and their epistemic value. |  17:30 - 19 Uhr |  Raum G308

14. Juli, VORTRAG: Andrea Reichenberger (Universität Siegen), Heinrich Scholz and the School of Muenster: From Mathematical Foundations to Application.

21. Juli - 22. Juli: Uni Konstanz Forcing Workshop  |  Raum G304

• 21. Juli | 10:00 - 11:30 Uhr | VORTRAG: Victoria Gitman (City University of New York)
  • A Gentle Introduction to Class Forcing
• 21. Juli | 13:30 - 15:00 Uhr | VORTRAG: Victoria Gitman (City University of New York)
  • An Overview of Virtual Large Cardinals
• 22. Juli | 11:00 - 12:30 Uhr | VORTRAG: Karl-Georg Niebergall (Humboldt Universität zu Berlin)
  • Truth and Forcing in Set Theory

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.

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.

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

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

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).

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).

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.

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

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.