35 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] |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 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] |
| 5791 | Reduction is either by elimination, or by explanation [Searle] |
| 5799 | Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle] |
| 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] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 5790 | A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 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] |
| 5792 | Explanation of how we unify our mental stimuli into a single experience is the 'binding problem' [Searle] |
| 5786 | A system is either conscious or it isn't, though the intensity varies a lot [Searle] |
| 5794 | Consciousness has a first-person ontology, which only exists from a subjective viewpoint [Searle] |
| 5795 | There isn't one consciousness (information-processing) which can be investigated, and another (phenomenal) which can't [Searle] |
| 5788 | The use of 'qualia' seems to imply that consciousness and qualia are separate [Searle] |
| 5789 | I now think syntax is not in the physics, but in the eye of the beholder [Searle] |
| 5798 | Consciousness has a first-person ontology, so it cannot be reduced without omitting something [Searle] |
| 5787 | There is non-event causation between mind and brain, as between a table and its solidity [Searle] |
| 5797 | The pattern of molecules in the sea is much more complex than the complexity of brain neurons [Searle] |
| 5796 | If tree rings contain information about age, then age contains information about rings [Searle] |