back to ideas for this text


Single Idea 6880

[from 'Penguin Dictionary of Philosophy' by Thomas Mautner, in 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.