27 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] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
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] |
13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
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] |
11976 | Aristotelian essentialism says essences are not relative to specification [Lewis] |
11978 | Causal necessities hold in all worlds compatible with the laws of nature [Lewis] |
13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
11979 | It doesn't take the whole of a possible Humphrey to win the election [Lewis] |
16994 | Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis] |
11974 | Counterparts are not the original thing, but resemble it more than other things do [Lewis] |
11975 | If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis] |
11977 | Essential attributes are those shared with all the counterparts [Lewis] |
13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |