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.
Program
Thursday (29 June 2017; Venue 1)
Time | Topic |
---|---|
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)
Time | Topic |
---|---|
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)
Time | Topic |
---|---|
10:00 - 11:00 | Lavinia Picollo/Thomas Schindler: Semantic Deflationism |
11:15 - 12:15 | Albert Visser: Gödel's Second from Tarski |
Acknowledgement
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: www.piqs.de.