3 ideas
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. |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible. | |
From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4 | |
A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'. |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth. | |
From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6) | |
A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible. |