30 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] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
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] |
13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
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] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
22444 | A moral system must deal with the dangers and benefits of life [Foot] |
22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |