Universiteit van Amsterdam


Institute for Logic, Language and Computation

29 June - 1 July 2017, The structure of modal & semantic reasoning, Muenchen, Germany

Date: 29 June - 1 July 2017
Location: Muenchen, Germany

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.