more from this thinker | more from this text
Full Idea
The paradoxes of material implication are P |- Q → P, and ¬P |- P → Q. That is, since Napoleon was French, then if the moon is blue then Napoleon was French; and since Napoleon was not Chinese, then if Napoleon was Chinese, the moon is blue.
Gist of Idea
The paradoxes of material implication are P |- Q → P, and ¬P |- P → Q
Source
E.J. Lemmon (Beginning Logic [1965], 2.2)
Book Ref
Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.60
A Reaction
This is why the symbol → does not really mean the 'if...then' of ordinary English. Russell named it 'material implication' to show that it was a distinctively logical operator.
12196 | A valid hypothetical syllogism is 'that which does not begin with a truth and end with a falsehood' [Sext.Empiricus] |
14106 | Implication cannot be defined [Russell] |
14108 | It would be circular to use 'if' and 'then' to define material implication [Russell] |
9520 | The paradoxes of material implication are P |- Q → P, and ¬P |- P → Q [Lemmon] |
6879 | 'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner] |
6878 | A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |