Indicative conditional


In natural languages, an indicative conditional is the logical operation given by statements of the form "If A then B". Unlike the material conditional, an indicative conditional does not have a stipulated definition. The philosophical literature on this operation is broad, and no clear consensus has been reached.

Distinctions from the material conditional

The material conditional does not always function in accordance with everyday if-then reasoning. Therefore there are drawbacks with using the material conditional to represent if-then statements.
One problem is that the material conditional allows implications to be true even when the antecedent is irrelevant to the consequent. For example, it's commonly accepted that the sun is made of plasma, on one hand, and that 3 is a prime number, on the other. The standard definition of implication allows us to conclude that, if the sun is made of plasma, then 3 is a prime number. This is arguably synonymous to the following: the sun's being made of plasma renders 3 a prime number. Many people intuitively think that this is false, because the sun and the number three simply have nothing to do with one another. Logicians have tried to address this concern by developing alternative logics, e.g., relevance logic.
For a related problem, see vacuous truth.
Another issue is that the material conditional is not designed to deal with counterfactuals and other cases that people often find in if-then reasoning. This has inspired people to develop modal logic.
A further problem is that the material conditional is such that → Q, regardless of what Q is taken to mean. That is, a contradiction implies that absolutely everything is true. Logicians concerned with this have developed paraconsistent logics.
The mentioned theories are not exclusive.

Psychology

Most behavioral experiments on conditionals in the psychology of reasoning have been carried out with indicative conditionals, causal conditionals, and counterfactual conditionals. People readily make the modus ponens inference, that is, given if A then B, and given A, they conclude B, but only about half of participants in experiments make the modus tollens inference, that is, given if A then B, and given not-B, only about half of participants conclude not-A, the remainder say that nothing follows. When participants are given counterfactual conditionals, they make both the modus ponens and the modus tollens inferences.