Doctoral Seminar
Each week, we meet to attend a talk or to discuss a paper (see schedule below). Any exceptions are noted below. We hope you can join us!
List of Talks
Winter Semester 2024-2025 DK-Schedule (jointly with Carolin Antos)
25. October, Talk. Andrés Crelier (National University of Mar del Plata, Argentina), Kinds of Reasons in Non-human Animals | Room D 432
08. November, Talk. Carolin Antos (University of Konstanz), Foundations and explanations
15. November, Talk. Bryan Pickel (University of Glasgow), A Semantic Vacuity Theory of Truth. Abstract
22. November - 23. November, Conference (held in German). Die Logik der Vernunft | Room G 307
Monday 25. November, joint Talk with Uni Konstanz Logic Colloquium. Line Edslev Andersen (University of Brussels), Interviewing mathematicians about proofs . Abstract | 15:15 - 16:45 in Room F 426
6. Decemeber, Talk, TBA
13. December, Talk. TBA
Monday 16 December, joint Talk with Uni Konstanz Logic Colloquium. Clara List (University of Cambridge), Title TBA | 15:15 - 16:45 in Room F 426
10. January, Talk, Gottfried Gabriel (University of Jena), Frege and Others on the Justification of Basic Logical Laws
17. January, Talk. Silviu Federovici (Alexandru Ioan Cuza University of Iasi, Romania), Title TBA
24 January, Talk. Sander Pouliart (University of Antwerp), Title TBA
31. January, Talk. Hadil Karawani (University of Konstanz, Title TBA
Monday 3. February, joint Talk with Uni Konstanz Logic Colloquium. Maud van Lier (University of Konstanz), Title TBA | 15:15 - 16:45 in Room F 426
Interviewing mathematicians about proofs
Time
Monday, 25. November 2024
15:15 - 16:45
Location
F 426
Organizer
Carolin Antos
Speaker:
Line Edslev Andersen (University of Brussels)
Dieser gemeinsame Vortrag mit dem Uni Konstanz Logic Colloquium findet am Montag den 25. November statt.
This joint talk with the Uni Konstanz Logic Colloquium will take place on Monday, 25 November.
Abstract:
In this talk, I will address my experiences as a philosopher with interviewing mathematicians about their research practices. I will present what I have learned, through the interviews, about mathematical proofs as they appear in practice. Furthermore, I will reflect on what I have learned about the use of interviewing as a research method. The work I discuss is, in part, joint work with Mikkel Willum Johansen and Henrik Kragh Sørensen (both at the University of Copenhagen).