1 Introduction

A renowned exemplification of a fundamental difference between indicative and subjunctiveFootnote 1 conditionals was presented by Adams (1970):Footnote 2

  1. 1.

    If Oswald didn’t shoot Kennedy, then someone else did.

  2. 2.

    If Oswald hadn’t shot Kennedy, then someone else would have.

Despite (supposedly) identical propositional content, intuitively, (1) is true and (2) is false. This was taken by some philosophers (e.g. Lewis 1973; Gibbard 1981; Jackson 1987; Bennett 2003) to demonstrate a logical difference between indicative and subjunctive conditional operators, and is still regarded as a testing instance for every serious cognitive theory of conditionals (Pearl 2013; Kulakova and Nieuwland 2016; Quelhas et al. 2018; Over and Cruz 2019; Edgington 2020).

Two main lines of argumentation against the interpretation via two different conditional operators have emerged since the original example has been launched. Some authors focused on tense, arguing that the consequents of (1) and (2) were not parallel in their tense structure (Lowe 1979; Barker 1998; Dudman 1985; Edgington 2007; Arregui 2007, 2009; Ippolito 2013). According to this analysis, Lewis’ conclusion fails because it rests on the assumption that mood is the only difference between (1) and (2). The main observation here was that the temporal meaning of the construction ‘would have [killed]’ in the consequent of (2) refers to a prolonged period of time and, therefore, does not match the punctual temporal meaning of ‘did [kill]’ in (1). This, in turn, results in different meanings of the consequents and, hence, different types of conditionals, one epistemic and the other predictive (Kaufmann 2005).

The second line of argumentation focused on the appropriateness conditions of indicative and subjunctive conditionals. For instance, according to Stalnaker (1968, 1970, 2009, 2019), both (1) and (2) are true if and only if the world most similar to the actual world in which Oswald did not shoot Kennedy is a world in which Kennedy was nevertheless shot. However, while an utterance of (1) is only appropriate if the antecedent is compatible with common ground, for Stalnaker (1975), an utterance of (2) is not subject to any such constraint. Hence, although in the case of (1) the set of (relevant) worlds is narrowed down to the worlds in which Kennedy was shot, in the case of (2), it includes a world in which Kennedy wasn’t shot at all. As a consequence, (1) is true, whereas (2) is (possibly) false.

The analysis presented in this paper will take a closer look at the antecedents of the Oswald minimal pair. We will argue that diverging foci in the antecedents of (1) and (2) result in different truth-conditions of the conditionals, explaining the difference in truth values between (1) and (2). Although the explanation will incorporate aspects of Stalnaker’s theory of conditionals, it will go beyond Stalnaker’s analysis of the Oswald example on one crucial point. The difference in focus assignments between (1) and (2) will not be explained by a difference in appropriateness conditions between indicative and subjunctive mood. Instead, the diverging foci will stem from pragmatic requirements imposed on the presuppositions of indicative and subjunctive antecedents. This analysis will be further confirmed by extending it to similar examples with ascriptions of hopes and wishes, pointing towards a more clear-cut separation of conditionality and the effect of the Oswald example.

2 The effect of focus

For a start, consider a pair of conditionals in which focusFootnote 3 leads to different truth values, in spite of identical wording. The example was introduced by Dretske (1972) and is meant to be evaluated knowing that only marrying puts Clyde in the position to inherit money (see also Rooth 1985, 1999):

  1. 3.

    If Clyde hadn’t married\(_{F}\) Bertha, he would not have been eligible for inheritance.

  2. 4.

    If Clyde hadn’t married Bertha\(_{F}\), he would not have been eligible for inheritance.

Intuitively, (3) is true, whereas (4) is not. Beaver & Clark (2008, p. 65-6) provide an explanation for this effect, following Rooth’s (1999) discussion of counterfactuals. According to this explanation, the conditional operator has a free variable for an implicit comparison set, i.e. the set of possible worlds under consideration. Beaver & Clark call this the modal base of the counterfactual.Footnote 4 Starting from Lewis’ (1973) and Stalnaker’s (1968) analysis of counterfactual conditionals, Beaver & Clark claim that a counterfactual conditional of the form ‘If A, then B’ is true at a world w if and only if B is true at the world most similar to w, out of the modal base of ‘If A, then B’, at which A is true. Hence, in order to provide an explanation of the difference in truth values between (3) and (4), the modal bases of (3) and (4) have to be different.

Beaver & Clark’s explanation of why the modal bases of (3) and (4) differ proceeds in two steps. First, they point out that counterfactual conditionals are evaluated with respect to a modal base where the presuppositions of the antecedent are satisfied (see, e.g., Heim 1992, p. 204-5, Ippolito 2003), i.e. the modal base consists only of worlds in which the presuppositions of the antecedent are true. In a second step, they go on to show how a difference in focus assignments between (3) and (4) leads to different presuppositions being made with the respective antecedents. For example, they point out that since the antecedent of (4) is a possible answer to the question ‘Who did Clyde marry?’, it typically presupposes that Clyde married someone, requiring the modal base of (4) to satisfy this presupposition.Footnote 5 The antecedent of (3), on the other hand, does not make any such presupposition, since it is a possible answer to the question ‘What did Clyde do to Bertha?’. Hence, unlike the modal base of (4), the modal base of (3) typically includes a world in which Clyde didn’t marry at all and, thus, is not eligible for inheritance.Footnote 6

Dretske’s example can be duplicated in the indicative mood if we accept the assumption that only marrying puts Clyde in the position to inherit money.

  1. 5.

    If Clyde didn’t marry\(_{F}\) Bertha, he was not eligible for inheritance.

  2. 6.

    If Clyde didn’t marry Bertha\(_{F}\), he was not eligible for inheritance.

Again, the antecedent of (5) suggests that Clyde did something else to Bertha than marrying her, whereas the antecedent of (6) assumes that Clyde married someone other than Bertha. Therefore, (5) is (possibly) true, whereas (6) is false. This suggests that in (5) and (6) the same conditional operator is involved as in (3) and (4), referring to an implicit set of possible worlds which, in connection with indicative conditionals, we simply call the comparison set. This is where our account goes beyond Beaver and Clark (2008), Rooth (1985, 1999), and Ogihara (2000, 2013) who discuss focus assignments only in connection with subjunctive conditionals. Starting from Stalnaker’s (1968, 1970, 2009, 2019) analysis of indicative conditionals, we claim that an indicative conditional of the form ‘If A, then B’ is true at a world w if and only if B is true at the world most similar to w, out of the comparison set of ‘If A, then B’, at which A is true. Unlike Stalnaker, we don’t require that in indicative mood the comparison set corresponds to the common ground of the conversation at hand, i.e. the set of worlds that have not already been ruled out by the conversational parties. However, in order to explain the difference in truth values between (5) and (6), the comparison set again has to satisfy the presuppositions of the respective antecedents. Hence, just like the modal base of (4), the comparison set of (6) consists only of worlds in which Clyde married someone, whereas the comparison set of (5) includes a world in which Clyde didn’t marry at all.Footnote 7

According to this analysis of indicative and subjunctive conditionals, the truth-conditions of (3) and (4) correspond to the truth-conditions of (7) and (8), whereas the truth-conditions of (5) and (6) amount to the truth-conditions of (9) and (10).

  1. 7.

    If Clyde had done something else to Bertha than marrying her, he would not have been eligible for inheritance.

  2. 8.

    If Clyde had married someone other than Bertha, he would not have been eligible for inheritance.

  3. 9.

    If Clyde did something else to Bertha than marrying her, he was not eligible for inheritance.

  4. 10.

    If Clyde married someone other than Bertha, he was not eligible for inheritance.

The truth-conditions of the sentences (7)-(10) are then analysed in accordance with a similarity account of indicative and subjunctive conditionals.Footnote 8

These observations are relevant for the Oswald example, since also the antecedents of (1) and (2) allow the introduction of different foci. For the indicative, the possible focus assignments are:

  1. 11.

    If Oswald\(_{F}\) did not shoot Kennedy (but Otto did instead), ...

  2. 12.

    If Oswald did not shoot\(_{F}\) Kennedy (but stabbed him instead), ...

  3. 13.

    If Oswald did not shoot Kennedy\(_{F}\) (but Kennedy’s double instead), ...

  4. 14.

    If Oswald did not shoot Kennedy\(_{F}\) (at all), ...

