3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
Full Idea: Explanations of classical negation assume that knowing what it is for the truth-condition of some statement to obtain, independently of recognising it to obtain, we thereby know what it is for it NOT to obtain; but this presupposes classical negation. | |
From: Michael Dummett (The Logical Basis of Metaphysics [1991], p.299), quoted by Ian Rumfitt - The Boundary Stones of Thought 1.1 | |
A reaction: [compressed wording] This is Dummett explaining why he prefers intuitionistic logic, with its doubts about double negation. |
8886 | Being a true justified belief is not a sufficient condition for knowledge [Gettier] |
Full Idea: The claim that someone knows a proposition if it is true, it is believed, and the person is justified in their belief is false, in that the conditions do not state a sufficient condition for the claim. | |
From: Edmund L. Gettier (Is Justified True Belief Knowledge? [1963], p.145) | |
A reaction: This is the beginning of the famous Gettier Problem, which has motivated most epistemology for the last forty years. Gettier implies that justification is necessary, even if it is not sufficient. He gives two counterexamples. |