Single Idea 6880

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

Full Idea

Strict implication [not(p and not-q)] carries the paradoxes that a false proposition (p) implies any proposition (q), and a true proposition (q) is materially implied by any proposition (p).

Gist of Idea

Strict implication says false propositions imply everything, and everything implies true propositions

Source

Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270)

Book Reference

Mautner,Thomas: 'Dictionary of Philosophy' [Penguin 1997], p.270


A Reaction

This seems to show that we have two drastically different notions of implication; one (the logician's) is boring and is defined by a truth table; the other (the ordinary interesting one) says if you have one truth you can deduce a second.