2026-08-05T21:34:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10569 2024-03-06T10:27:03Z ddc:004 open_access

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032) Aucher, Guillaume Egré, Paul Kern-Isberner, Gabriele Poggliesi, Francesca Commonsense reasoning conditionals correspondence theory proof theory psychology of reasoning 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Guillaume Aucher and Paul Egré and Gabriele Kern-Isberner and Francesca Poggliesi 2019 Is Part Of Dagstuhl Reports, Volume 9, Issue 1 (2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.9.1.47 urn:nbn:de:0030-drops-105693 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.47 eng https://creativecommons.org/licenses/by/3.0/legalcode