Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


The Structure of Modal and Semantic Reasoning (29 June - 1 July 2017)


Idea and Motivation

In the last 50 years, the success of possible worlds semantics for intensional logics has determined a discrepancy between techniques, aims and themes employed in the study of modal notions (broadly conceived as to include propositional attitudes, probability, validity) and in the study of truth. If the former endeavour focuses more on analyzing the logical space given by possible worlds semantics -- leaving aside problems and limitations that full self-reference and quantification may provide -- as a model for understanding modal concepts, the philosophical and logical mainstream in the study of truth is still deeply concerned with paradox and the self-referential aspects of sufficiently expressive languages containing a truth predicate. The conference aims at bringing together researchers working on the interaction between these two traditions with a particular emphasis on expressive frameworks that treat truth and modalities as interacting predicates.


Thursday (29 June 2017; Venue 1)

09:30 - 10:30 Hartry Field: Modal Logics for Conditionals and the Semantic Paradoxes
10:45 - 11:45 Catrin Campbell-Moore: Rationality and Self-Referential Probabilities
12:00 - 13:00 Carlo Nicolai: Properties, Instantiation, and Paradox
13:00 - 14:00 Lunch Break
14:00 - 15:00 Martin Fischer/Leon Horsten: Truth and Justification
15:15 - 16:15 Peter Koellner: On the Question of Whether the Mind can be Mechanized
16:30 - 17:30 Sonja Smets: The Logic of Justifed Belief Change, Soft Evidence and Defeasible Knowledge

Friday (30 June 2017; Venue 1)

09:30 - 10:30 Volker Halbach: Towards a Philosophically Useful Theory of Truth
10:45 - 11:45 Dora Achourioti: Truth as a Modality
12:00 - 13:00 Johannes Stern: The Sky is the Limit
13:00 - 14:00 Lunch Break
14:00 - 15:00 Alessandro Giordani: Knowability in Quantified Explicit Modal Logic
15:15 - 16:15 Hannes Leitgeb: HYPE: A System of Hyperintensional Logic (With an Application to Semantic Paradoxes)
16:30 - 17:30 Vann McGee: Vagueness, Truth, and Boolean-Valued Logic
19:00 Conference Dinner

Saturday (01 July 2017; Venue 2)

10:00 - 11:00 Lavinia Picollo/Thomas Schindler: Semantic Deflationism
11:15 - 12:15 Albert Visser: Gödel's Second from Tarski


The conference is funded by the European Commission (grant 658285 - FOREMOTIONS) and organized by the Munich Center for Mathematical Philosophy (LMU Munich).

Photo Credits

Header background: Pingou, "Wer im Glashaus sitzt". Some right reserved (desaturated from original). Source: