Explaining explanation using new developments in logic and formal semantics. \; Hyperintensionality\, relevance\, counterfactuals\, grounding and truth-maker semantics.

\n**Dates and place:**

6-8 May 2019\, UCLouvain\, Louvain-la-Neuve\, Belgium

\n**Invited speakers:**

Hannes Leitgeb\, Francesca Poggiolesi\, Friederike Moltmann\, Raymundo Morado\, Joke Meheus\, Kit Fine\, Michael Dunn

\n**Websites:**

Conference website:** **https://perso.uclouvain.be/peter.verdee/exlog2019

Submission link**: **https://easychair.org/conferences/?conf=exlog2019

**Submissions: **

All papers must be original. Abstracts are in English (recommended) or in French and between 500 and 1500 words. Young researchers (PhD students or recent PhDs) are particularly encouraged to submit an abstract.

\n**Important dates:**

Deadline for submissions: 15/3/2019

\nNotification of acceptance: 1/4/2019

\n**Description:**

Ever since Hempel introduced his influential Deductive-Nomological model for explanation\, it is clear that logic plays an important role in explanation. Nevertheless\, one faces serious problems when trying to apply traditional logical ideas to explanation.

\nA first problem is that explanation is arguably a hyperintensional notion\, i.e. the relata of the explanation relation do not permit substitution of strict equivalents. It is not because A (possibly together with some other sentences) explains B and A and A&rsquo\; are necessarily equivalent (or even logically equivalent) that we can say that A&rsquo\; explains B. Neither can we say that A explains B&rsquo\;\, for an arbitrary B&rsquo\; necessarily equivalent to B. One of the reasons for this is that every sentence C that may provide insights is equivalent to an infinity of entirely opaque sentences (e.g. C is strictly equivalent to the disjunction of C and the negation of a very complicated necessity\, e.g. an advanced theorem of mathematics &ndash\; or even of logic). Another reason is that it seems that people successfully come up with explanations of necessary truths and use necessary truths as elements of explanations. Substitution of strict equivalents would make these cases of explanation trivial. Finally\, it needs to be hyperintensional because the usual troubles with logical omniscience readily boil up as soon as substitution of equivalents is accepted.

\nA second problem is caused by the very nature of classical logical implication (be it material\, formal or even strict implication). This relation is obviously very different from the relation of explanation. Contradictions logically imply everything\, but they explain very little. Moreover\, unlike explanation\, logical implication does not have any notion of usefulness\, relevance or economy built in\; if some principles imply something\, one can always enlarge the set of principles with whatever irrelevant sentence\, without breaking the relation of implication. This is not the case for explanation. One looks for a minimal explanation\, or\, maybe more accurately\, an explanation of which all of the elements contribute in some way to explaining the explanandum.

\nSo traditional logical systems cannot readily be used for explaining explanation. However\, recently\, alternative formal tools have been developed that may on the contrary turn out to be very helpful. Examples are on the one hand

\n(a) theories that aim to **explicate hyperintensionality** such as Neighborhood semantics\, Transparent Intensional Logic\, Leitgeb&rsquo\;s HYPE or Truthmaker Semantics\, and on the other hand

(b) **non-classical logics** that aim to solve problems raised by classical logic such as Relevance Logics\, Connexive Logic\, Paraconsistent Logics\, or Mulivalued Logics.

At the same time\, (c) recent research has obtained considerable progress in developing **formal models for important notions useful in understanding explanations**\, such as counterfactual conditionals (conditional logics\, probabilistic semantics\, Lewis semantics)\, degrees of belief (Bayesian nets)\, abduction (e.g. (Adaptive) logics of abduction)\, belief revision (AGM and many others)\, grounding (Fine&rsquo\;s and Poggiolesi&rsquo\;s proposals)\, aboutness (Yablo&rsquo\;s proposals)\, justification (justification logic\, intuitionistic logic)\, and proof (provability logic\, reverse mathematics\, cut elimination\, etc.).

This conference aims to investigate what the state of the art in all of these domains may contribute to the notion of causal or non-causal explanation in empirical science\, in mathematics\, and even in philosophy.

\n**Local organizing committee:**

- \n
- Peter Verdé\;e (UCLouvain) \n
- Bruno Leclercq (ULiege) \n
- Aleksandra Samonek (UCLouvain) \n
- Mathieu Berteloot (UCLouvain) \n

**Scientific committee**

- \n
- Allo\, Patrick\, VUB \n
- Batens\, Diderik\, UGent \n
- Berto\, Franz\, St. Andrews and University of Amsterdam \n
- De Brabanter\, Philippe\, ULB \n
- Faroldi\, Federico\, UGent \n
- Guay\, Alexandre\, UCLouvain \n
- Heylen\, Jan\, KULeuven \n
- Horsten\, Leon\, Bristol University \n
- Lambert\, Dominique\, UNamur \n
- Leuridan\, Bert\, UAntwerpen \n
- Pence\, Charles\, UCLouvain and Louisiana State University \n
- Restall\, Greg\, The University of Melbourne \n
- Richard\, Sé\;bastien\, ULB \n
- Strasser\, Christian\, Ruhr Universitä\;t Bochum \n
- Van De Putte\, Frederik\, UGent et University of Bayreuth \n
- Van Kerkhove\, Bart\, VUB \n
- Wansing\, Heinrich\, Ruhr Universitä\;t Bochum \n
- Weber\, Erik\, UGent \n
- Wenmackers\, Sylvia\, KULeuven \n

**Sponsors**

Fonds National de Recherche Scientifique FNRS

\nBelgian Centre for Logic CNRL/NCNL

\nInstitut supé\;rieur de philosophie de l'UCLouvain

\nCEFISES\, UCLouvain

\n**Related conference: **

Workshop on NON-CAUSAL EXPLANATIONS: LOGICAL\, LINGUISTIC AND PHILOSOPHICAL PERSPECTIVES. Ghent University\, 9-10 May 2019 http://www.lrr.ugent.be/noncausalexplanation/. Participation at both conferences is encouraged\; we will avoid overlap.

\n**Contact: **

peter.verdee@uclouvain.be

ORGANIZER;CN=Mathieu Berteloot;CN=Bruno Leclercq;CN=Aleksandra Samonek;CN=Peter Verdee: METHOD:PUBLISH END:VEVENT END:VCALENDAR