more from this thinker     |     more from this text


Single Idea 8204

[filed under theme 5. Theory of Logic / B. Logical Consequence / 7. Strict Implication ]

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'.


The 5 ideas with the same theme [it can never be that P is true and Q is false]:

Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead]
Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead]
Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin]
Strict implication says false propositions imply everything, and everything implies true propositions [Mautner]
Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle]