| 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. |
| 2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
| Full Idea: We judge to be false that which involves a contradiction, and true that which is opposed or contradictory to the false. | |
| From: Gottfried Leibniz (Monadology [1716], §31) |
| 18736 | Contradiction is between two rules, not between rule and reality [Wittgenstein] |
| Full Idea: Contradiction is between one rule and another, not between rule and reality. | |
| From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], C XIII) | |
| A reaction: If I say 'he is sitting' and 'he is standing', it seems to be reality which produces the contradiction. What 'rule' could possibly do it? The rule which says sitting and standing are incompatible? But what makes that so? |
| 23496 | Two colours in the same place is ruled out by the logical structure of colour [Wittgenstein] |
| Full Idea: The simultaneous presence of two colours in the same place in the visual field is impossible, in fact logically impossible, since it is ruled out by the logical structure of colour. | |
| From: Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 6.3751) | |
| A reaction: This sounds the wrong way around. We derive our concept of the logic of colour from experiencing the total incompatibility of two colours in the same location. What if each of our eyes saw a different colour? |
| 12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
| Full Idea: Overt contradictions include formal contradictions of form 'B and not B', but I also take them to include 'This is red all over and green all over' and 'This is red and not coloured'. | |
| From: Ian Rumfitt (Logical Necessity [2010], Intro) |