The content of the consequent of (1) helps to eliminate interpretations (12) and (13): ‘someone else did’ is elliptical for ‘someone else did shoot Kennedy’, maintaining predicate and object. The interpretations (11) and (14) remain.

Labelling (14) broad and (11) narrow focus, we get a \(2 \times 2\) matrix for possible focus assignments for indicative and subjunctive mood, which might be easier to grasp when paraphrased as cleft constructions:

  1. 15.

    Narrow indicative:

    If Oswald\(_{F}\) did not shoot Kennedy, then someone else did.

    If Oswald wasn’t the one who shot Kennedy, ...

  2. 16.

    Broad indicative:

    If Oswald did not shoot Kennedy\(_{F}\), then someone else did.

    If it did not occur that Oswald shot Kennedy, ...

  3. 17.

    Narrow subjunctive:

    If Oswald\(_{F}\) had not shot Kennedy, then someone else would have.

    If Oswald hadn’t been the one who shot Kennedy, ...

  4. 18.

    Broad subjunctive:

    If Oswald had not shot Kennedy\(_{F}\), then someone else would have.

    If it had not occurred that Oswald shot Kennedy, ...

Intuitively, (15) and (17) are true. (16) and (18), on the other hand, both seem to be false. The similarity account presented above can explain this. Since the antecedents of (15) and (17) are possible answers to the question ‘Who shot Kennedy?’, they presuppose that Kennedy was shot, requiring the comparison set/modal base of (15) and (17) to consist only of worlds in which this presupposition is true. The antecedents of (16) and (18), on the other hand, are possible answers to the general question ‘What happened?’, making the very unspecific presupposition that something happened. This is why the comparison set/modal base of (16) and (18) includes worlds in which Kennedy wasn’t shot at all, explaining why (16) and (18) are (possibly) false.

This suggests that, in the Oswald example, the difference between (1) and (2) can be explained with the fact that focus is narrow in the antecedent of (1) and broad in the antecedent of (2). Why so, if both readings are technically viable in both (1) and (2)? This can be explained by pragmatic requirements imposed on the presuppositions of indicative and subjunctive antecedents, together with the conversational context of the Oswald example.

3 The effect of context

According to Stalnaker (1975, p. 277), uttering an indicative conditional ‘If A, then B’ is pragmatically only appropriate if the antecedent is compatible with common ground. If the common ground is the set of possible worlds that have not already been ruled out by the conversational parties, this usually means that the common ground includes a world in which A is true. However, once focus is introduced, Stalnaker’s appropriateness condition requires a further specification. For example, according to the analysis presented in the last section, the truth-conditions of (6) amount to the truth-conditions of (10). Since (10) is only compatible with common ground if it includes a world in which Clyde married someone other than Bertha, the same is true of (6). Hence, in order for (6) to be appropriate, the common ground not only has to include a world in which its antecedent is true. In addition, this world also has to be part of the comparison set of (6), i.e. it has to satisfy the presuppositions made by the antecedent of (6).

Now, since the antecedent of (15) is a possible answer to the question ‘Who shot Kennedy?’, it typically presupposes that somebody shot Kennedy. This means that an utterance of (15) is only appropriate if the common ground includes a world in which somebody other than Oswald shot Kennedy. Although it is certain that Kennedy was shot (we saw videos, we saw pictures), it is less certain whether Oswald was the one who shot him (we didn’t see videos, we didn’t see pictures). This is why the common ground usually includes a world in which somebody other than Oswald shot Kennedy. As a consequence, the narrow scope reading of (1), i.e. (15), is appropriate.

At the same time, the broad scope reading of (1) is pragmatically inappropriate. The antecedent of (16) is a possible answer to the general question ‘What happened?’, making the very unspecific presupposition that something happened. This is why the truth-conditions of (16) amount to the claim: if the event of Oswald’s shooting of Kennedy did not take place, then somebody other than Oswald shot Kennedy. In principle, such a claim is compatible with the common ground of the Oswald example. After all, a world in which somebody other than Oswald shot Kennedy is a world in which Oswald’s shooting of Kennedy did not take place. However, an utterance of (16) would also be appropriate if the common ground included a world in which Kennedy wasn’t shot at all. Since in the Oswald example this amounts to a loss of information, an utterance of (16) would violate Grice’s (1975) Maxim of Quantity, making it pragmatically inappropriate.

