18 ideas
| 9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
| 9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| 9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| 9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
| 9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
| 9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
| 9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
| 9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
| 9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
| 9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
| 9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |