We will look at several theories of indicative conditionals grouped into three categories: those that base its semantics on its logical counterpart (the material conditional); intensional analyses, which bring in alternative possible worlds; and a third subgroup which denies that indicative conditionals express propositions at all. We will also look at some problems for each kind of approach.

THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

It is now well known that, on pain of triviality, the probability of a conditional cannot be identified with the corresponding conditional probability [27]. This surprising impossibility result has a qualitative counterpart. In fact, Peter Gardenfors showed in [13] that believing 'If A then B' cannot be equated with the act of believing B on the supposition that A.

Recent work has shown that in spite of these negative results, the question 'how to accept a conditional?' has a clear answer. Even if conditionals are not truth-carriers, they do have precise acceptability conditions. Nevertheless most epistemic models of conditionals do not provide acceptance conditions for iterated conditionals. One of the main goals of this essay is to provide a comprehensive account of the notion of epistemic conditionality covering all forms of iteration.

It is now well known that, on pain of triviality, the probability of a conditional cannot be identified with the corresponding conditional probability [25]. This surprising impossibility result has a qualitative counterpart. In fact, Peter Gärdenfors showed in [13] that believing ‘If A then B’ cannot be equated with the act of believing B on the supposition that A — as long as supposing obeys minimal Bayesian constraints.Recent work has shown that in spite of these negative results, the question ‘how (...) to accept a conditional?’ has a clear answer. Even if conditionals are not truth-carriers, they do have precise acceptability conditions. Nevertheless most epistemic models of conditionals do not provide acceptance conditions for iterated conditionals. One of the main goals of this essay is to provide a comprehensive account of the notion of epistemic conditionality covering all forms of iteration.First we propose an account of the basic idea of epistemic conditionality, by studying the conditionals validated by epistemic models where iteration is permitted but not constrained by special axioms. Our modeling does not presuppose that epistemic states should be represented by belief sets (we only assume that to each epistemic state corresponds an associated belief state). A full encoding of the basic epistemic conditionals (encompassing all forms of iteration) is presented and a representation result is proved.In the second part of the essay we argue that the notion of change involved in the evaluation of conditionals is suppositional, and that such notion should be distinguished from the notion of updating (modelled by AGM and other methods). We conclude by considering how some of the recent modellings of iterated change fare as methods for iterated supposing. (shrink)

Horacio Arlo-Costa. Belief Revision Conditionals: Models of Suppositional Reasoning.

Numerous triviality results have been directed at a collection of views that tie the probability of a conditional sentence to the conditional probability of the consequent on its antecedent. -/- In this paper I argue that this identification makes little sense if conditional sentences are context sensitive. The best alternative, I argue, is a version of the thesis which states that if your total evidence is E then the evidential probability of a conditional evaluated in a context where E is (...) salient is the probability of the consequent given the antecedent. The biggest challenge to this thesis comes from the 'static' triviality arguments developed by Stalnaker, Hajek and Hall. It is argued that these arguments rely on invalid principles of conditional logic and that the thesis is consistent with a reasonably strong logic that does not include the principles in question. (shrink)

We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent. In particular, this model ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals. We show that problem of determining acceptance of any such nested conditional can be reduced (...) to acceptance tests for unnested conditionals. Thus, iterated revision can be accomplished in a virtual manner, using uniterated revision. (shrink)

Adams’s Thesis, the claim that the probabilities of indicative conditionals equal the conditional probabilities of their consequents given their antecedents, has proven impossible to accommodate within orthodox possible-world semantics. This essay proposes a modification to the orthodoxy that removes this impossibility. The starting point is a proposal by Jeffrey and Stalnaker that conditionals take semantic values in the unit interval, interpreting these (à la McGee) as their expected truth-values at a world. Their theories imply a false principle, namely, that the (...) probability of a conditional is independent of any proposition inconsistent with its antecedent. But they also point to something important, namely, that our uncertainty about conditionals is not confined to uncertainty about the facts (what the actual world is like) but also expresses uncertainty about the counterfacts (what the world would be like if one or another supposition were true). To capture this observation, this essay proposes that the semantic contents of conditionals be treated as sets of vectors of possible worlds, not singleton worlds, with the coordinates of each specifying the world that is or would be true under the supposition that it represents. The probabilities of truth for conditionals will then depend on the joint probabilities of the facts and counterfacts, the latter in turn depending on the mode of supposition. The implication of this treatment is that the probabilities of conditionals are conditional probabilities whenever the mode of supposition is evidential. (shrink)

