Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


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.


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


  • Lavinia Picollo (MCMP/LMU)
  • Ole Hjortland (University of Bergen/MCMP)
  • Dan Waxmann (University of Oxford - University of Lingnan)


Day 1 (Monday, 4 June 2018)

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)

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)

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



Carl Friedrich von Siemens Stiftung
Südliches Schloßrondell 23
80638 Munich


The workshop is funded by the DFG-MINCyT (Argentina) project: Logics of Truth and supported by the Carl Friedrich von Siemens Stiftung.siemens_stiftung_200px