Indicative conditional
An indicative conditional is a natural-language conditional sentence (an "if" 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 (e.g., "would have") and are used to discuss ways things might have been but are not. Indicative conditionals are central in philosophy of language, philosophical logic (especially conditional logic), and linguistics.