Note that an utterance of (15) does not violate the Maxim of Quantity. For example, it has been pointed out that in order for an utterance to be appropriate its presuppositions have to be part of common ground (see, e.g., Karttunen 1974; Stalnaker 1974; Lewis 1979). Hence, since indicative conditionals project the presuppositions of their antecedents (see, e.g., Karttunen 1973), an utterance of (15) requires the common ground to satisfy the presupposition that somebody shot Kennedy. If not already part of common ground, it is implicitly added via presupposition accommodation, a repair mechanism to make sense of otherwise inappropriate utterances.Footnote 9

Let’s have a look at subjunctive mood, i.e. (2). While indicative antecedents have to be compatible with common ground, subjunctive antecedents signal that no such assumption is being made (Isard 1974; Stalnaker 1975; Lyons 1977; Palmer 1986; Iatridou 2000; Schulz 2007, 2014; Starr 2014).Footnote 10 Still, as Gillies (2017) points out, subjunctive conditionals require their antecedents to be compatible with the counterfactual domain/modal base, so that the set of worlds that are counterfactually relevant in the conversation at hand include a world in which the antecedent is true.Footnote 11 In the Oswald example, this requirement is satisfied by both the antecedent of (17) and the antecedent of (18), since the counterfactual domain of the Oswald example typically includes a world in which somebody other than Oswald shot Kennedy. Nevertheless, speakers tend to read (2) as (18).

Unlike indicative conditionals, subjunctive conditionals do not project the presuppositions of their antecedents (Ippolito 2006). ‘If my sister had won the French Open, I would be bragging, too’, for instance, does not presuppose that the speaker has a sister.Footnote 12 It only presupposes that the worlds that are counterfactually relevant are such that the speaker has a sister. Similarly, an utterance of (17) only requires the counterfactual domain to satisfy the presupposition that somebody shot Kennedy. Such a counterfactual domain could be relevant in a context where it is assumed that more than one sniper was involved in Kennedy’s assassination. However, since usually no such assumption is made, speakers tend to read (2) as (18). On this reading, the counterfactual domain typically includes a world in which Kennedy wasn’t shot at all.

4 Oswald explained

Starting from the results of the last two sections, we can now explain the difference between (1) and (2). Since, in the Oswald example, the common ground entails that Kennedy was shot, focus has to be narrow in (1). Therefore, the comparison set of (1) includes only worlds in which somebody shot Kennedy, rendering (1) trivially true. The subjunctive (2), on the other hand, has to be read with broad focus. After all, the counterfactual domain of the Oswald example typically includes a world in which Kennedy wasn’t shot at all. In other words, the difference in truth-conditions between (1) and (2) amounts to the difference in truth-conditions between (19) and (20), undermining an explanation of the Oswald example via two different conditional operators.Footnote 13

  1. 19.

    If somebody other than Oswald shot Kennedy, then somebody other than Oswald shot Kennedy.

  2. 20.

    If the event of Oswald’s shooting of Kennedy had not taken place, then somebody other than Oswald would have shot Kennedy.

The truth-conditions of indicative and subjunctive conditionals are then analysed in accordance with a similarity account of indicative and subjunctive conditionals. This helps to avoid that the broad reading of the indicative (1) comes out as true if Oswald actually shot Kennedy,Footnote 14 which would otherwise lead to a variant of the Oswald example using only the broad readings of (1) and (2). After all, the broad reading of (2), i.e. (18), seems to be false.Footnote 15

Note that, unlike Stalnaker’s explanation of the Oswald example, the present analysis does not explain the difference in truth values between (1) and (2) with a difference in appropriateness conditions between indicative and subjunctive conditionals. After all, none of the possible readings of (1) and (2) are found to be inappropriate by these adequacy constraints. As a result, the analysis presented in this paper does not identify the comparison set of indicative mood with common ground. Instead, the present explanation suggests a uniform analysis of indicative and subjunctive conditionals, according to which the comparison set/modal base implicitly referred to by the conditional operator is consistently restricted by the presuppositions of the respective antecedents. These presuppositions, in turn, are subject to pragmatic constraints imposed by common ground and counterfactual domain.