Adams' famous thesis that the probabilities of conditionals are conditional probabilities is incompatible with standard probability theory. Indeed it is incompatible with any system of monotonic conditional probability satisfying the usual multiplication rule for conditional probabilities. This paper explores the possibility of accommodating Adams' thesis in systems of non-monotonic probability of varying strength. It shows that such systems impose many familiar lattice theoretic properties on their models as well as yielding interesting logics of conditionals, but that a standard complementation operation (...) cannot be defined within them, on pain of collapsing probability into bivalence. (shrink)

Adams Thesis has much evidence in its favour, but David Lewis famously showed that it cannot be true, in all but the most trivial of cases, if conditionals are proprositions and their probabilities are classical probabilities of truth. In this paper I show thatsimilar results can be constructed for a much wider class of conditionals. The fact that these results presuppose that the logic of conditionals is Boolean motivates a search for a non-Boolean alternative. It is argued that the exact (...) proposition expressed by a conditional depends on the context in which it is uttered. Consequentlyits probability of truth will depend not only on the probabilities of the various propositions it might express, but also on the probabilities of the contexts determining which proposition it does in fact express.The semantic theory developed from this is then shown to explain why agents degrees of belief satisfyAdams Thesis. Finally the theory is compared with proposals for a three-valued logic of conditionals. (shrink)

In this paper Richard Jeffrey's 'Logic of Decision' is extended by examination of agents' attitudes to the sorts of possibilities identified by indicative conditional sentences. An expression for the desirability of conditionals is proposed and, along with Adams' thesis that the probability of a conditional equals the conditional probability of its antecedent given its consequent, is defended by informally deriving it from Jeffrey's notion of desirability and some weak constraints on rational preference for conditional possibilities. Finally a statement is given (...) of a representation theorem establishing the conditions under which a rational agent's preferences for conditionals determines the existence of unique measures (up to choice of scale) of her degrees of belief and desire. (shrink)

This paper uses the framework of Popper and Miller''s work on axiom systems for conditional probabilities to explore Adams'' thesis concerning the probabilities of conditionals. It is shown that even very weak axiom systems have only a very restricted set of models satisfying a natural generalisation of Adams'' thesis, thereby casting severe doubt on the possibility of developing a non-Boolean semantics for conditionals consistent with it.

I take issue with two claims of DeRose: Conditionals of deliberation must not depend on backtracking grounds. ‘Were’ed-up conditionals coincide with future-directed indicative conditionals; the only difference in their meaning is that they must not depend on backtracking grounds. I use Egan’s counterexamples to causal decision theory to contest the first and an example of backtracking reasoning by David Lewis to contest the second claim. I tentatively outline a rivaling account of ‘were’ed-up conditionals which combines features of the standard analysis (...) of counterfactuals with the contextual relevance of the corresponding indicative conditionals. (shrink)

In a series of articles, David Barnett (2006, 2009, 2010) has developed a general theory of conditionals. The grand aim is to reconcile the two main rivals: a suppositional and a truth-conditional view (Barnett 2006, 521). While I confine my critical discussion to counterfactuals, I will give some hints how they might spell trouble for his suppositional view in general.

Kaufmann has recently argued that the thesis according to which the probability of an indicative conditional equals the conditional probability of the consequent given the antecedent under certain specifiable circumstances deviates from intuition. He presents a method for calculating the probability of a conditional that does seem to give the intuitively correct result under those circumstances. However, the present paper shows that Kaufmann’s method is inconsistent in that it may lead one to assign different probabilities to a single conditional at (...) the same time. (shrink)

Bradley has argued that a truth-conditional semantics for conditionals is incompatible with an allegedly very weak and intuitively compelling constraint on the interpretation of conditionals. I argue that the example Bradley offers to motivate this constraint can be explained along pragmatic lines that are compatible with the correctness of at least one popular truth-conditional semantics for conditionals.

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)

Test for the rational acceptance of conditionals and it still incites much of the interest in conditional reasoning. For instance, the test has been considered as a good starting point for several formal semantics for conditionals. Furthermore, its ramifications have important implications for several disciplines, from logic and artificial intelligence to decision theory and psychology. This volume presents a small but fine sample of the state of the art of such multifarious area of research.

This is a 'state of the art' collection of essays on the relation between probabilities, especially conditional probabilities, and conditionals. It provides new negative results which sharply limit the ways conditionals can be related to conditional probabilities. There are also positive ideas and results which will open up new areas of research. The collection is intended to honour Ernest W. Adams, whose seminal work is largely responsible for creating this area of inquiry. As well as describing, evaluating, and applying Adams' (...) work the contributions extend his ideas in directions he may or may not have anticipated, but that he certainly inspired. In addition to a wide range of philosophers of science, the volume should interest computer scientists and linguists. (shrink)

I defend a formulation of the Ramsey Test with a condition for accepting negations of conditionals. It is implicit in the assumptions of the triviality theorems of Gärdenfors, Harper, and Lewis; and it allows for a unified proof of those theorems, from weaker assumptions about belief revision. This leads to a proof of McGee’s thesis that iterated conditionals do not obey modus ponens. †To contact the author, please write to: Institute of Philosophy, University of Leuven, Kardinaal Mercierplein 2, B‐3000 Leuven, (...) Belgium; e‐mail: etlin@alum.mit.edu. (shrink)

According to probabilistic theories of reasoning in psychology, people's degree of belief in an indicative conditional `if A, then B' is given by the conditional probability, P(B|A). The role of language pragmatics is relatively unexplored in the new probabilistic paradigm. We investigated how consequent relevance aects participants' degrees of belief in conditionals about a randomly chosen card. The set of events referred to by the consequent was either a strict superset or a strict subset of the set of events referred (...) to by the antecedent. We manipulated whether the superset was expressed using a disjunction or a hypernym. We also manipulated the source of the dependency, whether in long-term memory or in the stimulus. For subset-consequent conditionals, patterns of responses were mostly conditional probability followed by conjunction. For superset-consequent conditionals, conditional probability responses were most common for hypernym dependencies and least common for disjunction dependencies, which were replaced with responses indicating inferred consequent irrelevance. Conditional probability responses were also more common for knowledge-based than stimulus-based dependencies. We suggest. (shrink)

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto the (...) sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

Conditionals are central to inference. Before people can draw inferences about a natural language conditional, they must interpret its meaning. We investigated interpretation of uncertain conditionals using a probabilistic truth table task, focussing on (i) conditional event, (ii) material conditional, and (iii) conjunction interpretations. The order of object (shape) and feature (color) in each conditional's antecedent and consequent was varied between participants. The conditional event was the dominant interpretation, followed by conjunction, and took longer to process than conjunction (mean dierence (...) 500 ms). Material conditional responses were rare. The proportion of conditional event responses increased from around 40% at the beginning of the task to nearly 80% at the end, with 55% of participants showing a qualitative shift of interpretation. Shifts to the conditional event occurred later in the feature-object order than in the object-feature order. We discuss the results in terms of insight and suggest implications for theories of interpretation. (shrink)

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto the (...) sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

The so-called ‘Adams’ Thesis’ is often understood as the claim that the assertibility of an indicative conditional equals the corresponding conditional probability—schematically: $${({\rm AT})}\qquad\qquad\quad As(A\rightarrow B)=P({B|A}),{\rm provided}\quad P(A)\neq 0.$$ The Thesis is taken by many to be a touchstone of any theorizing about indicative conditionals. Yet it is unclear exactly what the Thesis is . I suggest some precise statements of it. I then rebut a number of arguments that have been given in its favor. Finally, I offer a new (...) argument against it. I appeal to an old triviality result of mine against ‘Stalnaker’s Thesis’ that the probability of a conditional equals the corresponding conditional probability. I showed that for all finite-ranged probability functions, there are strictly more distinct values of conditional probabilities than there are distinct values of probabilities of conditionals, so they cannot all be paired up as Stalnaker’s Thesis promises. Conditional probabilities are too fine-grained to coincide with probabilities of conditionals across the board. If the assertibilities of conditionals are to coincide with conditional probabilities across the board, then assertibilities must be finer-grained than probabilities. I contend that this is implausible—it is surely the other way round. I generalize this argument to other interpretations of ‘ As ’, including ‘acceptability’ and ‘assentability’. I find it hard to see how any such figure of merit for conditionals can systematically align with the corresponding conditional probabilities. (shrink)

In ‘A Defence of the Ramsey Test’, Richard Bradley makes a case for not concluding from the famous impossibility results regarding the Ramsey Test — the thesis that a rational agent believes a conditional if he would believe the consequent upon learning the antecedent — that the thesis is false. He lays the blame instead on one of the other premisses in these results, namely the Preservation condition. In this paper, we explore how this condition can be weakened by strengthening (...) the notion of consistency which appears in it. After considering the effects of such weakenings for Bradley's argument, we propose a refinement of the Preservation condition which does not fall prey to Bradley's argument nor to Gärdenfors's impossibility theorem. We briefly compare it to Bradley's suggested restriction of Preservation. (shrink)

This paper rejects a traditional epistemic interpretation of conditional probability. Suppose some chance process produces outcomes X, Y,..., with probabilities P(X), P(Y),... If later observation reveals that outcome Y has in fact been achieved, then the probability of outcome X cannot normally be revised to P(X|Y) ['P&Y)/P(Y)]. This can only be done in exceptional circumstances - when more than just knowledge of Y-ness has been attained. The primary reason for this is that the weight of a piece of evidence varies (...) with the means by which it is provided, so knowledge of Y-ness does not have uniform impact on the probability of X. A better updating of the probability of X is provided by P(X|Y*), where Y* is not an outcome of the chance process being observed, but the sentence 'the outcome Y has been observed', an 'outcome' of the subsequent observation process. This alternative formula is widely endorsed in practice, but not well recognized in theory, where the oversight has generated some unsatisfactory consequences. (shrink)

A defense of material implication as implication.

The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion that (...) conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)

This paper discusses counterexamples to the thesis that the probabilities of conditionals are conditional probabilities. It is argued that the discrepancy is systematic and predictable, and that conditional probabilities are crucially involved in the apparently deviant interpretations. Furthermore, the examples suggest that such conditionals have a less prominent reading on which their probability is in fact the conditional probability, and that the two readings are related by a simple step of abductive inference. Central to the proposal is a distinction between (...) causal and purely stochastic dependence between variables. (shrink)

While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the ?defective truth-table? in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that (...) do seem to be part of ordinary usage. However, coupled with something the probability account gives us?namely that when conditional-free ? entails conditional-free ?, ?if ? then ?? is a trivial, uninformative truth?we have enough logic to derive the paradoxes of material implication. It thus becomes a matter of some urgency to determine which inference patterns involving indicative conditionals participants do endorse. Only thus will we be able to arrive at a realistic, systematic semantics for the indicative conditional. (shrink)

In this paper we examine the thesis that the probability of the conditional is the conditional probability. Previous work by a number of authors has shown that in standard numerical probability theories, the addition of the thesis leads to triviality. We introduce very weak, comparative conditional probability structures and discuss some extremely simple constraints. We show that even in such a minimal context, if one adds the thesis that the probability of a conditional is the conditional probability, then one trivializes (...) the theory. Another way of stating the result is that the conditional of conditional probability cannot be represented in the object language on pain of trivializing the theory. (shrink)

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)

Four experiments are reported which investigated the types of truth tables that people associate with conditional sentences and the kinds of inferences that they will draw from them. The present studies differed from most previous ones in using different types of content in the conditionals, for example promises and warnings. It was found that the type of content had a strong and consistent effect on both truth tables and inferences. It is suggested that this is because in real life conditionals (...) make probabilistic assertions, and that the strength of the probabilistic link is determined by the situation in which the conditional occurs. The implications of these findings for current theories of reasoning are considered and it is concluded that none of them is entirely satisfactory. It is suggested that more linguistically based theories may prove more successful. (shrink)

Recent research (e.g., Evans & Over, 2004) has provided support for the hypothesis that people evaluate the probability of conditional statements of the form if p then q as the conditional probability of q given p , P( q / p ). The present paper extends this approach to pragmatic conditionals in the form of inducements (i.e., promises and threats) and advice (i.e., tips and warnings). In so doing, we demonstrate a distinction between the truth status of these conditionals and (...) their effectiveness as speech acts. Specifically, while probability judgements of the truth of conditional inducements and advice are highly correlated with estimates of P( q / p ), their perceived effectiveness in changing behaviour instead varies as a function of the conditional probability of q given not-p , P( q / ∼p ). Finally, we show that the conditional probability approach can be extended to predicting inference rates on a conditional reasoning task. (shrink)

The two main psychological theories of the ordinary conditional were designed to account for inferences made from assumptions, but few premises in everyday life can be simply assumed true. Useful premises usually have a probability that is less than certainty. But what is the probability of the ordinary conditional and how is it determined? We argue that people use a two stage Ramsey test that we specify to make probability judgements about indicative conditionals in natural language, and we describe experiments (...) that support this conclusion. Our account can explain why most people give the conditional probability as the probability of the conditional, but also why some give the conjunctive probability. We discuss how our psychological work is related to the analysis of ordinary indicative conditionals in philosophical logic. (shrink)

Two experiments (N1 = 141, N2 = 40) investigate two versions of Aristotle’s Thesis for the first time. Aristotle’s Thesis is a negated conditional, which consists of one propositional variable with a negation either in the antecedent (version 1) or in the consequent (version 2). This task allows to infer if people interpret indicative conditionals as material conditionals or as conditional events. In the first experiment I investigate between-participants the two versions of Aristotle’s Thesis crossed with abstract versus concrete task (...) material. The modal response for all four groups is consistent with the conditional event and inconsistent with the material conditional interpretation. This observation is replicated in the second experiment. Moreover, the second experiment rules out scope ambiguities of the negation of conditionals. Both experiments provide new evidence against the material conditional interpretation of conditionals and support the conditional event interpretation. Finally, I discuss implications for modeling indicative conditionals and the relevance of this work for experimental philosophy. (shrink)

Mental probability logic is a psychological competence theory about how humans interpret and reason about common-sense conditionals. Probability logic is proposed as an appropriate standard of reference for evaluating the rationality of human inferences. Common-sense conditionals are interpreted as “high” conditional probabilities, P(B|A) > .5. Probability logical accounts of nonmonotonic reasoning and inference rules like the modus ponens are explored. Categorical syllogisms with comparative and quantitative quantifiers are investigated. A series of eight experiments on human probabilistic reasoning in the framework (...) of the basic nonmonotonic system p corroborate the psychological plausibility of the proposed approach. (shrink)

Probabilistic models have started to replace classical logic as the standard reference paradigm in human deductive reasoning. Mental probability logic emphasizes general principles where human reasoning deviates from classical logic, but agrees with a probabilistic approach (like nonmonotonicity or the conditional event interpretation of conditionals). -/- This contribution consists of two parts. In the first part we discuss general features of reasoning systems including consequence relations, how uncertainty may enter argument forms, probability intervals, and probabilistic informativeness. These concepts are of (...) central importance for the psychological task analysis. In the second part we report new experimental data on the paradoxes of the material conditional, the probabilistic modus ponens, the complement task, and data on the probabilistic truth table task. The results of the experiments provide evidence for the hypothesis that people represent indicative conditionals by conditional probability assertions. (shrink)

The present chapter describes a probabilistic framework of human reasoning. It is based on probability logic. While there are several approaches to probability logic, we adopt the coherence based approach.

The modus ponens (A -> B, A :. B) is, along with modus tollens and the two logically not valid counterparts denying the antecedent (A -> B, ¬A :. ¬B) and affirming the consequent, the argument form that was most often investigated in the psychology of human reasoning. The present contribution reports the results of three experiments on the probabilistic versions of modus ponens and denying the antecedent. In probability logic these arguments lead to conclusions with imprecise probabilities. In the (...) modus ponens tasks the participants inferred probabilities that agreed much better with the coherent normative values than in the denying the antecedent tasks, a result that mirrors results found with the classical argument versions. For modus ponens a surprisingly high number of lower and upper probabilities agreed perfectly with the conjugacy property (upper probabilities equal one complements of the lower probabilities). When the probabilities of the premises are imprecise the participants do not ignore irrelevant (“silent”) boundary probabilities. The results show that human mental probability logic is close to predictions derived from probability logic for the most elementary argument form, but has considerable difficulties with the more complex forms involving negations. (shrink)

An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not necessarily equal to the unit interval (...) [0, 1]. Not all logically valid inference rules are probabilistically informative and vice versa. The relationship between logically valid and probabilistically informative inference rules is discussed and illustrated by examples such as the modus ponens or the affirming the consequent. We propose a method to evaluate the strength of CPL inference. (shrink)

