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.

In the 1960’s, both Montague (e.g. 1970, 222) and Grice (1975, 24) famously declared that natural languages were not so different from the formal languages of logic as people had thought. Montague sought to comprehend the grammars of both within a single theory, and Grice sought to explain away apparent divergences as due to the fact that the former, but not the latter, were used for conversation. But, if we confine our concept of logic to first order predicate logic (or (...) FOPL) with identity (that is, omitting everything which is not required for the pursuit of mathematical truth), then there are of course many other aspects, in addition to its use in conversation, which distinguish natural language from logic. Conventional implicature, information structure (including presupposition), tense and time reference, and the expression of causation and inference are several of these, which combine as well with syntactic complexities which are unnecessary in first order predicate logic. In this paper I will argue that such distinguishing aspects should be more fully exploited to explain the differences between the material conditional of logic and the indicative conditional of one natural language (English). (shrink)

In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truth functionality and the material conditional. All approaches that try to treat conditionals (...) as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)

In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not truth functionality (...) as such that is the problem, but the philosophical foundation of modern logic. (shrink)

It is generally agreed that constructions of the form “if P, Q” are capable of conveying a number of different relations between antecedent and consequent, with pragmatics playing a central role in determining these relations. Controversy concerns what the conventional contribution of the if-clause is, how it constrains the pragmatic processes, and what those processes are. In this essay, I begin to argue that the conventional contribution of if-clauses to semantics is exhausted by the fact that these clauses introduce a (...) proposition without presenting it as true so that the consequent can be understood in relation to it. Given our cognitive interests in such non-truth-presentational introductions, conditionals will make salient the wide but nevertheless disciplined variety of contents that we naturally attribute to them; no further substantial constraints of the sorts proposed by standard theories of conditionals are needed to explain the phenomena. If this is correct, it provides prima facie evidence for a radically contextualist account of conditionals according to which conditionals have no truth-evaluable or intuitively complete content absent some contextually provided, sufficiently salient relation between antecedent and consequent. (shrink)

This paper is concerned with Sir Peter Strawson’s critical discussion of Paul Grice’s defence of the material implication analysis of conditionals. It argues that although Strawson’s own ‘consequentialist’ suggestion concerning the meaning of conditionals cannot be correct, a related and radically contextualist account is able to both account for the phenomena that motivated Strawson’s consequentialism, and to undermine the material implication analysis by providing a simpler account of the processes that we go through when interpreting conditionals.

I discuss an argument given by Dorothy Edgington for the conclusion that indicative conditionals cannot express propositions. The argument is not effective against Robert Stalnaker's context-dependent propositional theory. I isolate and defend the feature of Stalnaker's theory that allows it to evade the argument.

