Editing Counterfactual conditional

{{Short description|Conditionals that discuss what would have been if things were otherwise}}
{{Redirect|Counterfactual}}

'''Counterfactual conditionals''' (also ''contrafactual'', ''subjunctive'' or ''X-marked'') are [[conditional sentence]]s which discuss what would have been true under different circumstances, e.g. <!-- this is example is from Iatridou (2000), ex (47c) on p. 244 --> "If Peter believed in ghosts, he would be afraid to be here." Counterfactuals are contrasted with [[indicative conditionals|indicatives]], which are generally restricted to discussing open possibilities. Counterfactuals are characterized grammatically by their use of [[Counterfactual conditional#Fake tense|fake tense morphology]], which some languages use in combination with other kinds of [[Morphology (linguistics)|morphology]] including [[grammatical aspect|aspect]] and [[grammatical mood|mood]].

Counterfactuals are one of the most studied phenomena in [[philosophical logic]], [[formal semantics (natural language)|formal semantics]], and [[philosophy of language]]. They were first discussed as a problem for the [[material conditional]] analysis of conditionals, which treats them all as trivially true. Starting in the 1960s, philosophers and linguists developed the now-classic [[possible world]] approach, in which a counterfactual's truth hinges on its consequent holding at certain possible worlds where its antecedent holds. More recent formal analyses have treated them using tools such as [[causal model]]s and [[dynamic semantics]]. Other research has addressed their metaphysical, psychological, and grammatical underpinnings, while applying some of the resultant insights to fields including history, marketing, and epidemiology.

{{TOC limit|3}}

==Overview==

=== Examples ===

An example of the difference between [[indicative conditional|indicative]] and counterfactual conditionals is the following [[English language|English]] [[minimal pair]]:

* '''Indicative conditional''': If Sally ''owns'' a donkey, then she ''rides'' it. 
* '''Simple past counterfactual''': If Sally ''owned'' a donkey, she ''would ride'' it.<ref>{{cite journal |last1=von Prince |first1=Kilu |date=2019 |title=Counterfactuality and past |url=https://link.springer.com/content/pdf/10.1007/s10988-019-09259-6.pdf |journal=Linguistics and Philosophy |volume=42 |issue=6|pages=577–615 |doi=10.1007/s10988-019-09259-6 |s2cid=181778834 |doi-access=free }}</ref><ref>{{cite thesis |last=Karawani |first=Hadil |date=2014 |title=The Real, the Fake, and the Fake Fake in Counterfactual Conditionals, Crosslinguistically |page=186 |publisher=Universiteit van Amsterdam |url=https://pure.uva.nl/ws/files/1695453/142017_thesis.pdf}}</ref><ref name="Linguistic Society of America">{{cite conference |url=https://journals.linguisticsociety.org/proceedings/index.php/SALT/article/view/27.547 |title=Fake Perfect in X-Marked Conditionals |last1=Schulz |first1=Katrin |date=2017 |publisher=Linguistic Society of America |book-title=Proceedings from Semantics and Linguistic Theory. |pages=547–570 |conference= Semantics and Linguistic Theory.|doi=10.3765/salt.v27i0.4149|doi-access=free }}</ref><ref>{{cite book |last1=Huddleston |first1=Rodney | last2=Pullum |first2=Geoff |date=2002 |title= The Cambridge Grammar of the English Language |publisher=Cambridge University Press |isbn=978-0521431460|pages=85–86}}</ref>

These conditionals differ in both form and meaning. The indicative conditional uses the present tense form "owns" and therefore conveys that the speaker is agnostic about whether Sally in fact owns a donkey. The counterfactual example uses the [[fake tense]] form "owned" in the "if" clause and the past-inflected [[modal verb|modal]] "would" in the "then" clause. As a result, it conveys that Sally does not in fact own a donkey. English has several other grammatical forms whose meanings are sometimes included under the umbrella of counterfactuality. One is the [[pluperfect|past perfect]] counterfactual, which contrasts with indicatives and simple past counterfactuals in its use of pluperfect morphology:<ref>{{cite book |last1=Huddleston |first1=Rodney | last2=Pullum |first2=Geoff |date=2002 |title= The Cambridge Grammar of the English Language |publisher=Cambridge University Press |page=150 |isbn=978-0521431460}}</ref>

* '''Past perfect counterfactual''': If it ''had been raining'' yesterday, then Sally ''would have been'' inside.

Another kind of conditional uses the form "were", generally referred to as the ''[[irrealis]]'' or subjunctive form.<ref>There is no standard system of terminology for these grammatical forms in English. Pullum and Huddleston (2002, pp. 85-86) adopt the term "irrealis" for this morphological form, reserving the term "subjunctive" for the English clause type whose distribution more closely parallels that of morphological subjunctives in languages that have such a form.</ref>

* '''''Irrealis'' counterfactual''': If it ''were raining'' right now, then Sally ''would be'' inside.

Past perfect and irrealis counterfactuals can undergo ''conditional inversion'':<ref>{{cite encyclopedia |last1=Bhatt |first1=Rajesh|last2=Pancheva|first2=Roumyana |editor-last1=Everaert |editor-first1=Martin|editor2-link=Henk van Riemsdijk | editor-last2=van Riemsdijk |editor-first2=Henk |encyclopedia= |title=The Wiley Blackwell Companion to Syntax |url=https://people.umass.edu/bhatt/papers/bhatt-pancheva-cond.pdf |year=2006 |publisher=Wiley Blackwell |doi=10.1002/9780470996591.ch16}}</ref>

* Had it rained, Sally would have been inside.
* Were it raining, Sally would be inside.

=== Terminology ===
<!-- Given the vast but often subtle differences in terminology, this section has to be edited with a lot of care.  Before clicking "publish changes", please consider whether the resulting text will help a reader understand how these terms are used. If the resulting text reads like a "is a hotdog a sandwich debate?" with all the character cues removed, please don't click "publish changes". In particular, please be sure to (1) clearly distinguish factual claims from definitions of terms (2) remember that different sources may use a single term in different ways (3) situate each term or usage of a term by giving a framework-neutral explanation of how it is used.-->
The term ''counterfactual conditional'' is widely used as an umbrella term for the kinds of sentences shown above. However, not all conditionals of this sort express contrary-to-fact meanings. For instance, the classic example known as the "Anderson Case" has the characteristic grammatical form of a counterfactual conditional, but does not convey that its antecedent is false or unlikely.<ref name = "vonfintel98" >{{cite encyclopedia |last1=von Fintel |first1=Kai |editor-last1=Sauerland |editor-first1=Uli |editor-last2=Percus |editor-first2=Oren |encyclopedia=The Interpretive Tract |title=The Presupposition of Subjunctive Conditionals |year=1998 |publisher=Cambridge University Press |pages=29–44|url=http://web.mit.edu/fintel/fintel-1998-subjunctive.pdf}}</ref><ref name="Conditionals">{{cite encyclopedia |last1=Egré |first1=Paul | last2=Cozic |first2=Mikaël |editor-last1=Aloni |editor-first1=Maria|editor1-link=Maria Aloni |editor-last2=Dekker |editor-first2=Paul |encyclopedia=Cambridge Handbook of Formal Semantics |title=Conditionals |year=2016 |publisher=Cambridge University Press |isbn=978-1-107-02839-5 |pages=515}}</ref>
* '''Anderson Case''': If Jones had taken arsenic, he would have shown just exactly those symptoms which he does in fact show.<ref>{{cite journal |last1=Anderson |first1=Alan |date=1951 |title=A Note on Subjunctive and Counterfactual Conditionals |journal=Analysis |volume=12 |issue = 2|pages=35–38|doi=10.1093/analys/12.2.35 }}</ref>

Such conditionals are also widely referred to as ''subjunctive conditionals'', though this term is likewise acknowledged as a misnomer even by those who use it.<ref>See for instance [https://pdfs.semanticscholar.org/e68d/612d7a93c98956e7314e0d131d90244c31f2.pdf Ippolito (2002)]: "Because ''subjunctive'' and ''indicative'' are the terms used in the philosophical literature on conditionals and because we will refer to that literature in the course of this paper, I have decided to keep these terms in the present discussion... however, it would be wrong to believe that mood choice is a necessary component of the semantic contrast between indicative and subjunctive conditionals." Also, [http://web.mit.edu/fintel/fintel-2011-hsk-conditionals.pdf von Fintel (2011)] "The terminology is of course linguistically inept ([since] the morphological marking is one of tense and aspect, not of indicative vs. subjunctive mood), but it is so deeply entrenched that it would be foolish not to use it."</ref> Many languages do not have a morphological [[subjunctive]] (e.g. [[Danish grammar|Danish]] and [[Dutch grammar|Dutch]]) and many that do have it do not use it for this sort of conditional (e.g. [[French grammar|French]], [[Swahili grammar|Swahili]], all [[Indo-Aryan languages]] that have a subjunctive). Moreover, languages that do use the subjunctive for such conditionals only do so if they have a specific past subjunctive form. Thus, subjunctive marking is neither necessary nor sufficient for membership in this class of conditionals.<ref>{{cite journal |last1=Iatridou |first1=Sabine |date=2000 |title=The grammatical ingredients of counterfactuality |journal= Linguistic Inquiry  |volume=31 |issue = 2|pages=231–270|doi=10.1162/002438900554352 |s2cid=57570935 |url=http://lingphil.mit.edu/papers/iatridou/counterfactuality.pdf}}</ref><ref>{{cite journal |last1= Kaufmann |first1= Stefan |s2cid= 60598513 |date=2005 |title=Conditional predictions |journal= Linguistics and Philosophy |volume=28 |issue = 2|doi= 10.1007/s10988-005-3731-9 |at=183-184}}</ref><ref name="Conditionals"/>

The terms ''counterfactual'' and ''subjunctive'' have sometimes been repurposed for more specific uses. For instance, the term "counterfactual" is sometimes applied to conditionals that express a contrary-to-fact meaning, regardless of their grammatical structure.<ref name = "lewis73" >{{cite book |last=Lewis |first=David |date=1973 |title= Counterfactuals |location=Cambridge, MA |publisher=Harvard University Press|isbn= 9780631224952}}</ref><ref name = "vonfintel98" /> Along similar lines, the term "subjunctive" is sometimes used to refer to conditionals that bear fake past or irrealis marking, regardless of the meaning they convey.<ref name = "lewis73" /><ref>{{cite journal |last1=Khoo |first1=Justin |date=2015 |title=On Indicative and Subjunctive Conditionals |url=https://quod.lib.umich.edu/cgi/p/pod/dod-idx/on-indicative-and-subjunctive-conditionals.pdf?c=phimp;idno=3521354.0015.032;format=pdf |journal=Philosophers' Imprint |volume=15 |issue=32}}</ref>

Recently the term ''X-Marked'' has been proposed as a replacement, evoking the ''ex''tra marking that these conditionals bear. Those adopting this terminology refer to indicative conditionals as ''O-Marked'' conditionals, reflecting their {{not a typo|''o''rdinary}} marking.<ref>von Fintel, Kai; Iatridou, Sabine. [http://web.mit.edu/fintel/fintel-iatridou-2019-x-slides.pdf Prolegomena to a theory of X-marking ] Unpublished lecture slides.</ref><ref>von Fintel, Kai; Iatridou, Sabine. [https://web.mit.edu/fintel/ks-x-phlip-slides.pdf X-marked desires or: What wanting and wishing crosslinguistically can tell us about the ingredients of counterfactuality ] Unpublished lecture slides.</ref><ref name="Linguistic Society of America"/>

The ''antecedent'' of a conditional is sometimes referred to as its ''"if"-clause'' or ''protasis''. The ''consequent'' of a conditional is sometimes referred to as a ''"then"''-clause or as an apodosis.

==Logic and semantics==

Counterfactuals were first discussed by [[Nelson Goodman]] as a problem for the [[material conditional]] used in [[classical logic]]. Because of these problems, early work such as that of [[W.V. Quine]] held that counterfactuals are not strictly logical, and do not make true or false claims about the world. However, in the 1960s and 1970s, work by [[Robert Stalnaker]] and [[David Lewis (philosopher)|David Lewis]] showed that these problems are surmountable given an appropriate [[intension]]al logical framework. Work since then in [[formal semantics (linguistics)|formal semantics]], [[philosophical logic]], [[philosophy of language]], and [[cognitive science]] has built on this insight, taking it in a variety of different directions.<ref name="Counterfactuals">{{cite encyclopedia |last1=Starr |first1=Will |editor-last1=Zalta |editor-first1=Edward N.|encyclopedia=The Stanford Encyclopedia of Philosophy|title=Counterfactuals|year=2019 |url=https://plato.stanford.edu/archives/fall2019/entries/counterfactuals}}</ref>

===Classic puzzles===

====The problem of counterfactuals====

According to the [[material conditional]] analysis, a natural language conditional, a statement of the form "if P then Q", is true whenever its antecedent, P, is false. Since counterfactual conditionals are those whose antecedents are false, this analysis would wrongly predict that all counterfactuals are vacuously true. Goodman illustrates this point using the following pair in a context where it is understood that the piece of butter under discussion had not been heated.<ref name="jstor.org">Goodman, N., "[https://www.jstor.org/stable/2019988 The Problem of Counterfactual Conditionals]", ''The Journal of Philosophy'', Vol. 44, No. 5, (27 February 1947), pp. 113–28.</ref> 
# If that piece of butter had been heated to 150°, it would have melted.
# If that piece of butter had been heated to 150°, it would not have melted.

More generally, such examples show that counterfactuals are not truth-functional. In other words, knowing whether the antecedent and consequent are actually true is not sufficient to determine whether the counterfactual itself is true.<ref name="Counterfactuals"/>

====Context dependence and vagueness====

Counterfactuals are ''context dependent'' and ''[[vague]]''. For example, either of the following statements can be reasonably held true, though not at the same time:<ref>{{Cite journal |last=Lewis |first=David |date=1979 |title=Counterfactual dependence and time's arrow |journal=Noûs |volume=13 |issue=4 |pages=455–476 |doi=10.2307/2215339 |jstor=2215339 |s2cid=53585654 |quote=Counterfactuals are infected with vagueness, as everyone agrees.}}</ref>

# If [[Julius Caesar|Caesar]] had been in command in Korea, he would have [[Korean War#U.S. threat of atomic warfare|used the atom bomb]].
# If Caesar had been in command in Korea, he would have used catapults.

====Non-monotonicity====

Counterfactuals are ''non-monotonic'' in the sense that their truth values can be changed by adding extra material to their antecedents. This fact is illustrated by ''[[Jordan Howard Sobel|Sobel sequences]]'' such as the following:<ref name="jstor.org"/><ref>{{cite journal |last1=Lewis |first1=David |date=1973 |title= Counterfactuals and Comparative Possibility |journal=Journal of Philosophical Logic |volume=2 |issue=4 |doi=10.2307/2215339|jstor=2215339 }}</ref><ref>{{cite book |last=Lewis |first=David |date=1973 |title= Counterfactuals |location=Cambridge, MA |publisher=Harvard University Press|isbn= 9780631224952}}</ref>

# If Hannah had drunk coffee, she would be happy.
# If Hannah had drunk coffee and the coffee had gasoline in it, she would be sad.
# If Hannah had drunk coffee and the coffee had gasoline in it and Hannah were a gasoline-drinking robot, she would be happy.

One way of formalizing this fact is to say that the principle of ''Antecedent Strengthening'' should '''not''' hold for any connective > intended as a formalization of natural language conditionals.

* '''Antecedent Strengthening''': <math> P > Q \models (P \land R) > Q </math>

=== Possible worlds accounts ===

The most common logical accounts of counterfactuals are couched in the [[possible world semantics]]. Broadly speaking, these approaches have in common that they treat a counterfactual ''A'' > ''B'' as true if ''B'' holds across some set of possible worlds where A is true. They vary mainly in how they identify the set of relevant A-worlds.

[[David Lewis (philosopher)|David Lewis]]'s ''variably strict conditional'' is considered the classic analysis within philosophy. The closely related ''premise semantics'' proposed by [[Angelika Kratzer]] is often taken as the standard within linguistics. However, there are numerous possible worlds approaches on the market, including [[dynamic semantics|dynamic]] variants of the ''strict conditional'' analysis originally dismissed by Lewis.

====Strict conditional====

The [[strict conditional]] analysis treats natural language counterfactuals as being equivalent to the [[modal logic]] formula <math>\Box(P \rightarrow Q)</math>. In this formula, <math>\Box</math> expresses necessity and <math>\rightarrow</math> is understood as [[material conditional|material implication]]. This approach was first proposed in 1912 by [[C.I. Lewis]] as part of his [[Axiomatic system|axiomatic approach]] to modal logic.<ref name="Counterfactuals"/> In modern [[relational semantics]], this means that the strict conditional is true at ''w'' iff the corresponding material conditional is true throughout the worlds accessible from ''w''. More formally:

* Given a model <math>M = \langle W,R,V \rangle</math>, we have that <math> M,w \models \Box(P \rightarrow Q) </math> iff <math>M, v \models P \rightarrow Q </math> for all <math>v</math> such that <math>Rwv</math>

Unlike the material conditional, the strict conditional is not vacuously true when its antecedent is false. To see why, observe that both <math>P</math> and <math>\Box(P \rightarrow Q)</math> will be false at <math>w</math> if there is some accessible world <math>v</math> where <math>P</math> is true and <math>Q</math> is not. The strict conditional is also context-dependent, at least when given a relational semantics (or something similar). In the relational framework, accessibility relations are parameters of evaluation which encode the range of possibilities which are treated as "live" in the context. Since the truth of a strict conditional can depend on the accessibility relation used to evaluate it, this feature of the strict conditional can be used to capture context-dependence.

The strict conditional analysis encounters many known problems, notably monotonicity. In the classical relational framework, when using a standard notion of entailment, the strict conditional is monotonic, i.e. it validates ''Antecedent Strengthening''. To see why, observe that if <math>P \rightarrow Q</math> holds at every world accessible from <math>w</math>, the monotonicity of the material conditional guarantees that <math>P \land R \rightarrow Q</math> will be too. Thus, we will have that <math> \Box(P \rightarrow Q) \models \Box(P \land R \rightarrow Q) </math>.

This fact led to widespread abandonment of the strict conditional, in particular in favor of Lewis's [[counterfactual conditional#Variably strict conditional|variably strict analysis]]. However, subsequent work has revived the strict conditional analysis by appealing to context sensitivity. This approach was pioneered by Warmbrōd (1981), who argued that ''Sobel sequences'' do not demand a ''non-monotonic'' logic, but in fact can rather be explained by speakers switching to more permissive accessibility relations as the sequence proceeds. In his system, a counterfactual like "If Hannah had drunk coffee, she would be happy" would normally be evaluated using a model where Hannah's coffee is gasoline-free in all accessible worlds. If this same model were used to evaluate a subsequent utterance of "If Hannah had drunk coffee and the coffee had gasoline in it...", this second conditional would come out as trivially true, since there are no accessible worlds where its antecedent holds. Warmbrōd's idea was that speakers will switch to a model with a more permissive accessibility relation in order to avoid this triviality.

Subsequent work by Kai von Fintel (2001), Thony Gillies (2007), and Malte Willer (2019) has formalized this idea in the framework of [[dynamic semantics]], and given a number of linguistic arguments in favor. One argument is that conditional antecedents license [[Polarity item#Determination of licensing contexts|negative polarity items]], which are thought to be licensed only by monotonic operators.

# If Hannah had drunk any coffee, she would be happy.

Another argument in favor of the strict conditional comes from [[Irene Heim|Irene Heim's]] observation that Sobel Sequences are generally [[Felicity (pragmatics)|infelicitous]] (i.e. sound strange) in reverse.

# If Hannah had drunk coffee with gasoline in it, she would not be happy. But if she had drunk coffee, she would be happy.

Sarah Moss (2012) and Karen Lewis (2018) have responded to these arguments, showing that a version of the variably strict analysis can account for these patterns, and arguing that such an account is preferable since it can also account for apparent exceptions. As of 2020, this debate continues in the literature, with accounts such as Willer (2019) arguing that a strict conditional account can cover these exceptions as well.<ref name="Counterfactuals"/>

====Variably strict conditional====

In the variably strict approach, the semantics of a conditional ''A'' > ''B'' is given by some function on the relative closeness of worlds where A is true and B is true, on the one hand, and worlds where A is true but B is not, on the other.

On Lewis's account, A > C is (a) vacuously true if and only if there are no worlds where A is true (for example, if A is logically or metaphysically impossible); (b) non-vacuously true if and only if, among the worlds where A is true, some worlds where C is true are closer to the actual world than any world where C is not true; or (c) false otherwise. Although in Lewis's ''Counterfactuals'' it was unclear what he meant by 'closeness', in later writings, Lewis made it clear that he did ''not'' intend the metric of 'closeness' to be simply our ordinary notion of [[Similarity (philosophy)#Respective and overall similarity|overall similarity]].

Example:
:If he had eaten more at breakfast, he would not have been hungry at 11 am.
On Lewis's account, the truth of this statement consists in the fact that, among possible worlds where he ate more for breakfast, there is at least one world where he is not hungry at 11 am and which is closer to our world than any world where he ate more for breakfast but is still hungry at 11 am.

Stalnaker's account differs from Lewis's most notably in his acceptance of the ''limit'' and ''uniqueness assumptions''. The uniqueness assumption is the thesis that, for any antecedent A, among the possible worlds where A is true, there is a single (''unique'') one that is ''closest'' to the actual world. The limit assumption is the thesis that, for a given antecedent A, if there is a chain of possible worlds where A is true, each closer to the actual world than its predecessor, then the chain has a ''limit'': a possible world where A is true that is closer to the actual worlds than all worlds in the chain. (The uniqueness assumption [[logical consequence|entails]] the limit assumption, but the limit assumption does not entail the uniqueness assumption.) On Stalnaker's account, A > C is non-vacuously true if and only if, at the closest world where A is true, C is true. So, the above example is true just in case at the single, closest world where he ate more breakfast, he does not feel hungry at 11 am. Although it is controversial, Lewis rejected the limit assumption (and therefore the uniqueness assumption) because it rules out the possibility that there might be worlds that get closer and closer to the actual world without limit. For example, there might be an infinite series of worlds, each with a coffee cup a smaller fraction of an inch to the left of its actual position, but none of which is uniquely the closest. (See Lewis 1973: 20.)

One consequence of Stalnaker's acceptance of the uniqueness assumption is that, if the [[law of excluded middle]] is true, then all instances of the formula (A > C) ∨ (A > ¬C) are true. The law of excluded middle is the thesis that for all propositions p, p ∨ ¬p is true. If the uniqueness assumption is true, then for every antecedent A, there is a uniquely closest world where A is true. If the law of excluded middle is true, any consequent C is either true or false at that world where A is true. So for every counterfactual A > C, either A > C or A > ¬C is true. This is called conditional excluded middle (CEM). Example:

:(1) If the fair coin had been flipped, it would have landed heads.
:(2) If the fair coin had been flipped, it would have landed tails (i.e. not heads).
On Stalnaker's analysis, there is a closest world where the fair coin mentioned in (1) and (2) is flipped and at that world either it lands heads or it lands tails. So either (1) is true and (2) is false or (1) is false and (2) true. On Lewis's analysis, however, both (1) and (2) are false, for the worlds where the fair coin lands heads are no more or less close than the worlds where they land tails. For Lewis, "If the coin had been flipped, it would have landed heads or tails" is true, but this does not entail that "If the coin had been flipped, it would have landed heads, or: If the coin had been flipped it would have landed tails."

=== Other accounts ===

====Causal models====

{{Further|Causal model#Counterfactuals}}

{{Expand section|date=September 2020}}

The ''causal models framework'' analyzes counterfactuals in terms of systems of [[structural equation model|structural equations]]. In a system of equations, each variable is assigned a value that is an explicit function of other variables in the system. Given such a model, the sentence "''Y'' would be ''y'' had ''X'' been ''x''" (formally, ''X = x'' > ''Y = y'' ) is defined as the assertion: If we replace the equation currently determining ''X'' with a constant ''X = x'', and solve the set of equations for variable ''Y'', the solution obtained will be ''Y = y''. This definition has been shown to be compatible with the axioms of possible world semantics and forms the basis for causal inference in the natural and social sciences, since each structural equation in those domains corresponds to a familiar causal mechanism that can be meaningfully reasoned about by investigators. This approach was developed by [[Judea Pearl]] (2000) as a means of encoding fine-grained intuitions about causal relations which are difficult to capture in other proposed systems.<ref name="Pearl2000">{{Cite book |last=Pearl |first=Judea |title=Causality |publisher=Cambridge University Press |year=2000 }}</ref>

====Belief revision====

{{Further|Belief revision#The Ramsey test}}
{{Expand section|date=September 2020}}

In the [[belief revision]] framework, counterfactuals are treated using a formal implementation of the ''Ramsey test''. In these systems, a counterfactual ''A'' > ''B'' holds if and only if the addition of ''A'' to the current body of knowledge has ''B'' as a consequence. This condition relates counterfactual conditionals to [[belief revision]], as the evaluation of ''A'' > ''B'' can be done by first revising the current knowledge with ''A'' and then checking whether ''B'' is true in what results.  Revising is easy when ''A'' is consistent with the current beliefs, but can be hard otherwise. Every semantics for belief revision can be used for evaluating conditional statements.  Conversely, every method for evaluating conditionals can be seen as a way for performing revision.

====Ginsberg====

Ginsberg (1986) has proposed a semantics for conditionals which assumes that the current beliefs form a set of [[propositional formula]]e, considering the maximal sets of these formulae that are consistent with ''A'', and adding ''A'' to each. The rationale is that each of these maximal sets represents a possible state of belief in which ''A'' is true that is as similar as possible to the original one. The conditional statement ''A'' > ''B'' therefore holds if and only if ''B'' is true in all such sets.<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 | volume=30 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH | doi=10.1016/0004-3702(86)90067-6 |zbl=0655.03011 | last1=Ginsberg | first1=Matthew L. | s2cid=241535532 |doi-access=free }}.</ref>

== The grammar of counterfactuality ==
 
Languages use different strategies for expressing counterfactuality. Some have a dedicated counterfactual [[morphemes]], while others recruit morphemes which otherwise express [[grammatical tense|tense]], [[grammatical aspect|aspect]], [[grammatical mood|mood]], or a combination thereof. Since the early 2000s, linguists, philosophers of language, and philosophical logicians have intensely studied the nature of this grammatical marking, and it continues to be an active area of study.

=== Fake tense ===

==== Description ====
In many languages, counterfactuality is marked by [[past tense]] morphology.<ref name = "palmer">{{cite book |last=Palmer |first=Frank Robert |date=1986 |title=Mood and modality |publisher= Cambridge University Press}}</ref> Since these uses of the past tense do not convey their typical temporal meaning, they are called ''fake past'' or ''fake tense''.<ref name = "ingredients">{{cite journal |last1=Iatridou |first1=Sabine |date=2000 |title=The grammatical ingredients of counterfactuality |journal= Linguistic Inquiry |volume=31 |issue = 2 |pages=231–270 |doi=10.1162/002438900554352 |s2cid=57570935 |url=http://lingphil.mit.edu/papers/iatridou/counterfactuality.pdf}}</ref><ref name="portner">{{cite book |last=Portner |first=Paul |date=2009 |title=Modality |publisher= Oxford University Press |isbn=978-0199292424}}</ref><ref name = "prolegomena">von Fintel, Kai; Iatridou, Sabine (2020). [https://semanticsarchive.net/Archive/zdjYTJjY/fintel-iatridou-2020-x.pdf Prolegomena to a Theory of X-Marking] {{Webarchive |url=https://web.archive.org/web/20200715025503/https://semanticsarchive.net/Archive/zdjYTJjY/fintel-iatridou-2020-x.pdf |date=2020-07-15 }}. ''Manuscript''.</ref>  English is one language which uses fake past to mark counterfactuality, as shown in the following [[minimal pair]].<ref>English fake past is sometimes erroneously referred to as "subjunctive", even though it is not the [[English subjunctive|subjunctive mood]].</ref> In the indicative example, the bolded words are present tense forms. In the counterfactual example, both words take their past tense form. This use of the past tense cannot have its ordinary temporal meaning, since it can be used with the adverb "tomorrow" without creating a contradiction.<ref name = palmer /><ref name = "ingredients"/><ref name="portner"/><ref name = "prolegomena"/>
# Indicative: If Natalia '''leaves''' tomorrow, she '''will''' arrive on time.
# Counterfactual: If Natalia '''left''' tomorrow, she '''would''' arrive on time.

[[Hebrew language|Modern Hebrew]] is another language where counterfactuality is marked with a fake past morpheme:<ref name="karawani">{{cite thesis |last=Karawani |first=Hadil |date=2014 |title=The Real, the Fake, and the Fake Fake in Counterfactual Conditionals, Crosslinguistically |publisher=Universiteit van Amsterdam |url=https://pure.uva.nl/ws/files/1695453/142017_thesis.pdf}}</ref>

{{interlinear |lang=he |indent=3
| im Dani '''haya''' ba-bayit {maχa ɾ} '''hayinu''' mevakRim oto
| if Dani be.'''PST'''.3S.M in-home tomorrow be.'''PST'''.1PL visit.PTC.PL he.ACC
| "If Dani had been home tomorrow, we would've visited him."
}}

[[Palestinian Arabic]] is another:<ref name="karawani" />

{{interlinear |lang=apc |indent=3
| iza '''kaan''' fi l-bet bukra kunna '''zurna'''-a
| if be.'''PST'''.3S.M in the-house tomorrow be.PST.1PL visit.'''PST'''.PFV.1PL-him
| "If he had been home tomorrow, we would've visited him."
}}

Fake past is extremely prevalent cross-linguistically, either on its own or in combination with other morphemes. Moreover, [[theoretical linguistics|theoretical linguists]] and [[philosophy of language|philosophers of language]] have argued that other languages' strategies for marking counterfactuality are actually [[Realization (linguistics)|realizations]] of fake tense along with other morphemes. For this reason, fake tense has often been treated as the locus of the counterfactual meaning itself.<ref name="ingredients" /><ref name ="bjorkmanhalpert" >{{cite conference |url=http://www.bronwynbjorkman.net/assets/papers/Halpert%20&%20Bjorkman%20(2012)%20In%20search%20of%20(im)perfection%20[NELS42].pdf |title= In search of (im)perfection: the illusion of counterfactual aspect |first1=Bronwyn |last1=Bjorkman |first2=Claire |last2=Halpert |year=2013 |conference=NELS | editor1-last=Keine | editor1-first=Stefan | editor2-last=Sloggett | editor2-first=Shayne |volume=42 |book-title=Proceedings of NELS 42 |publisher=UMass Amherst GLSA }}</ref>

==== Formal analyses ====

In [[formal semantics (linguistics)|formal semantics]] and [[philosophical logic]], fake past is regarded as a puzzle, since it is not obvious why so many unrelated languages would repurpose a tense [[morpheme]] to mark counterfactuality. Proposed solutions to this puzzle divide into two camps: ''past as modal'' and ''past as past''. These approaches differ in whether or not they take the past tense's core meaning to be about time.<ref name="schulz14">{{cite journal |last1=Schulz |first1=Katrin |date=2014 |title=Fake tense in conditional sentences: A modal approach. |journal= Natural Language Semantics  |volume=22 |issue=2|pages=117–144 |doi=10.1007/s11050-013-9102-0 |s2cid=32680902 }}</ref><ref>{{cite encyclopedia |last1=Starr |first1=Will |editor-last1=Zalta |editor-first1=Edward N.|encyclopedia=The Stanford Encyclopedia of Philosophy|title=Supplement to "Counterfactuals": Indicative and Subjunctive Conditionals|year=2019 |url=https://plato.stanford.edu/entries/counterfactuals/conditionals.html}}</ref>

In the ''past as modal approach'', the [[denotation]] of the past tense is not fundamentally about time. Rather, it is an [[underspecification|underspecified]] skeleton which can apply either to [[modality (natural language)|modal]] or temporal content.<ref name="ingredients" /><ref name="schulz14" /><ref name="mackay19">{{cite journal |last1=Mackay |first1=John |date=2019 |title= Modal interpretation of tense in subjunctive conditionals |url=https://semprag.org/index.php/sp/article/view/sp.12.2 |journal= Semantics and Pragmatics |volume=12 |issue=2|pages=1–29 |doi=10.3765/sp.12.2 |doi-access=free }}</ref> For instance, the particular past as modal proposal of Iatridou (2000), the past tense's core meaning is what is shown schematically below:

# The [[topic (linguistics)|topic]] ''x'' is not the contextually-provided ''x''

Depending on how this denotation [[compositionality|composes]], ''x'' can be a time interval or a [[possible world]]. When ''x'' is a time, the past tense will convey that the sentence is talking about non-current times, i.e. the past. When ''x'' is a world, it will convey that the sentence is talking about a potentially non-actual possibility. The latter is what allows for a counterfactual meaning.

The ''past as past approach'' treats the past tense as having an inherently temporal denotation. On this approach, so-called fake tense is not actually fake. It differs from "real" tense only in how it takes [[scope (formal semantics)|scope]], i.e. which component of the sentence's meaning is shifted to an earlier time. When a sentence has "real" past marking, it discusses something that happened at an earlier time; when a sentence has so-called fake past marking, it discusses possibilities that were [[accessibility relation|accessible]] at an earlier time but may no longer be.<ref>{{cite journal |last1=Arregui |first1=Ana |date=2007 |title= When aspect matters: the case of would-conditionals |journal= Natural Language Semantics |volume=15 |issue=3 |pages=221–264 |doi=10.1007/s11050-007-9019-6 |s2cid=121835633 }}</ref><ref>{{cite journal |last1=Ippolito |first1=Michela |date=2003 |title= Presuppositions and implicatures in counterfactuals |journal= Natural Language Semantics |volume=11 |issue=2 |pages=145–186 |doi=10.1023/A:1024411924818 |s2cid=118149259 }}</ref><ref>{{cite journal |last1=Khoo |first1=Justin |date=2015 |title= On Indicative And Subjunctive Conditionals |url=https://quod.lib.umich.edu/cgi/p/pod/dod-idx/on-indicative-and-subjunctive-conditionals.pdf?c=phimp;idno=3521354.0015.032;format=pdf |journal=Philosophers' Imprint |volume=15}}</ref>

=== Fake aspect ===

''Fake [[grammatical aspect|aspect]]'' often accompanies fake tense in languages that mark aspect. In some languages (e.g. [[Modern Greek]], [[Zulu language|Zulu]], and the [[Romance languages]]) this fake aspect is [[imperfective aspect|imperfective]]. In other languages (e.g. [[Palestinian Arabic]]) it is [[perfective aspect|perfective]]. However, in other languages including [[Russian language|Russian]] and [[Polish language|Polish]], counterfactuals can have either perfective or imperfective aspect.<ref name="bjorkmanhalpert" />

Fake imperfective aspect is demonstrated by the two [[Modern Greek]] sentences below. These examples form a [[minimal pair]], since they are identical except that the first uses past imperfective marking where the second uses past perfective marking. As a result of this morphological difference, the first has a counterfactual meaning, while the second does not.<ref name="ingredients" />

{{interlinear
| lang = el
| indent = 3|An eperne afto to siropi θa γinotan kala|if take.'''PST.IPFV''' this {} syrup FUT become.'''PST.IPFV''' well|'If he took this syrup, he would get better'
}}
{{interlinear
| lang = el
| indent = 3|An ipχe afto to siropi θa eγine kala|if take.'''PST.PFV''' this {} syrup FUT become.'''PST.PFV''' well|"If he took this syrup, he must be better."
}}

This imperfective marking has been argued to be fake on the grounds that it is compatible with ''completive adverbials'' such as "in one month":<ref name="ingredients" />

{{interlinear |lang=el |indent=3
| An eχtizes to spiti (mesa) se ena mina θa prolavenes na to pulisis prin to kalokeri
| if build.'''IPFV''' the house {} in one month FUT have-time-enough.'''IPFV''' to it sell before the summer
| "If you built this house in a month, you would be able to sell it before the summer."
}}

In ordinary non-conditional sentences, such adverbials are compatible with perfective aspect but not with imperfective aspect:<ref name="ingredients" />

{{interlinear |lang=el |indent=3
| Eχtise afto to spiti (mesa) se ena mina
| build.'''PFV''' this {} house in {} one month
| "She built this house in one month."
}}
{{interlinear |lang=el |indent=3
| * Eχtize afto to spiti (mesa) se ena mina
| {} build.'''IPFV''' this {} house in {} one month
| "She was building this house in one month."
}}

==Psychology==
People engage in [[counterfactual thinking]] frequently. Experimental evidence indicates that people's thoughts about counterfactual conditionals differ in important ways from their thoughts about indicative conditionals.

===Comprehension===
Participants in experiments were asked to read sentences, including counterfactual conditionals, e.g., "If Mark had left home early, he would have caught the train". Afterwards, they were asked to identify which sentences they had been shown. They often mistakenly believed they had been shown sentences corresponding to the presupposed facts, e.g., "Mark did not leave home early" and "Mark did not catch the train".<ref name="fillenbaum">{{Cite journal |last=Fillenbaum |first=Samuel |date=1974 |title=Information amplified: Memory for counterfactual conditionals |journal=Journal of Experimental Psychology |volume=102 |issue=1 |pages=44–49 |doi=10.1037/h0035693}}</ref> In other experiments, participants were asked to read short stories that contained counterfactual conditionals, e.g., "If there had been roses in the flower shop then there would have been lilies". Later in the story, they read sentences corresponding to the presupposed facts, e.g., "there were no roses and there were no lilies". The counterfactual conditional [[Priming (psychology)|primed]] them to read the sentence corresponding to the presupposed facts very rapidly; no such priming effect occurred for indicative conditionals.<ref>{{Cite journal |last1=Santamaría |first1=Carlos |last2=Espino |first2=Orlando |last3=Byrne |first3=Ruth M. J. |date=2005 |title=Counterfactual and Semifactual Conditionals Prime Alternative Possibilities |url=http://www.academia.edu/download/49405843/Counterfactual_and_semifactual_condition20161006-14835-7v9cpw.pdf |journal=Journal of Experimental Psychology: Learning, Memory, and Cognition |volume=31 |issue=5 |pages=1149–1154 |doi=10.1037/0278-7393.31.5.1149|pmid=16248757 }}{{dead link|date=July 2022|bot=medic}}{{cbignore|bot=medic}}</ref> They spent different amounts of time 'updating' a story that contains a counterfactual conditional compared to one that contains factual information<ref>{{Cite journal |last1=De Vega |first1=Manuel |last2=Urrutia |first2=Mabel |last3=Riffo |first3=Bernardo |s2cid=26161334 |date=2007 |title=Canceling updating in the comprehension of counterfactuals embedded in narratives |url=https://link.springer.com/content/pdf/10.3758/BF03193611.pdf |journal=Memory & Cognition |volume=35 |issue=6 |pages=1410–1421 |doi=10.3758/BF03193611|pmid=18035637 |doi-access=free }}</ref> and focused on different parts of counterfactual conditionals.<ref>{{Cite journal |last1=Ferguson |first1=Heather |last2=Sanford |first2=Anthony |date=2008 |title=Anomalies in real and counterfactual worlds: An eye-movement investigation |url=https://kar.kent.ac.uk/23060/1/count_ET_paper_final.pdf |journal=Journal of Memory and Language |volume=58 |issue=3 |pages=609–626 |doi=10.1016/j.jml.2007.06.007}}</ref>

===Reasoning===
{{Main articles|Counterfactual thinking}}
Experiments have compared the inferences people make from counterfactual conditionals and indicative conditionals. Given a counterfactual conditional, e.g., "If there had been a circle on the blackboard then there would have been a triangle", and the subsequent information "in fact there was no triangle", participants make the [[modus tollens]] inference "there was no circle" more often than they do from an indicative conditional.<ref>{{Cite journal |last1=Byrne |first1=Ruth M. J. |last2=Tasso |first2=Alessandra |year=1999 |title=Deductive reasoning with factual, possible, and counterfactual conditionals |journal=Memory & Cognition |volume=27 |issue=4 |pages=726–740 |doi=10.3758/BF03211565 |pmid=10479830 |doi-access=free|hdl=2262/39510 |hdl-access=free }}</ref> Given the counterfactual conditional and the subsequent information "in fact there was a circle", participants make the [[modus ponens]] inference as often as they do from an indicative conditional.

===Psychological accounts===
[[Ruth M. J. Byrne|Byrne]] argues that people construct [[mental representation]]s that encompass two possibilities when they understand, and reason from, a counterfactual conditional, e.g., "if Oswald had not shot Kennedy, then someone else would have". They envisage the conjecture "Oswald did not shoot Kennedy and someone else did" and they also think about the presupposed facts "Oswald did shoot Kennedy and someone else did not".<ref>{{Cite book |last=Byrne |first=Ruth M. J. |title=The Rational Imagination |year=2005 |isbn=9780262269629 |doi=10.7551/mitpress/5756.001.0001}}</ref> According to the [[mental model theory of reasoning]], they construct [[mental models]] of the alternative possibilities.<ref>{{Cite book |last1=Johnson-Laird |first1=Philip Nicholas |url=https://books.google.com/books?id=ZQPFQgAACAAJ |title=Deduction. |last2=Byrne |first2=Ruth M. J. |year=1991 |publisher=Erlbaum |isbn=9780863771491}}</ref>

==See also==
{{Portal|Philosophy}}
{{div col|colwidth=30em}}
* [[Alvin Goldman]]
* [[Angelika Kratzer]]
* [[Causality]]
* [[Conditional sentence]]
* [[David Lewis (philosopher)]]
* [[Import-Export (logic)|Import-Export]]
* [[Indicative conditional]]
* [[Sabine Iatridou]]
* [[Modal logic]]
* [[Robert Nozick]]
* [[Similarity (philosophy)]]
* [[Simplification of disjunctive antecedents]]
{{div col end}}

==Footnotes==
{{Reflist|30em}}

==References==

* {{Cite book |last=Bennett |first=Jonathan |year=2003 |title=A Philosophical Guide to Conditionals |doi=10.1093/0199258872.001.0001 |isbn=9780199258871}}
* {{Cite book |last1=Morgan |first1=Stephen L. |title=Counterfactuals and Causal Inference |last2=Winship |first2=Christopher |year=2007 |isbn=9780511804564 |doi=10.1017/CBO9780511804564}}
* {{Cite journal |last=Ginsberg |first=Matthew L. |year=1986 |title=Counterfactuals |journal=Artificial Intelligence |volume=30 |pages=35–79 |doi=10.1016/0004-3702(86)90067-6|s2cid=241535532 |doi-access=free }}
* {{Cite journal |last=Kożuchowski |first=Adam |s2cid=143617647 |year=2015 |title=More than true: The rhetorical function of counterfactuals in historiography |journal=Rethinking History |volume=19 |issue=3 |pages=337–356 |doi=10.1080/13642529.2014.893663}}
* {{Cite book |last=Judea Pearl |url=https://archive.org/details/causalitymodelsr0000pear |title=Causality: Models, Reasoning, and Inference |publisher=[[Cambridge University Press]] |year=2000 |isbn=978-0-521-77362-1 |author-link=Judea Pearl |url-access=registration}}
* {{Cite journal |last1=Thompson |first1=Valerie A. |last2=Byrne |first2=Ruth M. J. |year=2002 |title=Reasoning counterfactually: Making inferences about things that didn't happen |journal=Journal of Experimental Psychology: Learning, Memory, and Cognition |volume=28 |issue=6 |pages=1154–1170 |doi=10.1037/0278-7393.28.6.1154|pmid=12450339 }}

{{Formal semantics}}
{{Authority control}}

[[Category:Conditionals in linguistics]]
[[Category:Grammar]]
[[Category:Semantics]]
[[Category:Belief revision]]
[[Category:Thought experiments]]
[[Category:Linguistic modality]]
[[Category:Formal semantics (natural language)]]
[[Category:Possible world]]