Editing Indicative conditional (section)

{{Short description|"If A then B" sentence where A may be true}}
In [[natural language]]s, an '''indicative conditional''' is a [[conditional sentence]] such as "If Leona is at home, she isn't in Paris", whose grammatical form restricts it to discussing what could be true. Indicatives are typically defined in opposition to [[counterfactual conditional]]s, which have extra grammatical marking which allows them to discuss eventualities which are no longer possible.

Indicatives are a major topic of research in [[philosophy of language]], [[philosophical logic]], and [[linguistics]]. Open questions include which [[logical connective|logical operation]] indicatives denote, how such denotations could be [[compositionality|composed]] from their grammatical form, and the implications of those denotations for areas including [[metaphysics]], [[psychology of reasoning]], and [[philosophy of mathematics]].