Most instantiations of the inference ‘y; so if x, y’ seem intuitively odd, a phenomenon known as one of the paradoxes of the material conditional. A common explanation of the oddity, endorsed by Mental Model theory, is based on the intuition that the conclusion of the inference throws away semantic information. We build on this explanation to identify two joint conditions under which the inference becomes acceptable: (a) the truth of x has bearings on the relevance of asserting y; and (...) (b) the speaker can reasonably be expected not to be in a position to assume that x is false. We show that this dual pragmatic criterion makes accurate predictions, and contrast it with the criterion defined by the mental model theory of conditionals, which we show to be inadequate. (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.

Proponents of the projection strategy take an epistemic rule for the evaluation of English conditionals, the Ramsey test, as clue to the truth-conditional semantics of conditionals. They also construe English conditionals as stronger than the material conditional. Given plausible assumptions, however, the Ramsey test induces the semantics of the material conditional. The alleged link between Ramsey test and truth conditions stronger than those of the material conditional can be saved by construing conditionals as ternary, rather than binary, (...) propositional functions with a hidden contextual parameter. But such a ternary construal raises problems of its own. (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.

In this paper, I discuss conditionals as illocutionary speech acts whose interpretation depends upon the whole of the social context in which they are uttered and whose purpose is to affect the opinions and actions of others. I argue for a suppositional approach to conditional statements based in what philosophers call the Ramsey test and developing the psychological theory that conditionals elicit a process of hypothetical thinking in their listeners. By reference to the experimental psychological literature on conditionals, I show (...) that in general conditionals, even ones that are basic or abstract in nature, are not treated as truth-functional or material by ordinary people. Drawing upon the suppositional nature of conditionals and the influence of pragmatic implicature, I discuss uses of conditionals as advice, inducement, persuasions and dissuasion, arguing that speakers use conditionals to try to influence the beliefs and actions of their listeners by shaping their hypothetical thought about possibilities. (shrink)

This note posits a mechanism by which "politeness conditionals" work and relates the mechanism to recent work by Van Canegem-Ardijns (2010, /Journal of Pragmatics/).

Nested conditionals are indeed vexatious. This 'counterexample' to Modus Ponens relies for its apparent integrity on implicit premises in the background, which once disclosed show how and that this is not a counterexample at all. Modus Ponens is perhaps the most straightforward rule of all and has no counterexamples that I am aware of at all.

This paper presents a unified, more-or-less complete, and largely pragmatic theory of indicative conditionals as they occur in natural language, which is entirely truth-functional and does not involve probability. It includes material implication as a special—and the most important—case, but not as the only case. The theory of conditional elements, as we term it, treats if-statements analogously to the more familiar and less controversial other truth-functional compounds, such as conjunction and disjunction.

This article discusses what is sometimes called the third paradox of material implication. Readers choosing to download this piece should please be so kind as to respect the author's wishes and download the published corrigendum as well, which is available via the "other links" tab.

This essay provides an intuitive technique that illustrates why a conditional must be true when the antecedent is false and the consequent is either true or false. Other techniques for explaining the conditional’s truth table are unsatisfactory.

What we want to be true about ordinary indicative conditionals seems to be more than we can possibly get: there just seems to be no good way to assign truth-conditions to ordinary indicative conditionals. Some take this argument as reason to make our wantings more modest. Others take it to show that indicative conditionals don't have truth-conditions in the first place. But we have overlooked two possibilities for assigning truth-conditions to indicatives. What's more, those possibilities deliver what we want and (...) turn out to be equivalent. CiteULike Connotea Del.icio.us Digg Reddit Technorati What's this? (shrink)

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse relations in (...) all cases. (shrink)

We show how the problem of strengthening the antecedent which is both formally valid and yet often intuitively invalid, concessive conditionals, and conditional rhetorical questions fit into the scheme put forth in Fulda (2010, /Acta Analytica/).

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 difference (...) 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)

Robert Stalnaker’s formal semantics for his indicative conditional (which his 1975 paper takes over from his 1968 paper and Stalnaker and Thomason 1968) validate modus ponens, as one might expect. But they do so at the cost of a tension between his philosophical remarks in his 1975 paper and his formal constraints. Stalnaker commits himself to the following: he defines a “context set” as “the possible worlds not ruled out by the presupposed background information” (Stalnaker 1975 p 142). He later (...) states a “pragmatic principle” that “normally a speaker is concerned only with possible worlds within the context set, since this set is defined as the set of possible worlds among which the speaker wishes to distinguish. So it is at least a normal expectation that the selection function should turn first to these worlds before considering counterfactual worlds—those presupposed to be non-actual” (p 144). Then two paragraphs later, in apparent reference to this principle he says “I would expect that the pragmatic principle stated above should hold without exception for indicative conditionals”. Yet when the actual world is not one in which the presuppositions all hold, from his definition of the “context set” it is not among the worlds of the context set, and elsewhere in his 1975 as well as his 1968 he stipulates that the selection function given the actual world and an antecedent true at the actual world yields the actual world (p 144 of Stalnaker 1975, condition 3 on p 104 of Stalnaker 1968). These remarks on the face of it lead to inconsistency if it is possible to presuppose falsehoods: for then the presuppositions create a context set which does not include the actual world (but may perfectly well nevertheless contain some possible worlds in which the antecedent of a given conditional holds when that antecedent is also actually true). In evaluating a conditional with a true antecedent which also holds in some world in the context set, Stalnaker enjoins us to employ a selection function which selects the actual world, and to (“without exception”) employ a selection function which selects some world in the context set in preference to any world outside it.. (shrink)

One very popular kind of semantics for subjunctive conditionals is aclosest-worlds account along the lines of theories given by David Lewisand Robert Stalnaker. If we could give the same sort of semantics forindicative conditionals, we would have a more unified account of themeaning of ``if ... then ...'' statements, one with manyadvantages for explaining the behaviour of conditional sentences. Such atreatment of indicative conditionals, however, has faced a battery ofobjections. This paper outlines a closest-worlds account of indicativeconditionals that does better (...) than some of its cousins in explaining thebehaviour of such conditionals. The paper then discusses objectionsoffered by Dorothy Edgington and Frank Jackson to closest-worldsaccounts of indicative conditionals, and shows that these objections canbe met by the account outlined. (shrink)

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

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker’s framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle—concerning so-called ‘reverse Sobel sequences’—can be resolved by conversation dynamics in a theory-neutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, relies on the interplay (...) between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called “Gibbard phenomenon” for indicative conditionals. (shrink)

It is known that indicative and subjunctive conditionals interact differently with a rigidifying "actually" operator. The paper studies this difference in an abstract setting. It does not assume the framework of possible world semantics, characterizing "actually" instead by the type of logically valid formulas to which it gives rise. It is proved that in a language with such features all sentential contexts that are congruential (in the sense that they preserve logical equivalence) are extensional (in the sense that they preserve (...) material equivalence). For a subjunctive conditional, the natural conclusion to draw is that it is non-congruential. It is much harder to defend the claim that an indicative conditional is non-congruential. The pressure to treat the indicative conditional as truth-functional is correspondingly greater. The implications of these results for attempts to interpret the indicative conditional as an epistemic or doxastic operator are assessed. (shrink)

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.