Mathematics: Objectivity by Representation
ANR-DFG-Workshop
Coordination between Professor Dr. Gerhard Heinzmann, Laboratoire d’Histoire des Sciences et de Philosophie – Archives Henri-Poncaire, Université de Lorraine/CNRS, Nancy, Professor Dr. Marco Panza, Institut d'Histoire et de Philosophie des Sciences et des Techniques, CNRS/Université Paris1-ENS, and Professor DDr. Hannes Leitgeb, Munich Center of Mathematical Philosophy MCMP, LMU.
Location & Date
- Dienstag, 11. November 2014
Directions to the venue
- from the LMU's main building: Take the U3/U6 to "Sendlinger Tor" and the Tram 16 from there (stop "Romanplatz")
- from the conference hotel: Take the Tram 12 from "Rotkreuzplatz" to "Romanplatz"
Program
Time | Event |
---|---|
09:00 | Opening |
09:15 - 10:45 | Lecture 1: "Three ways in which logic might be normative" (Florian Steinberger, MCMP/LMU) (Watch the Lecture @ LMUcast) |
10:45 - 11:00 | Coffee Break |
11:00 - 12:30 | Lecture 2: "What are the challenges of Benacerrafs Dilemma? A Reinterpretation" (Marco Panza, Paris I) (Watch the Lecture @ LMUcast) |
12:30 - 14:00 | Lunch break. (Lunch served at venue.) |
14:00 - 14:45 | (Short) Lecture 3: "Discernibility from the perspective of a countable language" (Kate Hodesdon, Nancy) (Watch the Lecture @ LMUcast) |
14:45 - 15:30 | (Short) Lecture 4: "Neuropsychology of numbers" (Hourya Benis-Sinaceur, Paris I) (Watch the Lecture @ LMUcast) |
15:30 - 16:00 | Coffee Break |
16:00 - 17:30 | Lecture 5: "IF epistemic logic and mathematical knowledge" (Manuel Rebuschi, Poincaré Archives, University of Lorraine, Nancy) (Watch the Lecture @ LMUcast) |
17:30 - 19:00 | Lecture 6: "On mathematical structuralism. A theory of unlabeled graphs as ante rem structures" (Hannes Leitgeb, MCMP/LMU) (Watch the Lecture @ LMUcast) |
20:00 | Dinner (Schlosswirtschaft Schwaige) |