Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032)

Abstract

In the last decades, with  the emergence of artificial intelligence, a large  number of logics called conditional  logics have been introduced to model our  conditional reasoning  captured by so--called conditionals, which are  statements of the form `if A then B'. More recently, conditional reasoning  has also come under scrutiny   by psychologists, yet  with more pragmatic and empirical  considerations.  The main objective of this seminar was to provide an opportunity for these different communities  working on that topic to meet and reinforce their ties. We  focused on three specific issues. First, we investigated how people's  intuitions about `counterpossibles' can be understood empirically and classified  with respect to   the theoretical accounts of   conditional logics.  Second, we reconsidered   the various semantics of  system P  and  we wondered  to which extent  pragmatics  plays a role in the relevance relation between the antecedant and the consequent of a conditional. Third, we strove to apply the  recent advances in   proof theory and correspondence theory to  conditional logics. These working groups  were preceded by short talks and tutorials.