People accept conclusions of valid conditional inferences (e.g., if p then q, p therefore q) less, the more disablers (circumstances that prevent q to happen although p is true) exist. We investigated whether rules that through their phrasing exclude disablers evoke higher acceptance ratings than rules that do not exclude disablers. In three experiments we re-phrased content-rich conditionals from the literature as either universal or existential rules and embedded these rules in Modus Ponens and Modus Tollens inferences. In Experiments 2 (...) and 3, we also used abstract rules. The acceptance of conclusions increased when the rule was phrased with “all” instead of “some” and the number of disablers had a higher impact on existential rules than on universal rules. Further, the effect of quantifier was more pronounced for abstract rules and when tested within subjects. We discuss the relevance of phrasing, quantifiers and knowledge on reasoning. (shrink)

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

The chapter is devoted to the probability and acceptability of indicative conditionals. Focusing on three influential theses, the Equation, Adams’ thesis, and the qualitative version of Adams’ thesis, Sikorski argues that none of them is well supported by the available empirical evidence. In the most controversial case of the Equation, the results of many studies which support it are, at least to some degree, undermined by some recent experimental findings. Sikorski discusses the Ramsey Test, and Lewis’s triviality proof, with special (...) attention dedicated to the popular ways of blocking it. Sikorski concludes that the role of the three theses in future studies of conditionals should be re-thought, and he presents alternative proposals. (shrink)

Various semantics for studying the square of opposition have been proposed recently. So far, only [14] studied a probabilistic version of the square where the sentences were interpreted by (negated) defaults. We extend this work by interpreting sentences by imprecise (set-valued) probability assessments on a sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square in terms of acceptability and show how to construct probabilistic versions of the square (...) of opposition by forming suitable tripartitions. Finally, as an application, we present a new square involving generalized quantifiers. (shrink)

Indicative conditionals and tendency causal claims are closely related (e.g., Frosch and Byrne, 2012), but despite these connections, they are usually studied separately. A unifying framework could consist in their dependence on probabilistic factors such as high conditional probability and statistical relevance (e.g., Adams, 1975; Eells, 1991; Douven, 2008, 2015). This paper presents a comparative empirical study on differences between judgments on tendency causal claims and indicative conditionals, how these judgments are driven by probabilistic factors, and how these factors differ (...) in their predictive power for both causal and conditional claims. (shrink)

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth-table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

ABSTRACTThree experiments examined how people reason about what is possible or necessary when a conditional is true. Participants were asked to indicate whether it was necessary, possible or impossible for a specific instance to conform to one of the truth-table cases, given the truth of the conditional. It was found that most participants, inconsistently, judged the pq case as necessary but the ¬pq or ¬p¬q cases as possible. Logically, these two kinds of judgments are contradictory. Moreover, a true conditional doesn’t (...) imply that a specific instance under the conditional must be pq. Therefore, people demonstrate a necessity illusion for pq cases which contradicts their commitment to the possibility of ¬pq or ¬p¬q cases. Existing accounts of conditionals are unable to explain the contradiction and the necessity illusion. We propose an inference dissociation account and explore the theoretical implications of this necessity illusion. (shrink)

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth‐table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

The appropriateness, or acceptability, of a conditional does not just ‘go with’ the corresponding conditional probability. A condition of dependence is required as well. In this paper a particular notion of dependence is proposed. It is shown that under both a forward causal and a backward evidential reading of the conditional, this appropriateness condition reduces to conditional probability under some natural circumstances. Because this is in particular the case for the so-called diagnostic reading of the conditional, this analysis might help (...) to explain some of Douven and Verbrugge’s empirical observations. (shrink)

The explanatory power of logic is vast and therefore it has proved a valuable tool for many disciplines, including the building-blocks of cognitive science, such as philosophy, computer science, mathematics, artificial intelligence, and linguistics. Logic has a great track record in providing interesting insights by means of formalization, and as such it is very useful in disambiguating psychological theories. Logically formalized cognitive theories are not only the source of unequivocal experimental hypotheses, but they also lend themselves naturally to computational modeling. (...) Most importantly, modern logic has at its service a rich variety of tools to assess and compare such psychological theories. This toolbox can be utilized in evaluating cognitive models along the following dimensions:logical relationships, for example, incompatibility or identity of models;explanatory power, for example, what can be expressed by means of a model?computational plausibility, for example, a. (shrink)

Generalized Quantifier Theory defines superlative quantifiers at most n and at least n as truth-conditionally equivalent to comparative quantifiers fewer than n+1 and more than n \1. It has been demonstrated, however, that this standard theory cannot account for various linguistic differences between these two types of quantifiers. In this paper I discuss how the distinction between assertibility and truth-conditions can be applied to explain this phenomenon. I draw a parallel between the assertibility of disjunctions and superlative quantifiers, and argue (...) that those assertibility conditions are essentially modal. I use epistemic logic to formalize the assertibility conditions and revisit some of the linguistic puzzles related to superlative quantification. (shrink)

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

