Strict conditional

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 that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals. Such a conditional would, for example, avoid the paradoxes of material implication. The following statement, for example, is not correctly formalized by material implication.

: If Bill Gates had graduated in Medicine, then Elvis never died.

This condition is clearly false: the degree of Bill Gates has nothing to do with whether Elvis is still alive. However, the direct encoding of this formula in classical logic using material implication lead to:

: Bill Gates graduated in Medicine ightarrow Elvis never died.

This formula is true because a formula A ightarrow B is true whenever the antecedent A is false. Hence, this formula is not an adequate translation of the original sentence. Strict conditions are encodings of implications in modal logic attempting A different encoding is:

: Box (Bill Gates graduated in Medicine ightarrow Elvis never died.)

In modal logic, this formula means (roughly) that, in every possible world in which Bill Gates graduated in Medicine, Elvis never died. Since one can easily imagine a world where Bill Gates is a Medicine graduate and Elvis is dead, this formula is false. Hence, this formula seems a correct translation of the original sentence.

Although the strict conditional is much closer to being able to express natural language conditionals than the material conditional, it has its own problems. The following sentence, for example, is not correctly formalized by a strict conditional:

: If Bill Gates graduated in Medicine, then 2 + 2 = 4.

Using strict conditionals, this sentence is expressed as:

: Box (Bill Gates graduated in Medicine ightarrow 2 + 2 = 4)

In modal logic, this formula means that, in every possible world where Bill Gates graduated in medicine, it holds that 2 + 2 = 4. Since 2 + 2 is equal to 4 in all possible worlds, this formula is true. While it is clearly not the case that 2 + 2 = 4 if Bill Gates graduated in medicine, the corresponding strict material statement is true.

To avoid the paradoxes of strict implication, some logicians have created counterfactual conditionals. Others, such as Paul Grice, have used conversational implicature to argue that, despite apparent difficulties, the material conditional is just fine as a translation for the natural language 'if...then...'. Others still have turned to relevant logic to supply a connection between the antecedent and consequent of provable conditionals.

In logic, the corresponding conditional of an argument (or derivation) is a logical implication whose antecedent is the conjunction of the argument's (or derivation's) premises and whose consequent is the argument's conclusion. An argument is valid if and only if its corresponding conditional is a necessary truth. It follows that an argument is valid if and only if the negation of its corresponding conditional is a contradiction.

Example

Consider the following argument,

# Socrates is alive (A) or dead (D).
# Socrates is not alive (not A).
# Therefore, Socrates is dead (D).

This argument's corresponding conditional may be stated as a conjunction of the premises that implies the conclusion,

:(A lor D) land lnot A o D

External links

* [http://www.swif.uniba.it/lei/foldop/foldoc.cgi?corresponding+conditional Corresponding conditional from the Free On-line Dictionary of Computing]

ee also

* Counterfactual conditional
* Indicative conditional
* Material conditional
* Logical implication

References

*Edgington, Dorothy, 2001, "Conditionals," in Goble, Lou, ed., "The Blackwell Guide to Philosophical Logic". Blackwell.For an introduction to non-classical logic as an attempt to find a better translation of the conditional, see:
*Priest, Graham, 2001. "An Introduction to Non-Classical Logic". Cambridge Univ. Press.For an extended philosophical discussion of the issues mentioned in this article, see:
*Mark Sainsbury, 2001. "Logical Forms". Blackwell Publishers.
*Jonathan Bennett, 2003. "A Philosophical Guide to Conditionals". Oxford Univ. Press.


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

  • strict implication — noun A material implication that is acted upon by the necessity operator from modal logic. Syn: strict conditional Ant: material implication …   Wiktionary

  • Conditional (programming) — Conditional statement redirects here. For the general concept in logic, see Material conditional. In computer science, conditional statements, conditional expressions and conditional constructs are features of a programming language which perform …   Wikipedia

  • Conditional budgeting — is a budgeting approach designed for companies with fluctuating income, high fixed costs, or income depending on sunk costs, as well as NPOs and NGOs. The approach builds on the strengths of proven budgeting approaches, leverages the respective… …   Wikipedia

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

  • conditional — Any proposition of the form ‘if p then q ’. The condition hypothesized, p, is called the antecedent of the conditional, and q the consequent. Various kinds of conditional have been distinguished. The weakest is that of material implication,… …   Philosophy dictionary

  • 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

  • List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …   Wikipedia

  • List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… …   Wikipedia

  • Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC …   Wikipedia

Share the article and excerpts

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