36 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| 9065 | S5 collapses iterated modalities (◊□P→□P, and ◊◊P→◊P) [Keefe/Smith] |
| 14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
| 10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
| 10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
| 10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
| 10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
| 13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
| 10833 | Many concepts can only be expressed by second-order logic [Boolos] |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| 9064 | Objects such as a cloud or Mount Everest seem to have fuzzy boundaries in nature [Keefe/Smith] |
| 9044 | If someone is borderline tall, no further information is likely to resolve the question [Keefe/Smith] |
| 9048 | The simplest approach, that vagueness is just ignorance, retains classical logic and semantics [Keefe/Smith] |
| 9055 | The epistemic view of vagueness must explain why we don't know the predicate boundary [Keefe/Smith] |
| 9049 | Supervaluationism keeps true-or-false where precision can be produced, but not otherwise [Keefe/Smith] |
| 9056 | Vague statements lack truth value if attempts to make them precise fail [Keefe/Smith] |
| 9058 | Some of the principles of classical logic still fail with supervaluationism [Keefe/Smith] |
| 9059 | The semantics of supervaluation (e.g. disjunction and quantification) is not classical [Keefe/Smith] |
| 9060 | Supervaluation misunderstands vagueness, treating it as a failure to make things precise [Keefe/Smith] |
| 9050 | A third truth-value at borderlines might be 'indeterminate', or a value somewhere between 0 and 1 [Keefe/Smith] |
| 9061 | People can't be placed in a precise order according to how 'nice' they are [Keefe/Smith] |
| 9062 | If truth-values for vagueness range from 0 to 1, there must be someone who is 'completely tall' [Keefe/Smith] |
| 9063 | How do we decide if my coat is red to degree 0.322 or 0.321? [Keefe/Smith] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 9045 | Vague predicates involve uncertain properties, uncertain objects, and paradoxes of gradual change [Keefe/Smith] |
| 9047 | Many vague predicates are multi-dimensional; 'big' involves height and volume; heaps include arrangement [Keefe/Smith] |
| 9053 | If there is a precise borderline area, that is not a case of vagueness [Keefe/Smith] |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |