Conditionals

The purpose of this note is to dispute Michael Ayers' claim that "there is no special problem of subjunctive conditionals".

This paper investigates some aspects of the semantics of deontic should-conditionals. The main objective is to understand which actual world facts make deontic statements true. The starting point for the investigation is a famous puzzle known as Chisholm’s Paradox. It is important because making sense of the data in Chisholm-style examples involves arriving at some conclusion regarding the interaction between what we consider ideal and what is actually true. I give an account of how facts affect the evaluation of should (...) formulated in a way that does not predict that the divergence between ideals and facts leads to contradictions. The proposed semantics for should and should-conditionals allows for factual detachment without giving rise to paradoxes. The proposal has several parts: a situation-based semantics for the modal should, a view of the propositions embedded under should that allows aspect to play a crucial role in anchoring propositions to the context set, and a proposal for if-clauses that distinguishes between epistemic if-clauses and if-clauses in the scope of should, treating the latter as restrictors on the quantificational domain of the modal. (shrink)

Differences in the interpretation of would-conditionals with simple (perfective) and perfect antecedent clauses are marked enough to discourage a unified view. However, this paper presents a unified, Lewis–Stalnaker style semantics for the modal in such constructions. Differences in the interpretation of the conditionals are derived from the interaction between the interpretation of different types of aspect and the modal. The paper makes a distinction between perfective and perfect aspect in terms of whether they make reference to or quantify over Lewis-style (...) events. In making reference to Lewis-events, perfective aspect is shown to be incompatible with counterfactual would-conditionals. The so-called ‘epistemic flavor’ of perfective conditionals about the future is derived from the use of diagonalization as an interpretive strategy called upon to resolve reference. (shrink)

The new Bayesian paradigm in the psychology of reasoning aims to integrate the study of human reasoning, decision making, and rationality. It is supported by two findings. One, most people judge the probability of the indicative conditional, P(if A then B), to be the conditional probability, P(B|A), as implied by the Ramsey test. Two, they judge if A then B to be void when A is false. Their three-valued response table used to be called ‘defective’, but should be termed the (...) de Finetti table. We show how to study general de Finetti truth tables for negations, conjunctions, disjunctions, and conditionals. (shrink)

There is a new Bayesian, or probabilistic, paradigm in the psychology of reasoning, with new psychological accounts of the indicative conditional of natural language. In psychological experiments in this new paradigm, people judge that the probability of the indicative conditional, P(if A then C), is the conditional probability of C given A, P(C | A). In other experiments, participants respond with what has been called the 'de- fective' truth table: they judge that if A then C is true when A (...) holds and C holds, is false when A holds and C does not, and is neither true nor false when A does not hold. We argue that these responses are not 'defective' in any negative sense, as many psychologists have implied. We point out that a number of normative researchers, including de Finetti, have proposed such a table for various coherent interpretations of the third value. We review the relevant general tables in the normative literature, in which there is a third value for A and C and the logically compound forms of the natural language conditional, negation, conjunction, disjunction, and the material conditional. We describe the results of an experiment on which of these tables best describes ordinary people's judgements when the third value is interpreted as indicating uncertainty. (shrink)

A comprehensive theory ofeven if needs to account for consequent ‘entailing’even ifs and in particular those of theif-focused variety. This is where the theory ofeven if ceases to be neutral between conditional theories. I have argued thatif-focusedeven ifs,especially if andonly if can only be accounted for through the suppositional theory ofif. Furthermore, a particular interpretation of this theory — the conditional assertion theory — is needed to account foronly if and a type of metalinguistic negation ofQ if P. We therefore (...) have evidence that the currently accepted approaches to conditionals are basically wrong about the semantic forms they attribute toif P, Q.11. (shrink)

Consider Dretske's measles example (from page 74 in his Knowldege and the Flow of Information (MIT/Bradford: 1981) ): since the question of whether Alice's being one of Herman's children carries the information that she has the measles is a question about conditional probabilities, we must be careful about our specification of the condition, the antecedent. Although we are to suppose that it is a true generalization that all of Herman's children have the measles, since that is a coincidence, we can (...) just as well suppose that Alice is an only child with the measles. It is of course true that the conditional probability of Alice's having measles given that she has the measles is 1; but that is not relevant to the question Dretske raises. In Dretske's example, the question is whether Alice's being Herman's child carries the information that she has measles. And so the relevant condition in this example is simply Alice's being Herman's child. While it is in fact true that Alice has the measles, that isn't part of the condition: for the question is, "how probable is the one state of affairs given some other state of affairs,". (shrink)

