Strict conditional: Difference between revisions

Revision as of 07:05, 14 January 2012

Revision as of 07:07, 14 January 2012

Line 4:

==Avoiding paradoxes==

The strict conditional avoids 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 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 leadleads to:

: Bill Gates graduated in Medicine <math>\rightarrow</math> Elvis never died.