Indicative conditional


An indicative conditional is a natural-language conditional sentence used to talk about what may actually be the case, as in: "If Leona is at home, she isn't in Paris." Indicatives are commonly contrasted with counterfactual conditionals, which typically bear special grammatical marking and are used to discuss ways things might have been but are not.
Indicative conditionals are central in philosophy of language, philosophical logic what semantic value, if any, such conditionals have; how their contribution composes with surrounding material; and how competing accounts explain observed patterns of assertion, reasoning, and embedding. Prominent proposals include truth-functional analyses, pragmatics-augmented accounts, probabilistic approaches, possible-worlds semantics, and restrictor treatments of if.

Scope and classification

Many authors reserve "indicative" for conditionals whose matrix clause is in the indicative mood, in contrast to counterfactuals. Others argue that some "future-open" indicatives pattern more like counterfactuals. Despite disagreements in classification, there is broad consensus that everyday "if A, B" claims used to guide belief and action are a distinctive target for theory.

Competing theories

Material conditional and its limitations

Early formal work identified natural-language indicatives with the truth-functional material conditional: "If A then B" is false only in the case A ∧ ¬B and otherwise true. This analysis validates familiar inferences, but faces well-known "paradoxes of material implication": with a true consequent or false antecedent, any "if A, B" comes out true—even when A and B are intuitively unrelated.

Gricean and assertability responses

A classic response keeps the material truth conditions but explains everyday resistance via pragmatics: speakers are expected to make the strongest, most informative appropriate assertion; when one knows ¬A, asserting "If A, B" can be true yet misleading. Others supplement material truth with special rules of assertability keyed to how robustly one would continue to accept B upon learning A. Critics argue that many tensions arise at the level of belief and probability, not merely assertion norms.

Suppositional / probabilistic theories

The Ramsey test holds that to assess "if A, B" one should suppose A and then evaluate B under that supposition. Developed by Ernest W. Adams, the suppositional view takes the degree of belief in "if A, B" to be P and offers a probabilistic account of valid inference. This explains why many everyday inferences can be risky, and why rules like strengthening the antecedent and transitivity often fail in practice.
A challenge for propositional semantics is Lewis's "triviality" results: in general there is no proposition ⟦A⇒B⟧ whose probability always equals P. This pressures the idea that indicative conditionals are standard truth-evaluable propositions with classical truth conditions.

Possible-worlds and strict-style accounts

Robert Stalnaker proposed that "if A, B" is true at a world w just in case B holds at the contextually nearest ''A-world to w''; for indicatives, conversational context constrains which worlds count as live possibilities. Such accounts vindicate many Adams-style patterns but face issues about similarity metrics, uniqueness of nearest worlds, and probabilistic judgments. Context-dependent strict conditional views and the influential "if as a restrictor of modals" approach treat if not as a binary connective but as narrowing the domain of a modal/quantifier; "bare" conditionals are often analyzed as containing an unpronounced epistemic necessity operator.

Dynamic, multidimensional, and related semantics

To reconcile probabilistic behavior with compositional embedding, several frameworks treat conditionals as non-classical contents. One line models "if A, B" as a three-valued or random-variable-like object whose expectation equals P; another represents conditionals via ordered pairs/tuples of worlds encoding both the actual state and the "potential A-state," enabling truth conditions for many embeddings while preserving the P link.

Embedding and notable problems

Indicatives embedded under negation, disjunction, or in antecedents raise hard questions for all theories. Vann McGee's "election" example challenges modus ponens for certain nested indicatives if their readings shift across embeddings; different frameworks diagnose the phenomenon differently.

Heuristics vs. semantics

Some authors separate our fast, reliable-enough heuristics for evaluating conditionals from their underlying "semantic" treatment. Tensions remain because material truth values often overstate the probability of conditionals with unlikely antecedents + P·P.

Psychology of reasoning

Experimental work on indicatives, causal conditionals and counterfactuals finds robust endorsement of modus ponens; rates for modus tollens are variable and context-sensitive, improving under causal or counterfactual formulations and with enriched background knowledge. Probabilistic accounts have been argued to align closely with observed reasoning patterns, especially where participants condition on the antecedent and assess the likelihood of the consequent.