Indicative conditional


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.

Discrepancies between the material conditional and the indicative 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 gas, on one hand, and that 3 is a prime number, on the other. The standard definition of implication allows us to conclude that, since the sun is made of gas, 3 is a prime number. This is arguably synonymous to the following: the sun's being made of gas makes 3 be 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, i.e., relevant 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 P AND ¬P → Q, regardless of what Q is taken to mean. That is, a contradiction implies that absolutely everything is true. Logicians concerned with this have tried to develop paraconsistent logics.

See also

* Material conditional
* Counterfactual conditional
* Logical implication

References

* Edgington, Dorothy. (2006). "Conditionals". "The Stanford Encyclopedia of Philosophy", Edward Zalta (ed.). http://plato.stanford.edu/entries/conditionals/ http://plato.stanford.edu/entries/conditionals/.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Conditional — may refer to: Causal conditional, if X then Y, where X is a cause of Y Conditional mood (or conditional tense), a verb form in many languages Conditional probability, the probability of an event A given that another event B has occurred… …   Wikipedia

  • Conditional sentence — For the non custodial punishment for a crime in Canada, see conditional sentence (Canada). In grammar, conditional sentences are sentences discussing factual implications or hypothetical situations and their consequences. Languages use a variety… …   Wikipedia

  • Conditional mood — In linguistics, the conditional mood (abbreviated cond) is the inflectional form of the verb used in the independent clause of a conditional sentence to refer to a hypothetical state of affairs, or an uncertain event, that is contingent on… …   Wikipedia

  • Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity …   Wikipedia

  • Conditional perfect — In linguistics, the conditional perfect is the composed (compound) form of the conditional mood. It refers to a hypothetical action in the past, contingent on something else that did not occur in the past. The difference from the present form of… …   Wikipedia

  • indicative — The standard mood of sentences intended to make assertions or deliver information; it is contrasted with imperative, hortative (‘would we were free!’), and sometimes conditional moods …   Philosophy dictionary

  • indicative — Synonyms and related words: Christophanic, Satanophanic, absolute, adducible, admissible, allegorical, allusive, allusory, angelophanic, appearing, associational, attestative, attestive, augural, authentic, based on, certain, characteristic,… …   Moby Thesaurus

  • Counterfactual conditional — For other uses, see Counterfactual (disambiguation). A counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated cf, is a conditional (or if then ) statement indicating what would be the case if its antecedent were… …   Wikipedia

  • Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… …   Wikipedia

  • Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.