Besides its uniformity, this analysis has the advantage that the truth-conditions of indicative conditionals are independent of the common ground, avoiding some of the main problems of Stalnaker’s account. For example, the sensitivity to common ground of the proposition expressed by an indicative conditional is somewhat unnatural, since we usually distinguish between the content of what is said and the different epistemic attitudes speakers may take to that same content. Hence, if speakers who are agnostic about the conditional ‘If Mary isn’t home, Peter is’ discover that Mary or Peter is home and, thus, start to accept the conditional, we would say that the speakers now believe what they were first agnostic about.

Over (2020) and Over & Cruz (under review) have argued that (2) can “collapse” to (1) when we find that the antecedent of (2) is true. In this case, our confidence in (2) seems to increase, and it arguably becomes equivalent to (1). According to the explanation presented in this paper, this means that when we find that the antecedent of (2) is true, we tend to read (2) as (17), i.e. with focus on ‘Oswald’. The reason for this seems to be that even if speakers find out that Oswald didn’t shoot Kennedy, they still believe that Kennedy was shot, making it more likely to evaluate (2) with respect to a counterfactual domain that satisfies the presupposition that Kennedy’s assassination took place. In other words, if Oswald wasn’t responsible for Kennedy’s assassination, counterfactual scenarios in which Kennedy wasn’t shot at all become less relevant when evaluating (2).

The details of the present analysis of the Oswald example do not necessarily have to be worked out within a similarity account of indicative and subjunctive conditionals. The main thesis of this paper is that the difference in truth values between (1) and (2) has to be explained by a difference in focus assignments, stemming from pragmatic requirements imposed on the presuppositions of indicative and subjunctive antecedents. These diverging foci lead to a difference in truth-conditions between (1) and (2) in line with the difference in truth-conditions between (19) and (20). However, in order to avoid that the broad reading of the indicative (1) comes out as true if Oswald actually shot Kennedy, we have to reject the classic truth-conditions of indicative conditionals, according to which an indicative conditional is true if its antecedent is false. The similarity account of indicative and subjunctive conditionals presented in Sect. 2 is just one way to spell this out.

5 Further examples

Using the mechanism described in the last sections, sentence pairs similar to the Oswald example can be constructed. What is required is an antecedent comprising an ambiguity in focus which can be resolved fully (but differently for indicative and subjunctive mood) by relying on the pragmatic requirements imposed on the presuppositions made by the respective antecedents, actual world knowledge, and relevance, combined with a consequent that is sensitive to the emerging context shift. One has already been introduced by Bennett (2003):

  1. 21.

    If Shakespeare did not write Hamlet, then some aristocrat did.

  2. 22.

    If Shakespeare had not written Hamlet, then some aristocrat would have.

Intuitively, indicative (21) is true and subjunctive (22) is false. The existence of a piece of literature called Hamlet is certain, yet it can be doubted that it was Shakespeare who wrote it (see, e.g., Hackett 2009, p. 167). Therefore, in the indicative, focus has to be established on ‘Shakespeare’. In the subjunctive, on the other hand, focus has to be broad, since the counterfactual domain typically includes a world in which Hamlet hasn’t been written at all. Hence, the difference in truth value between (21) and (22) can again be explained with a difference in focus assignments, resulting in different truth-conditions of the respective conditionals.

Another example is:

  1. 23.

    If the asteroids did not extinguish the dinosaurs, then something else did.

  2. 24.

    If the asteroids had not extinguished the dinosaurs, then something else would have.

Again, intuitively, indicative (23) is true, whereas subjunctive (24) might be false. The dinosaurs are most certainly extinct, yet it is not certain that asteroids caused their unfortunate condition. Therefore, in (23), focus has to be narrow, whereas in (24) the more common reading is the one with broad scope, considering a counterfactual domain that leaves open whether the dinosaurs were extinguished at all.Footnote 16

Finally, the present explanation also works for the following variant of the Oswald example, which was first discussed by Adams (1970), where (25) is false and (26) is possibly true.

  1. 25.

    If Oswald didn’t shoot Kennedy, then nobody else did.

  2. 26.

    If Oswald hadn’t shot Kennedy, then nobody else would have.

Again, this can be explained with the fact that focus is narrow in (25) and broad in (26).

  1. 27.

    If Oswald\(_{F}\) didn’t shoot Kennedy, then nobody else did.

  2. 28.

    If Oswald hadn’t shot Kennedy\(_{F}\), then nobody else would have.

Just like the antecedent of (15), the antecedent of (27) is a possible answer to the question ‘Who shot Kennedy?’, presupposing that somebody shot Kennedy. The antecedent of (28), on the other hand, makes no such presupposition, which is why its modal base includes worlds in which Kennedy wasn’t shot at all.

Arguably, the Oswald example represents a rare case, while in most indicative/subjunctive sentence pairs no intuitive difference in truth-values arises. Prominent cases are conditionals that express causal relations, for instance:Footnote 17

  1. 29.

    If the litmus paper turned red, then the substance was an acid.

  2. 30.

    If the litmus paper had turned red, then the substance would have been an acid.

This is in line with our proposal. First, in the present example, focus does not even affect the truth values of (29) and (30). Although ‘The litmus paper turned red\(_{F}\)’ is a possible answer to the question ‘Which colour did the litmus paper turn to?’, it logically entails that the litmus paper turned to a certain colour, rather than presupposing it. Hence, different foci in the antecedents of (29) and (30) would not lead to (29) and (30) being evaluated with respect to different sets of possible worlds.

The case is different if the antecedent is a negation.

  1. 31.

    If the litmus paper didn’t turn red, then the substance wasn’t an acid.

  2. 32.

    If the litmus paper hadn’t turned red, then the substance wouldn’t have been an acid.

In (31) and (32), different foci would lead to a difference in truth-conditions, since they would affect the presuppositions made by the respective antecedents. Nevertheless, we have strong intuitions that both (31) and (32) are true. According to the analysis presented in this paper, this can be explained with the fact that speakers tend to read both (31) and (32) with focus on ‘red’. After all, what is usually under discussion when testing whether something is an acid is the colour of the litmus paper.

6 Beyond conditionals

Since the effect of the original Oswald example primarily stems from an interplay of focus, mood, and conversational context in the interpretation of the antecedent, the question is whether it is replicable outside of conditionals. Iatridou (2000) showed that counterfactual wishes behave most similar to counterfactual conditionals in respect to tense, aspect, and mood. Thus, ‘to wish’ can be used to express the desire of some state or event in the past that was never realised (Meinunger 2007). Such event is implied to be false and therefore has to be expressed in subjunctive mood and past tense. On the contrary, ‘to hope’ conveys an ignorant attitude towards the ontological status of the proposition it introduces and is used in combination with indicative mood, similar to the antecedent of an indicative conditional. This allows us to replicate the original Oswald example, as (33) and (34) seem to ascribe different attitudes to the speaker.

  1. 33.

    I hope that Oswald did not shoot Kennedy.

    #In that case nobody (else) did.

  2. 34.

    I wish that Oswald had not shot Kennedy.

    In that case nobody (else) would have.

We think that the difference between (33) and (34) can again be explained with a difference in focus assignments, stemming from pragmatic requirements imposed on the presuppositions of the embedded sentences. This would further confirm our explanation of the original Oswald example and question a semantic difference between the mental attitude verbs ‘to hope’ and ‘to wish’. For instance, Radford and Hinton (1970) argue that hopes and wishes are closely related through being desires.

Just like in (1) and (2), the following foci can be assigned in (33) and (34):

  1. 35.

    Narrow indicative:

    I hope that Oswald\(_{F}\) did not shoot Kennedy.

    (I hope that Oswald wasn’t the one who shot Kennedy.)

    #In that case nobody (else) did.

  2. 36.

    Broad indicative:

    I hope that Oswald did not shoot Kennedy\(_{F}\).

    (I hope it did not occur that Oswald shot Kennedy.)

    In that case nobody (else) did.

  3. 37.

    Narrow subjunctive:

    I wish that Oswald\(_{F}\) had not shot Kennedy.

    (I wish that Oswald hadn’t been the one who shot Kennedy.)

    #In that case nobody (else) would have.

  4. 38.

    Broad subjunctive:

    I wish that Oswald had not shot Kennedy\(_{F}\).

    (I wish it had not occurred that Oswald shot Kennedy.)

    In that case nobody (else) would have.

Again, similar attitudes are expressed once focus is either broad or narrow in both (33) and (34), suggesting an intuitive reading with a narrow focus in (33) and a broad one in (34).

