World Library  
Flag as Inappropriate
Email this Article

Strict implication

Article Id: WHEBN0000663860
Reproduction Date:

Title: Strict implication  
Author: World Heritage Encyclopedia
Language: English
Subject: Index of logic articles
Publisher: World Heritage Encyclopedia

Strict implication

In logic, a strict conditional is a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while \Box (p \rightarrow q) says that p strictly implies q.[1] Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language.[2] They have also been used in studying Molinist theology.[3]

Avoiding paradoxes

The strict conditionals may avoid 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 should clearly be 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 leads to:

Bill Gates graduated in Medicine → Elvis never died.

This formula is true because a formula A → B is true whenever the antecedent A is false. Hence, this formula is not an adequate translation of the original sentence. An encoding using the strict conditional is:

\Box (Bill Gates graduated in Medicine → 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 with consequents that are necessarily true (such as 2 + 2 = 4) or antecedents that are necessarily false.[4] 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 → 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, although it does not seem that the original sentence should be. A similar situation arises with 2 + 2 = 5, which is necessarily false:

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

Some logicians view this situation as indicating that the strict conditional is still unsatisfactory. Others have noted that the strict conditional cannot adequately express counterfactual conditionals,[5] and that it does not satisfy certain logical properties.[6] In particular, the strict conditional is transitive, while the counterfactual conditional is not.[7]

Some logicians, 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 relevance logic to supply a connection between the antecedent and consequent of provable conditionals.

See also



  • 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:

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from National Public Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.