20 ideas
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
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] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |