Formal Methods in Philosophy: Truth, Paradox, and Mathematics (4-6 June 2018)
Formal theories are of central importance to several areas in philosophy, including of course logic and philosophy of mathematics, but also epistemology, the philosophy of language, metaphysics, and ethics. Although the systems studied are often technically sophisticated and of mathematical interest, it is not always so clear what philosophical goals are achieved by their consideration. This conference will focus on precisely the relationship between such formal methods and the philosophical objectives to which they are put.
In particular, we will be focusing primarily on the theory of truth, and in particular the ways in which formal theorizing has contributed to our understanding of the possible resolutions of semantic paradoxes such as the Liar. However, the event will not be limited to logic; it will additionally bring in specialists from several other fields of mathematical philosophy, such as the philosophy of mathematics, language, epistemology, and metaphysics.
The event will consist of four round tables per day, of one and a half hours each. Speakers will give 30 minutes presentations, followed by an hour of discussion.
Speakers
- Marianna Antonutti (MCMP/LMU)
- Eduardo Barrio (University of Buenos Aires - Conicet)
- Bruno Da Ré (University of Buenos Aires - Conicet)
- Benedict Eastaugh (MCMP/LMU)
- Volker Halbach (University of Oxford)
- Ole Hjortland (University of Bergen/MCMP)
- Hannes Leitgeb (MCMP/LMU)
- Francesco Paoli (University of Cagliari)
- Zeynep Soysal (Harvard University)
- Damián Szmuc (University of Buenos Aires - Conicet)
- Diego Tajer (University of Buenos Aires - Conicet)
- Dan Waxman (University of Oxford - University of Lingnan)
- Jack Woods (University of Leeds)
- Ed Zalta (Stanford University)
Organizers
- Lavinia Picollo (MCMP/LMU)
- Ole Hjortland (University of Bergen/MCMP)
- Dan Waxmann (University of Oxford - University of Lingnan)
Program
Day 1 (Monday, 4 June 2018)
| Time | Event |
|---|---|
| 10:00 - 11:30 | Ole Hjortland: Engineering Logical Concepts |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 13:15 | Daniel Waxman and Jack Woods: The Disunity of Truth as a Working Hypothesis |
| 13:15 - 14:30 | Lunch Break |
| 14:30 - 16:00 | Diego Tajer: The Normative Autonomy of Logic |
| 16:00 - 16:15 | Coffee Break |
| 16:15 - 17:45 | Volker Halbach: The Truth Philosophers Need (Without Knowing It) |
Day 2 (Tuesday, 5 June 2018)
| Time | Event |
|---|---|
| 10:00 - 11:30 | Eduardo Barrio: What is a (Classical / Paraconsistent) Logic? |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 13:15 | Damián Szmuc: A Classical Logic of Nonsense |
| 13:15 - 14:30 | Lunch Break |
| 14:30 - 16:00 | Marianna Antonutti and Benedict Eastaugh: Reduction, Justification, Meaning: Lessons from the Relativised Hilbert Program |
| 16:00 - 16:15 | Coffee Break |
| 16:15 - 17:45 | Francesco Paoli: Inferential Levels |
| 18:30 | Conference Dinner |
Day 3 (Wednesday, 6 June 2018)
| Time | Event |
|---|---|
| 10:00 - 11:30 | Hannes Leitgeb: Semantic Indeterminacy, Classical Mathematics, and the Sorites |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 13:15 | Bruno Da Ré: Structural Weakening and Paradoxes |
| 13:15 - 14:30 | Lunch Break |
| 14:30 - 16:00 | Zeynep Soysal: Intended Interpretations of Formal Systems |
| 16:00 - 16:15 | Coffee Break |
| 16:15 - 17:45 | Ed Zalta: Formal Philosophy of Mathematics |
Venue
Carl Friedrich von Siemens Stiftung
Südliches Schloßrondell 23
80638 Munich
Acknowledgement
The workshop is funded by the DFG-MINCyT (Argentina) project: Logics of Truth and supported by the Carl Friedrich von Siemens Stiftung.