program
Program
SEPT 5  10:15 Coffee and Welcome 
 canceled Igor Douven (CNRS/Sorbonne, Paris) 
"Conditionals and Inferential Connections: 
 10:40 Vincenzo Crupi (CLLC, Università degli Studi

"The Logic of Evidential Conditionals" 
 11:50 Christoph Michel (Universität Regensburg) 
"Why the Wason Selection Task is a Dysfunctional Test of Rational Evidence Selection" LUNCH  14:30 Karolina Krzyzanowska (Universiteit van Amsterdam)"True clauses and false connections"  15:40 Niels Skovgaard Olsen (GeorgAugustUniversitätGöttingen) "Indicative Conditionals under the Microscope" 
SEPT 6  09:30 John Cantwell (KTH Stockholm) 
"Probability, Coherent Belief and Coherent Belief Changes I" 
 10:40 Hans Rott (Universität Regensburg) 
"Probability, Coherent Belief and Coherent Belief Changes II" 
 11:50 Paul Égré (CNRS/ENS, Paris) 
"Extracting Conditionals from Consequence Relations" LUNCH 
14:30 Katrin Schulz (Universiteit van Amsterdam) 
"On backtracking counterfactuals" 
15:40 Niki Pfeifer (MCMP München) 
"Coherent Conditional Probability as a Basis for Reasoning About Conditionals and Syllogism" 
(Each talk will be followed by a 10 minutes break)

VIELBERTHGEBÄUDE
UNIVERSITÄT REGENSBURG
UNIVERSITÄTSSTRAsse
93053 REGENSBURG
SPONSORen: UNIVERSITÄTSSTIFTUNG HANS VIELBERTH
DFGSchwerpunktprogramm 1516 "New Frameworks of Rationality"
Speakers
 John Cantwell (KTH Stockholm)
 Vincenzo Crupi (CLLC, Università degli Studi di Torino)
 Igor Douven (CNRS/Sorbonne, Paris)
 Paul Egré (CNRS/ENS, Paris)
 Shira Elqayam (De Montfort University, Leicester)
 Tim Kraft (Universität Regensburg)
 Karolina Krzyżanowska (Universiteit van Amsterdam)
 Katrin Schulz (Universiteit van Amsterdam)
 Christoph Michel (Universität Regensburg)
 Niki Pfeifer (MCMP München)
 Hans Rott ( Universität Regensburg)
 Niels SkovgaardOlsen (GeorgAugustUniversität Göttingen)
Abstracts
Igor Douven:
Conditionals and Inferential Connections: Toward a New Semantics
In previous work, we investigated experimentally the role that inferential connections between a conditional's antecedent and its consequent play in how people process that conditional. Here, we reanalyze the data from the main experiment reported in that earlier work in order to compare various semantics of conditionals. It will be shown that the data are better explained by a semantics for conditionals that makes inferential connectedness a truth condition than by any of the currently more popular semantics for conditionals.
Shira Elqayam:
Inferential connections within conditionals: Ramsey still rules but not the Equation
Aim. Recently the reasoning field has undergone a paradigm shift, with probabilistic, decisiontheoretic approaches increasingly on the ascent. The New Paradigm sees reasoning as a decisiontheoretic behaviour, governed by the same parameters of probability and utility, with the Ramsey Test as a theoretical foundation of particular significance, often articulated in the form of the probability conditional, which conforms to the Equation. In this talk we present a novel approach, Hypothetical Inferential Theory (HIT), based on inferentialist semantics and dual process theories. According to HIT, people evaluate conditionals by testing if the consequent can be inferred from the antecdent. At the computational level of analysis, HIT still conforms to the Ramsey test, but not to the Equation.
Method and predictions. We developed several innovative experimental paradigms. For abstract conditionals, participants were presented with a soritical series of colour patches with hues that ran from blue to green. They were asked to evaluate conditionals such as ‘If patch 1 is green, so is patch 2’. We manipulated parameters that affect the strength of the inference from antecedent to consequent, such as the direction of the inference and the distance between the patches. We also measured directly the strength of the inference in a separate task. For contentrich conditionals, we pretested everyday conditionals such as ‘If oil prices continue to rise, then gasoline prices will rise’ (strong inference), and ‘If dictatorial regimes take control of the Western world, then refugees will colonise the moon’ (weak inference). We predicted and found a rich pattern of findings that connect between evaluations of conditional sentences and the strength of the inference from antecedent to consequent in a variety of ways.
Results. We report converging evidence from abstract and contentrich conditionals showing that:
(a) When factors that determine inference strength are manipulated, test conditions in which inference from antecedent to consequent is stronger elicit a higher proportion of True responses.
(b) When inference strength between antecedent to consequent is measured separately, it strongly predicts the proportion of True responses.
(c) Interestingly, reasoners are also susceptible to the same biases that affect all inference. Specifically, we found a beliefbias analogue: the proportion of True responses was higher when participants believed that the consequent was true (analogous to belief in the conclusion in regular belief bias paradigms).
Conclusions. When people evaluate conditionals, they test if the consequent can be inferred from the antecedent. When this inference is valid or pragmatically strong, they tend to evaluate the conditional as True. When the inference is invalid or weak, they tend to evaluate the conditional as False or Indeterminate. This work is compatible with previous contributions to the New Paradigm in psychology of reasoning, in that it assumes the Ramsey Test as an underlying psychological process. Where this work starkly departs from previous contributions is by proposing that this evaluation rests on testing the strength of the inferential link between antecedent to consequent rather than on the Equation.
Christoph Michel
Why the Wason Selection Task is a Dysfunctional Test of Rational Evidence Selection
This paper argues that the results of the classical Wason Selection Task systematically fail to indicate irrationality at evidence selection. By means of an account of conditional representations as “Dependency License Models” (DLMs) I identify a deep semantic indeterminacy in WST’s conditional hypothesis. WST itself provides no positive information to overcome this indeterminacy and leaves participants without a clear model of the conditional hypothesis they are instructed to test. This hard interpretational component of WST induces semantic uncertainty, and this uncertainty fully undermines WST’s indicative power with regard to evidence selection. As a consequence, attempts to straightforwardly rationalize the popular selection of cards (p & q) as well as attempts to facilitate the normative selection (p & Ø q) have never been fully successful. Semantic indeterminacy is the decisive factor concerning whether a selection task is simple or hard.
Vincenzo Crupi:
The logic of evidential conditionals
Once upon a time, some thought that indicative conditionals could be effectively analyzed by means of the material conditional. Nowadays, an alternative theoretical construct largely prevails and receives wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following earlier critical remarks made by others (most notably, Igor Douven), I advocate a revision of this consensus and suggest that incremental probabilistic support (rather than conditional probability alone) is key to the understanding of indicative conditionals and their role in human reasoning. There have been motivated concerns that a theory of such evidential conditionals (unlike their more traditional suppositional counterparts) can not generate a sufficiently interesting logical system. I will present results largely dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams's classical approach allow for the construction of a new logic of evidential conditionals which is nicely superclassical, fairly strong, and also (as it turns out) a kind of connexive logic.
John Cantwell, Hans Rott:
Probability, Coherent Belief and Coherent Belief Changes
This talk is about the statics and dynamics of belief states that are represented by a pair consisting of an agent's credences (a subjective probability measure) and her plain beliefs (a core proposition). Regarding the static side, we argue that the core proposition should be coherent with respect to the probability measure and that its probability should reach a certain threshold value. On the dynamic side, we advocate Jeffrey conditionalisation as the principal mode of chaning one's belief state. We claim that this updating method is wellmotivated and flexible, but we show that it fails satisfy the traditional principles of Inclusion and Preservation for belief revision and the principle of Recovery for belief withdrawals.
Paul Egré
Extracting conditionals from consequence relations
In this paper, based on joint work with Emmanuel Chemla and Benjamin Spector, we deal with the constraints that the definition of validity in a logic puts on the definition of a suitable conditional operator for that logic. In classical 2valued logic, logical consequence is defined as the preservation of the value 1 from premises to conclusion, and the standard material conditional (>) is true provided the value of the antecedent is less than the value of the consequent. The objectlevel conditional well represents the metalevel operation of consequence, as captured by the full deduction theorem, that is (A > B) is valid whenever A entails B. In 3valued logics and nvalued logics, on the other hand, several popular logics often fail the deduction theorem (this is the case for K3 or LP relative to the standard 3valued conditional), without it being clear which operators would provide adequate substitutes or even whether they can be found. We study this problem for 3valued and 4valued logics which are "intersective mixed consequence relations", that is consequence relations that are obtainable as intersections of mixed relations (in which designated values can vary between premises and conclusions, see Cobreros et al. 2012, Chemla, Egré, Spector 2017, Chemla & Egré 2018). The space of such consequence relations is wider than the usual operations, but also better suited to think the way in which conditional operators represent consequence relations.
Niels SkovgaardOlsen
Indicative Conditionals under the Microscope
Recently several experimental studies have reporting relevance effects on the cognitive assessments of conditionals, which pose an explanatory challenge to the suppositional theory of conditionals that currently finds a wide endorsement in the psychology of reasoning (SkovgaardOlsen, Singmann, and Klauer, 2016a, 2016b; SkovgaardOlsen, Kellen, Krahl, and Klauer, in review). Some of them concern the “Equation” (P(if A, then C) = P(CA)), others the de Finetti truth table, and yet others the uncertain andtoinference task. The purpose of this talk is to present a series of experiment that have a bearing on whether to count these effects as belonging to pragmatics or semantics. It is uncontroversial that some distinction between pragmatics and semantics must be drawn. Clearly linguistic expressions have some sort of content across contexts that we use to communicate, which can be modified by knowledge that only pertains to specific contexts. But in philosophy and linguistics it is highly controversial exactly how it should be drawn (Bach, 1997; Carston, 2002; Birner, 2013). This theoretical dispute has repercussions for the psychology of reasoning insofar as it remains an open question how to operationalize the semantic/pragmatic distinction.
To illustrate, in SkovgaardOlsen et al. (2016a) it was found that "the Equation" (P(if A, then C) = P(CA)) only holds under the condition of positive relevance (where P(CA) – P(C¬A) > 0). In the case of negative relevance (P(CA) – P(C¬A) < 0) or irrelevance (P(CA) – P(C¬A) = 0), the strong relationship between P(if A, then C) and P(CA) is disrupted, because participants tend to view natural language indicative conditionals as defective under these conditions.
One possible reaction to this finding in SkovgaardOlsen et al.(2016a) is that it may nevertheless be compatible with "the Equation", if one assumes that it is an effect of pragmatics rather than semantics that ΔP (P(CA) – P(C¬A)) modulates the relationship between P(if A, then C) and P(CA). However, as long as we lack a good way of operationalizing the semantics/pragmatics distinction, we have no way of telling whether the results in SkovgaardOlsen et al.(2016a) support a reason relation reading of the conditional known as inferentialism (Ryle, 1950; Rott, 1986; Brandom, 1994; Spohn, 2013; Douven, 2015; Krzyzanowska, 2015; SkovgaardOlsen, 2016), or whether it can be accounted for as a pragmatic component within the suppositional theory of conditionals, favored by the new paradigm in psychology of reasoning (Evans and Over, 2004; Oaksford and Chater, 2007; Pfeifer, 2013). Until we have a principled way of experimentally distinguishing between the different roles that linguistic content can play, we are stuck with an interpretational ambiguity that impedes the testability of semantic theories in the psychology of reasoning. More specifically, as long as inconsistent evidence for a semantic theory can be attributed to the influence of pragmatic factors, without clarity about which detailed predictions follow from this attribution, it is difficult to devise a decisive test for a given semantic theory.
In this talk we seek to make progress on this topic by classifying relevance effects according to a series of diagnostic tests for distinguishing between conversational implicatures, presupposition failures, and conventional implicatures from the linguistic literature.
Niki Pfeifer
Coherent conditional probability as a basis for reasoning about conditionals and syllogisms
In this talk, I advocate coherencebased probability logic as a normative foundation for reasoning about a big variety of conditionals, such as indicative, counterfactual, causal, and abductive conditionals. I present recent experimental data to assess the psychological plausiblity of the proposed approach. The main result is that coherent conditional probability is the best predictor for human reasoning in various versions of the probabilistic truth table task. I rationally justify this result also for counterfactuals. Moreover, I show how coherent conditional probabilities allow for representing and reasoning about basic syllogistic sentence types, the probabilistic square of opposition and selected categorial syllogism. I explain how inference rules for categorical syllogisms can even be related to nonmonotonic reasoning. Therefore, coherent conditional probability is a powerful tool for representing various reasoning situations. I conclude my talk by discussing how far the ability to reason about conditional probability is at the core of the human reasoning competence.