This difference in focus assignments can be explained with the fact that while a sentence of the form ‘I wish that p’ only requires that the presuppositions of the embedded sentence are satisfied by the counterfactual domain, in a sentence of the form ‘I hope that p’ the presuppositions of the embedded sentence project and, thus, have to be satisfied by common ground. For example, an utterance of ‘I hope my sister did win the French Open’ presupposes that the speaker has a sister, whereas an utterance of ‘I wish my sister had won the French Open’ does not. Hence, since it is a reliable part of common knowledge that somebody shot Kennedy, the narrow reading of the indicative (33) is appropriate, whereas the broad reading would again violate Grice’s Maxim of Quantity. In the subjunctive (34), on the other hand, focus has to be broad, since the counterfactual domain of the Oswald example typically includes a world in which Kennedy wasn’t shot at all.Footnote 18

Starting from the presented analysis of indicative and subjunctive conditionals, we can then explain the difference between (33) and (34) by claiming that both the wish and the hope operator have a free variable for an implicit set of possible worlds which has to satisfy the presuppositions of the embedded sentence. Intuitively, in the case of ‘to wish’ and ‘to hope’, the set of possible worlds represents the ascribed wish/hope, consisting of the worlds in which it is true/satisfied. Since, unlike the embedded sentence of (38), the embedded sentence of (35) presupposes that somebody shot Kennedy, the hope ascribed by (35) consists only of worlds in which Kennedy was shot. The wish ascribed by (38), on the other hand, includes worlds in which Kennedy wasn’t shot at all, making it appropriate to respond with an utterance of ‘In that case nobody (else) would have’.

7 Conclusion

The present analysis showed that the antecedents of the original Oswald example are more complex than it has been noticed before: both the indicative and the subjunctive antecedent introduce focus differences, resulting in different truth-conditions of the respective conditionals. This observation implies the inadequacy of a commonly employed interpretation of the antecedents of (1) and (2), according to which they express one and the same proposition. This casts additional doubt that different conditional operators bring about the differing truth values. The truth value effect of the example should instead be regarded as a result of different foci in (1) and (2), stemming from pragmatic requirements imposed on the presuppositions of indicative and subjunctive antecedents. This analysis was further supported by replicating the original Oswald example inside and outside of conditionals. The latter also points toward a more clear-cut separation of conditionality and the effect of the Oswald example.

The present analysis raises several relevant questions for further research. First, it might be interesting to flesh out the implications a focus-sensitive approach has for the validity of inferences involving conditionals, such as modus ponens. For instance, according to the present account of indicative conditionals,

  1. 1.

    If Oswald didn’t shoot Kennedy, then somebody other than Oswald shot Kennedy.

  2. 2.

    Oswald didn’t shoot Kennedy.

    \(\therefore \) Somebody other than Oswald shot Kennedy.

is not valid if in premise 1 focus is on ‘Oswald’, independent of whether premise 2 and the antecedent of premise 1 have matching foci. The reason for this is that in negations such as ‘Oswald didn’t shoot Kennedy’ focus does not affect truth-conditions, but only gives rise to certain pragmatic implications (Beaver and Clark 2008, p. 49). Accordingly, ‘Oswald\(_{F}\) didn’t shoot Kennedy’ only pragmatically implies that somebody shot Kennedy. This is indicated by the fact that the implication is cancellable, i.e. an utterance of ‘Oswald\(_{F}\) didn’t shoot Kennedy’ can coherently be followed by an utterance of ‘In fact, Kennedy wasn’t shot at all’. As a result, ‘Oswald\(_{F}\) didn’t shoot Kennedy’ isn’t logically equivalent to the antecedent of the narrow scope reading of premise 1, i.e. the antecedent of (19), which is why the above inference is not valid if in premise 1 focus is on ‘Oswald’. Nevertheless, rational speakers can infer its conclusion if also premise 2 is read with narrow focus. After all, rational speakers can calculate the pragmatic implication of ‘Oswald\(_{F}\) didn’t shoot Kennedy’, i.e. that somebody shot Kennedy.Footnote 19 Something very similar holds for subjunctive conditionals. However, working out the details of both a logic for indicative and subjunctive conditionals and a theory of conditional reasoning, starting from the present explanation of the Oswald example, has to be left for future work.