More than a decade of research has found strong evidence for P(if A, then C) = P(C|A) (“the Equation”). We argue, however, that this hypothesis provides an overly simplified picture due to its inability to account for relevance. We manipulated relevance in the evaluation of the probability and acceptability of indicative conditionals and found that relevance moderates the effect of P(C|A). This corroborates the Default and Penalty Hypothesis put forward in this paper. Finally, the probability and acceptability of concessive conditionals (...) (“Even if A, then still C”) were investigated and it was found that the Equation provides a better account of concessive conditionals than of indicatives across relevance manipulations. (shrink)

Two types of truth table task are used to examine people's mental representation of conditionals. In two within-participants experiments, participants either receive the same task-type twice (Experiment 1) or are presented successively with both a possibilities task and a truth task (Experiment 2). Experiment 3 examines how people interpret the three-option possibilities task and whether they have a clear understanding of it. The present study aims to examine, for both task-types, how participants' cognitive ability relates to the classification of the (...) truth table cases as irrelevant, and their consistency in doing so. Looking at the answer patterns, participants' cognitive ability influences their classification of the truth table cases: A positive correlation exists between cognitive ability and the number of false-antecedent cases classified as ?irrelevant?, both in the possibilities task and the truth task. This favours a suppositional representation of conditionals. (shrink)

Two recently popular metaphilosophical movements, formal philosophy and experimental philosophy, promote what seem to be conflicting methodologies. Nonetheless, I argue that the two can be mutually supportive. I propose an experimentally-informed variation on explication, a powerful formal philosophical tool introduced by Carnap. The resulting method, which I call “experimental explication,” provides the formalist with a means of responding to explication's gravest criticism. Moreover, this method introduces a philosophically salient, positive role for survey-style experiments while steering clear of several objections that (...) critics of “positive experimental philosophy” raise. Thus, it provides the experimentalist with a more defensible example of how empirical work can have positive philosophical import. For these reasons, experimental explication should appeal to experimental philosophers and formal philosophers alike. (shrink)

Pretense imagination is imagination understood as the ability to recreate rational belief revision. This kind of imagination is used in pretend-play, risk-assessment, etc. Some even claim that this kind of hypothetical belief revision can be grounds to justify new beliefs in conditionals, in particular conditionals that play a foundational role in the epistemology of modality. In this paper, I will argue that it cannot. I will first provide a very general theory of pretense imagination, which I formalise using tools from (...) dynamic epistemic logic. As a result, we can clearly see that pretense imagination episodes are build up out of two kinds of imaginative stages, so I will present an argument by cases. This argument shows that pretense imagination might indeed provide us with justification for believing certain conditionals. Despite this, I will argue that these arenotthe kind of conditionals that allow pretense imagination to play a foundational role in the epistemology of modality. (shrink)

Based on the new experimental evidence, we argue that a link between a conditional antecedent and the consequent is semantically expressed rather than pragmatically conveyed. In our paper, we focus on particular kinds of links which conditionals may convey in a context. For instance, a conditional ‘If p, q’ may convey a thought equivalent to ‘p will cause q’, ‘p is the best explanation for q’, ‘q follows from p’, etcetera. The traditional theoretical literature on conditionals seems to imply that (...) these specific links are generated pragmatically and are akin to conversational implicatures. In order to test this hypothesis, we used a well-recognized linguistic test from ‘reinforceability’, which serves to distinguish between a semantic and pragmatic level of meaning, and we designed an experimental study based on that test. The outcome of our study is that specific links conveyed by conditionals exhibit features of semantic entailments rather than conversational implicatures. This result accords with some of the recent findings in empirical investigations on conditionals. In the final part of our paper, we discuss various accounts of conditionals which can accommodate the results of our study. (shrink)

According to Stalnaker’s Thesis, the probability of a conditional is the conditional probability. Under some mild conditions, the thesis trivialises probabilities and conditionals, as initially shown by David Lewis. This article asks the following question: does still lead to triviality, if the probability function in is replaced by a probability-like function? The article considers plausibility functions, in the sense of Friedman and Halpern, which additionally mimic probabilistic additivity and conditionalisation. These quasi probabilities comprise Friedman–Halpern’s conditional plausibility spaces, as well as (...) other known representations of conditional doxastic states. The paper proves Lewis’ triviality for quasi probabilities and discusses how this has implications for three other prominent strategies to avoid Lewis’ triviality: Adams’ thesis, where the probability function on the left in is replaced by a probability-like function, abandoning conditionalisation, where probability conditionalisation on the right in is replaced by another propositional update procedure and the approximation thesis, where equality in is replaced by approximation. The paper also shows that Lewis’ triviality result is really about ‘additiveness’ and ‘conditionality’. (shrink)

