- Indicative conditional
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.,
For a related problem, see
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
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
* 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