This paper investigates the role of conditionals in hypothetical reasoning and rational decision making. Its main result is a proof of a representation theorem for preferences defined on sets of sentences (and, in particular, conditional sentences), where an agent’s preference for one sentence over another is understood to be a preference for receiving the news conveyed by the former. The theorem shows that a rational preference ordering of conditional sentences determines probability and desirability representations of the agent’s degrees of belief (...) and desire that satisfy, in the case of non-conditional sentences, the axioms of Jeffrey’s decision theory and, in the case of conditional sentences, Adams’ expression for the probabilities of conditionals. Furthermore, the probability representation is shown to be unique and the desirability representation unique up to positive linear transformation. (shrink)

The paper has sought to show two things. One is that the apparent variety of Stalnaker and Lewis's counterexamples is misleading. Several of their examples are quite unsatisfactory because they depend on unguarded language behavior. There is in fact only one type of counterexample that is worth serious discussion, and that has the form of Barense's.For Barense's example, I try to show that it fails as a counterexample to transitivity because one of the premisses is false within the context of (...) the example. However, Barense's example is problematic for the Stalnaker-Lewis analysis, since their device for avoiding transitivity (rejecting the rule of conditional proof) does not in fact eliminate anomalous conclusions that can be drawn when both the premisses are taken as true.In sum, there appears to be no good reason to doubt thatif is transitive, that the antecedent of a conditional can be strengthened, and that the contrapositive can be inferred. And the rule of conditional proof does seem to capture a commonly accepted form of argument in support ofif-then statements. (shrink)

Describes the received theory of necessary and sufficient conditions, explains some standard objections to it, and lays out alternative ways of thinking about conditions and conditionals.

Three experiments are reported which show that in certain contexts subjects reject instances of the valid modus ponens and modus tollens inference form in conditional arguments. For example, when a conditional premise, such as: If she meets her friend then she will go to a play, is accompanied by a conditional containing an additional requirement: If she has enough money then she will go to a play, subjects reject the inference from the categorical premise: She meets her friend, to the (...) conclusion: She will go to a play. Other contexts suppress the conditional fallacies. The first experiment demonstrates the effects of context on conditional reasoning. The second experiment shows that the inference suppression disappears when the categorical premise refers to both of the antecedents, such as: She meets her friend and she has enough money. In this case, subjects make both the valid inferences and the fallacies, regardless of the contextual information. The third experiment establishes that when subjects are given general information about the duration of a situation in which a conditional inducement was uttered, such as: If you shout then I will shoot you, they reject both the valid inferences and the fallacies. The results suggest that the interpretation of premises plays an even more central role in reasoning than has previously been admitted. Trois expériences montrent que dans certains contextes les sujets rejettent des instances valides de modus ponens et de modus tollens dans des énoncés conditionnels. Par exemple, quand une prémisse conditionnelle comme: Si elle rencontre son ami, alors elle ira jouer, est accompagnée par une phrase contenant une condition supplémentaire: Si elle a assez d'argent, alors elle ira jouer, les sujets rejettent l'inférence liant la prémisse catégorielle: Elle rencontre son ami, à la conclusion: Elle ira jouer. D'autres contextes éliminent également les inférences conditionnelles fallacieuses. La premiére expérience démontre l'effet du contexte sur la raisonnement conditionnel. La deuxiéme expérience montre que la suppression de l'inférence disparait quand la prémisse catégorielle fait référence aux deux antécédants, comme: Elle rencontre son ami et elle a assez d'argent. Dans ce cas, les sujets font aussi bien les inférences valides et fallacieuses, quelle que soit l'information contextuelle. La troisiéme expérience établit que quand l'on donne aux sujets des informations générales à propos de la durée d'une situation dans laquelle une conditionnelle a été prononcée, comme Si tu cries, alors je te tire dessus, ils rejettent autant les inférences valides que les inférences fallacieuses. Ces résultats suggèrent que l'interprétation des prémisses joue un rŏle encore plus central dans le raisonnement que l'on admettait auparavant. (shrink)

This paper uses a non-distributive system of Boolean fractions (a|b), where a and b are 2-valued propositions or events, to express uncertain conditional propositions and conditional events. These Boolean fractions, 'a if b' or 'a given b', ordered pairs of events, which did not exist for the founders of quantum logic, can better represent uncertain conditional information just as integer fractions can better represent partial distances on a number line. Since the indeterminacy of some pairs of quantum events is due (...) to the mutual inconsistency of their experimental conditions, this algebra of conditionals can express indeterminacy. In fact, this system is able to express the crucial quantum concepts of orthogonality, simultaneous verifiability, compatibility, and the superposition of quantum events, all without resorting to Hilbert space. A conditional (a|b) is said to be "inapplicable" (or "undefined") in those instances or models for which b is false. Otherwise the conditional takes the truth-value of proposition a. Thus the system is technically 3-valued, but the 3rd value has nothing to do with a state of ignorance, nor to some half-truth. People already routinely put statements into three categories: true, false, or inapplicable. As such, this system applies to macroscopic as well as microscopic events. Two conditional propositions turn out to be simultaneously verifiable just in case the truth of one implies the applicability of the other. Furthermore, two conditional propositions (a|b) and (c|d) reside in a common Boolean sub-algebra of the non-distributive system of conditional propositions just in case b = d, their conditions are equivalent. Since all aspects of quantum mechanics can be represented with this near classical logic, there is no need to adopt Hilbert space logic as ordinary logic, just a need perhaps to adopt propositional fractions to do logic, just as we long ago adopted integer fractions to do arithmetic. The algebra of Boolean fractions is a natural, near-Boolean extension of Boolean algebra adequate to express quantum logic. While this paper explains one group of quantum anomalies, it nevertheless leaves no less mysterious the 'influence-at-a-distance', quantum entanglement phenomena. A quantum realist must still embrace non-local influences to hold that "hidden variables" are the measured properties of particles. But that seems easier than imaging wave-particle duality and instant collapse, as offered by proponents of the standard interpretation of quantum mechanics. (shrink)

The sum, difference, product and quotient of two functions with different domains are usually defined only on their common domain. This paper extends these definitions so that the sum and other operations are essentially defined anywhere that at least one of the components is defined. This idea is applied to propositions and events, expressed as indicator functions, to define conditional propositions and conditional events as three-valued indicator functions that are undefined when their condition is false. Extended operations of "and", "or", (...) "not" and "conditioning" are then defined on these conditional events with variable conditions. The probabilities of the disjunction and of the conjunction of two conditionals are expressed in terms of the conditional probabilities of the component conditionals. In a special case, these are shown to be weighted averages of the component conditional probabilities where the weights are the relative probabilities of the various conditions. Next, conditional random variables are defined to be random variables X whose domain has been restricted by a condition on a second random variable Y. The extended sum, difference, product and conditioning operations on functions are then applied to these conditional random variables. The expectation of a random variable and the conditional expectation of a conditional random variable are recounted. Theorem 1 generalizes the standard result that the conditional expectation of the sum of two conditional random variables with disjoint and exhaustive conditions is a weighted sum of the conditional expectations of the component conditional random variables. Because of the extended operations, the theorem is true for arbitrary conditions. Theorem 2 gives a formula for the expectation of the product of two conditional random variables. After the definition of independence of two random variables is extended to accommodate the extended operations, it is applied to the formula of Theorem 2 to simplify the expectation of a product of conditional random variables. Two examples end the paper. The first concerns a work force of n workers of different output levels and work shifts. The second example involves two radars with overlapping surveillance regions and different detection error rates. One radar's error rate is assumed to be sensitive to fog and the other radar's error rate is assumed to be sensitive to air traffic density. The combined error rate over the combined surveillance region given heavy fog and moderate air traffic is computed. (shrink)

This book develops in detail the simple idea that assertion is the expression of belief. In it the author puts forward a version of 'probabilistic semantics' which acknowledges that we are not perfectly rational, and which offers a significant advance in generality on theories of meaning couched in terms of truth conditions. It promises to challenge a number of entrenched and widespread views about the relations of language and mind. Part I presents a functionalist account of belief, worked through a (...) modified form of decision theory. In Part II the author generates a theory of meaning in terms of 'assertibility conditions', whereby to know the meaning of an assertion is to know the belief it expresses. (shrink)

After some preliminary remarks in §1, I argue in §2 that Claudio’s considerations about my treatment of Quine’s Bizet-Verdi counterfactuals do not constitute a difficulty for the structural analysis of such counterfactuals. I discuss some of his other examples and argue that counterfactuals are ambiguous both structurally and contextually. I conclude with an examination of the principle of transitivity for counterfactuals.