more from this thinker | more from this text
Full Idea
Russell call 'if...then' implication, when the material conditional is a much better account; C.I.Lewis (in founding modern modal logic) preserved Russell's confusion by creating 'strict implication', and called that implication.
Gist of Idea
Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication
Source
comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Willard Quine - Reply to Professor Marcus p.177
Book Ref
Quine,Willard: 'Ways of Paradox and other essays' [Harvard 1976], p.177
A Reaction
[A compession of Quine's paragraph]. All of this assumes that logicians can give an accurate account of what if...then means, when ordinary usage is broad and vague. Strict implication seems to drain all the normal meaning out of 'if...then'.
8204 | Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead] |
9359 | Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead] |
8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin] |
6880 | Strict implication says false propositions imply everything, and everything implies true propositions [Mautner] |
7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |