41 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| 2319 | Metaphysics is the clarification of the ontological relationships between different areas of thought [Kim] |
| 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] |
| 9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
| 9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
| 9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
| 9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
| 9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
| 9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
| 9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
| 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] |
| 2317 | Reductionism is good on light, genes, temperature and transparency [Kim, by PG] |
| 2310 | Supervenience is linked to dependence [Kim] |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| 2315 | Mereological supervenience says wholes are fixed by parts [Kim] |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| 2329 | Causal power is a good way of distinguishing the real from the unreal [Kim] |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| 2320 | Properties can have causal powers lacked by their constituents [Kim] |
| 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] |
| 530 | There are two contradictory arguments about everything [Kim] |
| 13314 | Protagoras says arguments on both sides are always equal [Kim, by Seneca] |
| 1550 | Why didn't Protagoras begin by saying "a tadpole is the measure of all things"? [Plato on Kim] |
| 2065 | Not every person is the measure of all things, but only wise people [Plato on Kim] |
| 2318 | Agency, knowledge, reason, memory, psychology all need mental causes [Kim, by PG] |
| 2325 | It seems impossible that an exact physical copy of this world could lack intentionality [Kim] |
| 2324 | Intentionality as function seems possible [Kim] |
| 2314 | Maybe intentionality is reducible, but qualia aren't [Kim] |
| 2313 | Emergentism says there is no explanation for a supervenient property [Kim] |
| 2328 | The only mental property that might be emergent is that of qualia [Kim] |
| 2309 | Non-Reductive Physicalism relies on supervenience [Kim] |
| 2311 | Maybe strong supervenience implies reduction [Kim] |
| 2308 | Identity theory was overthrown by multiple realisations and causal anomalies [Kim] |
| 2322 | Multiple realisation applies to other species, and even one individual over time [Kim] |
| 2327 | Knowledge and inversion make functionalism about qualia doubtful [Kim] |
| 2323 | Emotions have both intentionality and qualia [Kim] |