Nonmonotonic logics allow—contrary to classical (monotone) logics— for withdrawing conclusions in the light of new evidence. Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. system p is a central, broadly accepted nonmonotonic reasoning system that proposes basic rationality postulates. We previously investigated empirically a probabilistic interpretation of three selected rules of system p. We found a relatively good agreement of human reasoning and principles of nonmonotonic reasoning according (...) to the coherence interpretation of system p. This study reports an experiment on the cautious monotonicity Rule and its “incautious” counterpart that is not contained in system p, namely the monotonicity Rule. In accordance with our previous results, the data suggest that people reason nonmonotonically: the subjects in the cautious monotonicity condition infer significantly tighter intervals close to the coherence interpretation of system p compared with the subjects in the incautious monotonicity condition where rather wide (and hence non-informative) intervals are inferred. (shrink)

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, investigated this claim empirically. In the present paper four psychological experiments are reported, that investigate three rules of system p, namely the and, the left logical equivalence, and the or rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of system p. We found a relatively good agreement of human (...) reasoning and principles of nonmonotonic reasoning according to the coherence interpretation of system p. Contrary to the results reported in the “heuristics and biases” tradition, the subjects committed relatively few upper bound violations (conjunction fallacies). More lower than upper bound violations were observed. When the premises were presented in terms of intervals higher mean lower bounds were observed as when the premises were presented in terms of point percentages. (shrink)

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. We report four experiments which investigate three rules of SYSTEMP, namely the AND, the LEFT LOGICAL EQUIVALENCE, and the OR rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of SYSTEM P. We found a relatively good agreement of human reasoning and principles of nonmonotonic (...) reasoning. Contrary to the results reported in the ‘heuristics and biases’ tradition, the subjects committed relatively few upper bound violations (conjunction fallacies). (shrink)

I take up the four issues considered by Johnson-Laird, Byrne and Girotto in their reply to Politzer ( 2007 ). Based on the conceptual clarification which they adduce, it seems that the disagreement can be settled about the first one (truth functionality) and can be attenuated about the second one (the paradoxes of material implication). However, I maintain and refine my criticisms on the last two (negation and the probability of conditionals), backed up by considerations borrowed from the perspective (...) of the conditional probability semantics for conditionals. (shrink)

This paper reviews the psychological investigation of reasoning with conditionals, putting an emphasis on recent work. In the first part, a few methodological remarks are presented. In the second part, the main theories of deductive reasoning (mental rules, mental models, and the probabilistic approach) are considered in turn; their content is summarised and the semantics they assume for if and the way they explain formal conditional reasoning are discussed, in particular in the light of experimental work on the probability of (...) conditionals. The last part presents the recent shift of interest towards the study of conditional reasoning in context, that is, with large knowledge bases and uncertain premises. (shrink)

Explains how to use a trivalent semantics to explain what is often called Adam’s Thesis, the thesis that the probability of a conditional is the conditional probability of the consequent given the antecedent.

This note relates the Lewis/Kratzer view of conditionals as restrictors to the philosophical debate over the meaning of conditionals.

Draft of a paper for the Sinn und Bedeutung 14 conference. Explains how to capture the link between conditionals the probability of indicative conditionals and conditional probability using a classical semantics for conditionals. (Note: some introductory material is shared with a twin paper, "Capturing the Relationship Between Conditionals and Conditional Probability with a Trivalent Semantics".).

Discusses how to capture the link between the probability of indicative conditionals and conditional probability using a classical semantics for conditionals.

This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresponding thesis about the probabilities of statements governed by epistemic modals can be derived. The paper proceeds by deriving further consequences of this thesis, in (...) particular, the logic of epistemic modals and their logical interaction with indicative conditionals are studied. (shrink)

The orthodoxy that conditional probabilities reflect what are for a subject evidential bearings is seconded. This significance suggests that there should be principles equating rationally revised probabilities on new information with probabilities reached by conditionalizing on this information. Several principles, two of which are endorsed, are considered. A book is made against a violator of these, and it is argued that there must be something wrong with a person against whom such books can be made. Appendices comment on Popper-functions, elaborate (...) on bets and odds, and relate dutch books and strategies to conditions of inconsistency (Ramsey's idea) and imperfection. (shrink)

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero probability. (...) Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation. (shrink)

We establish a probabilized version of modus tollens, deriving from p(E|H)=a and p()=b the best possible bounds on p(). In particular, we show that p() 1 as a, b 1, and also as a, b 0. Introduction Probabilities of conditionals Conditional probabilities 3.1 Adams' thesis 3.2 Modus ponens for conditional probabilities 3.3 Modus tollens for conditional probabilities.

Schulz has shown that the suppositional view of indicative conditionals leads to a corresponding view of epistemic modals. But his case backfires: the resulting theory of epistemic modals gets the facts wrong, and so we end up with a good argument against the suppositional view. I show how and why a dynamic view of indicative conditionals leads to a better theory of epistemic modals.

I formulate a counterfactual version of the notorious ‘Ramsey Test’. Even in a weak form, this makes counterfactuals subject to the very argument that Lewis used to persuade the majority of the philosophical community that indicative conditionals were in hot water. I outline two reactions: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives.

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.