In this paper, I propose and defend a pair of necessary conditions on evidence-based knowledge which bear resemblance to the troubled sensitivity principles defended in the philosophical literature. We can think of the traditional principles as simple but inaccurate approximations of the new proposals. Insofar as the old principles are intuitive and used in scientific and philosophical contexts, but are plausibly false, there’s a real need to develop precise and correct formulations. These new renditions turned out to be more cautious, (...) so they won’t be able to do everything the old principled promised they could. For example, they respect closure for knowledge. But these sober formulations, or something like them, might be the best that we can do with respect to sensitivity. And there’s value in understanding the limits to these types of principles. (shrink)

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent work on the (...) paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. (shrink)

ABSTRACTTreating conditionals as probabilistic statements has been referred to as a defining feature of the “new paradigm” in cognitive psychology. Doing so is attractive for several reasons, but it complicates the problem of assessing the merits of conditional arguments. We consider several variables that relate to judging the persuasiveness of conditional arguments with uncertain premises. We also explore ways of judging the consistency of people's beliefs as represented by components of conditional arguments. Experimental results provide evidence that inconsistencies in beliefs (...) are more prevalent if the arguments’ components are spatially and temporally dispersed than if they are contiguous in space and time. This supports the idea that assuring the consistency among even a small number of beliefs is difficult to do, especially if the beliefs in question are not brought into consciousness at the same time; but consistency can be enhanced when beliefs are considered simultaneously or nea... (shrink)

This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data. Drawing from an analysis at the semantic-argumentative interface, the way in which (...) prototype theory sheds light on the processes of meaning construction underlying defeasible arguments from definition is also shown. (shrink)

Thought: A Journal of Philosophy, Volume 10, Issue 1, Page 42-52, March 2021.

Conditionals frequently convey that the antecedent is relevant to the consequent. Recently many authors have argued that this relevance is part of the conventional meaning of conditionals, but this approach fails to account for many examples where a conditional is used to conveyirrelevance of antecedent to consequent. Both types of conditionals are best explained by a conventional meaning with no relevance requirement, and a separate process of coherence establishment among successive clauses in discourse. This account is supported by the distribution (...) of discourse particles and is able to account for experimental studies used to support the conventionalist position. (shrink)

Many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to argue for an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on the evidential meaning of certain English and Dutch modal expressions.

According to the Principle of Conditional Non-Contradiction (CNC), conditionals of the form “If p, q” and “If p, not q” cannot both be true, unless p is inconsistent. This principle is widely regarded as an adequacy constraint on any semantics that attributes truth conditions to conditionals. Gibbard has presented an example of a pair of conditionals that, in the context he describes, appear to violate CNC. He concluded from this that conditionals lack truth conditions. We argue that this conclusion is (...) rash by proposing a new diagnosis of what is going on in Gibbard’s argument. We also provide empirical evidence in support of our proposal. (shrink)

Decision theorists tend to treat indicative conditionals with reservation, because they can easily lead a deliberating agent astray. However, many indicatives can be very helpful in contexts of deliberation, so denying them all a role in such contexts seems to be overkill. We show that a recently revived inferential view on conditionals provides a straightforward explanation of why some indicatives are unassertable in contexts of deliberation and hints at a way of telling "deliberationally useless" and "deliberationally useful" conditionals apart.

ABSTRACTThe probabilistic truth table task involves assessing the probability of "If A then C" conditional sentences. Previous studies have shown that a majority of participants assess this probability as the conditional probability P while a substantial minority responds with the probability of the conjunction A and C. In an experiment involving 96 participants, we investigated the impact on the rate of conjunctive responses of the context in which the task is framed. We show that a context intended to lead participants (...) to consider all the possible cases elicited more conjunctive responses than a context assumed not to have this effect. These results suggest that the step of inferring the probability can distort our assessment of participants' interpretation of conditional sentences. This might compromise the validity of the probabilistic task in studying conditional reasoning. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

In common with a number of other authors I believe that there has been a paradigm shift in the psychology of reasoning, specifically the area traditionally labelled as the study of deduction. The deduction paradigm was founded in a philosophical tradition that assumed logicality as the basis for rational thought, and provided binary propositional logic as the agreed normative framework. By contrast, many contemporary authors assume that people have degrees of uncertainty in both premises and conclusions, and reject binary logic (...) as a workable normative system. I discuss a number of questions and challenges for this new psychology of reasoning, including the following: (a) Do we need an alternative normative system, such as Bayesianism, for the new paradigm? (b) Is there any longer a clear distinction between the study of deductive and inductive reasoning, the latter having its own tradition and literature? (c) Precisely how is the integrated study of reasoning and decision making facilitated by the new paradigm? (d) What difficulties with dual-processing approaches need to be resolved, if they are to take us forward? (shrink)

According to the Bayesian paradigm in the psychology of reasoning, the norms by which everyday human cognition is best evaluated are probabilistic rather than logical in character. Recently, the Bayesian paradigm has been applied to the domain of argumentation, where the fundamental norms are traditionally assumed to be logical. Here, we present a major generalisation of extant Bayesian approaches to argumentation that utilizes a new class of Bayesian learning methods that are better suited to modelling dynamic and conditional inferences than (...) standard Bayesian conditionalization, is able to characterise the special value of logically valid argument schemes in uncertain reasoning contexts, greatly extends the range of inferences and argumentative phenomena that can be adequately described in a Bayesian framework, and undermines some influential theoretical motivations for dual function models of human cognition. We conclude that the probabilistic norms given by the Bayesian approach to rationality are not necessarily at odds with the norms given by classical logic. Rather, the Bayesian theory of argumentation can be seen as justifying and enriching the argumentative norms of classical logic. (shrink)

In recent years, the psychology of reasoning has been undergoing a paradigm shift, with general Bayesian, probabilistic approaches replacing the older, much more restricted binary logic paradigm. At the same time, dual processing theories have been gaining influence. We argue that these developments should be integrated and moreover that such integration is already underway. The new reasoning paradigm should be grounded in dual processing for its algorithmic level of analysis just as it uses Bayesian theory for its computational level of (...) analysis. Moreover, we propose that, within the new paradigm, these levels of analysis reflect on each other. Bayesianism suggests a specific theoretical understanding of dual processing. Just as importantly, the duality in processing carries over to duality in function; although both types of processes compute degrees of belief, they generate different functions. (shrink)

There is an ongoing controversy in philosophy about the connection between explanation and inference. According to Bayesians, explanatory considerations should be given weight in determining which inferences to make, if at all, only insofar as doing so is compatible with Strict Conditionalization. Explanationists, on the other hand, hold that explanatory considerations can be relevant to the question of how much confidence to invest in our hypotheses in ways which violate Strict Conditionalization. The controversy has focused on normative issues. This paper (...) investigates experimentally the descriptive question of whether judgments of the explanatory goodness of hypotheses do play a role when people revise their degrees of belief in those hypotheses upon the receipt of new evidence. We present the results of three experiments that together strongly support the predictive superiority of the explanationist position. (shrink)

According to what is now commonly referred to as “the Equation” in the literature on indicative conditionals, the probability of any indicative conditional equals the probability of its consequent of the conditional given the antecedent of the conditional. Philosophers widely agree in their assessment that the triviality arguments of Lewis and others have conclusively shown the Equation to be tenable only at the expense of the view that indicative conditionals express propositions. This study challenges the correctness of that assessment by (...) presenting data that cast doubt on an assumption underlying all triviality arguments. (shrink)

There has been a probabilistic turn in contemporary cognitive science. Far and away, most of the work in this vein is Bayesian, at least in name. Coinciding with this development, philosophers have increasingly promoted Bayesianism as the best normative account of how humans ought to reason. In this paper, we make a push for exploring the probabilistic terrain outside of Bayesianism. Non-Bayesian, but still probabilistic, theories provide plausible competitors both to descriptive and normative Bayesian accounts. We argue for this general (...) idea via recent work on explanationist models of updating, which are fundamentally probabilistic but assign a substantial, non-Bayesian role to explanatory considerations. (shrink)

Some of the information we receive comes to us in an explicitly conditional form. It is an open question how to model the accommodation of such information in a Bayesian framework. This paper presents data suggesting that there may be no strictly Bayesian account of updating on conditionals. Specifically, the data seem to indicate that such updating at least sometimes proceeds on the basis of explanatory considerations, which famously have no home in standard Bayesian epistemology. The paper also proposes a (...) still broadly Bayesian model of updating on conditionals that explicitly factors in explanation. The model is shown to have clear empirical content and thus to be open to empirical testing. (shrink)

Conditionals whose antecedent and consequent are not somehow internally connected tend to strike us as odd. The received doctrine is that this felt oddness is to be explained pragmatically. Exactly how the pragmatic explanation is supposed to go has remained elusive, however. This paper discusses recent philosophical and psychological work that attempts to account semantically for the apparent oddness of conditionals lacking an internal connection between their parts.

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)