structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

[when two statements are in logical conflict]

4 ideas
Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]
Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz]
Contradiction is between two rules, not between rule and reality [Wittgenstein]
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]