28 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| Full Idea: On the now dominant Quinean view, metaphysics is about what there is (such as properties, meanings and numbers). I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. | |
| From: Jonathan Schaffer (On What Grounds What [2009], Intro) | |
| A reaction: I find that an enormously helpful distinction, and support the Aristotelian view. Schaffer's general line is that what exists is fairly uncontroversial and dull, but the interesting truths about the world emerge when we grasp its structure. |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| Full Idea: Traditional metaphysics is so tightly woven into the fabric of philosophy that it cannot be torn out without the whole tapestry unravelling. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) | |
| A reaction: I often wonder why the opponents of metaphysics still continue to do philosophy. I don't see how you address questions of ethics, or philosophy of mathematics (etc) without coming up against highly general and abstract over-questions. |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| Full Idea: Occam's Razor should only be understood to concern substances: do not multiply basic entities without necessity. There is no problem with the multiplication of derivative entities - they are an 'ontological free lunch'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The phrase 'ontological free lunch' comes from Armstrong. This is probably what Occam meant. A few extra specks of dust, or even a few more numbers (thank you, Cantor!) don't seem to challenge the principle. |
| 11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
| Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| Full Idea: We can automatically infer 'there are roses' from 'there are red roses' (with no shift in the meaning of 'roses'). Likewise one can automatically infer 'there are numbers' from 'there are prime numbers'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: He similarly observes that the atheist's 'God is a fictional character' implies 'there are fictional characters'. Schaffer is not committing to a strong platonism with his claim - merely that the existence of numbers is hardly worth disputing. |
| 8978 | Events are made of other things, and are not fundamental to ontology [Bennett] |
| Full Idea: Events are not basic items in the universe; they should not be included in any fundamental ontology...all the truths about them are entailed by and explained and made true by truths that do not involve the event concept. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.12), quoted by Peter Simons - Events 3.1 | |
| A reaction: Given the variable time spans of events, their ability to coincide, their ability to contain no motion, their blatantly conventional component, and their recalcitrance to individuation, I say Bennett is right. |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| Full Idea: Grounding should be taken as primitive, as per the neo-Aristotelian approach. Grounding is an unanalyzable but needed notion - it is the primitive structuring conception of metaphysics. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) | |
| A reaction: [he cites K.Fine 1991] I find that this simple claim clarifies the discussions of Kit Fine, where you are not always quite sure what the game is. I agree fully with it. It makes metaphysics interesting, where cataloguing entities is boring. |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| Full Idea: Supervenience is mere modal correlation. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| Full Idea: My preferred view is that there is only one fundamental entity - the whole concrete cosmos - from which all else exists by abstraction. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: This looks to me like weak anti-realism - that there are no natural 'joints' in nature - but I don't think Schaffer intends that. I take the joints to be fundamentals, which necessitates that the cosmos has parts. His 'abstraction' is clearly a process. |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| Full Idea: Maybe the categories are determined by the different grounding relations, ..so that categories just are the ways things depend on substances. ...Categories are places in the dependence ordering. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 1.3) |
| 11116 | Being a physical object is our most fundamental category [Jubien] |
| Full Idea: Being a physical object (as opposed to being a horse or a statue) really is our most fundamental category for dealing with the external world. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: This raises the interesting question of why any categories should be considered to be more 'fundamental' than others. I can only think that we perceive something to be an object fractionally before we (usually) manage to identify it. |
| 11117 | Haecceities implausibly have no qualities [Jubien] |
| Full Idea: Properties of 'being such and such specific entity' are often called 'haecceities', but this term carries the connotation of non-qualitativeness which I don't favour. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: The way he defines it makes it sound as if it was a category, but I take it to be more like a bare individual essence. If it has not qualities then it has no causal powers, so there could be no evidence for its existence. |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| Full Idea: I am happy to accept universal composition, on the grounds that there are heaps, piles etc with no integral unity, and that arbitrary composites are no less unified than heaps. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1 n11) | |
| A reaction: The metaphysical focus is then placed on what constitutes 'integral unity', which is precisely the question which most interested Aristotle. Clearly if there is nothing more to an entity than its components, scattering them isn't destruction. |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| Full Idea: The notion of grounding my capture a crucial mereological distinction (missing from classical mereology) between an integrated whole with genuine unity, and a mere aggregate. x is an integrated whole if it grounds its proper parts. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 3.1) | |
| A reaction: That gives a nice theoretical notion, but if you remove each of the proper parts, does x remain? Is it a bare particular? I take it that it will have to be an abstract principle, the one Aristotle was aiming at with his notion of 'form'. Schaffer agrees. |
| 11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
| Full Idea: I suggest that the de re is to be analyzed in terms of the de dicto. ...We have a case of modality de re when (and only when) the appropriate property in the de dicto formulation is an object-essence. | |
| From: Michael Jubien (Analyzing Modality [2007], 5) |
| 11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
| Full Idea: Where modal propositions may once have seemed to transcend the actual, they now seem only to transcend the concrete. | |
| From: Michael Jubien (Analyzing Modality [2007], 4) | |
| A reaction: This is because Jubien has defended a form of platonism. Personally I take modal propositions to be perceptible in the concrete world, by recognising the processes involved, not the mere static stuff. |
| 11108 | Your properties, not some other world, decide your possibilities [Jubien] |
| Full Idea: The possibility of your having been a playwright has nothing to do with how people are on other planets, whether in our own or in some other realm. It is only to do with you and the relevant property. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I'm inclined to think that this simple point is conclusive disproof of possible worlds as an explanation of modality (apart from Jubien's other nice points). What we need to understand are modal properties, not other worlds. |
| 11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
| Full Idea: Typical modal truths are just facts about our world, and generally facts about very small parts of it, not facts about some infinitude of complex, maximal entities. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I think we should embrace this simple fact immediately, and drop all this nonsense about possible worlds, even if they are useful for the semantics of modal logic. |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| Full Idea: One motivation for dialetheism is the view that there are impossible worlds. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) |
| 11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
| Full Idea: As soon as we start talking about 'possible world', we beg the question of their relevance to our prior notion of possibility. For all we know, there are just two such realms, or twenty-seven, or uncountably many, or even set-many. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
| Full Idea: Suppose there happen to be no other concrete realms. Would we happily accept the consequence that we exist necessarily? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
| Full Idea: If all of the possible worlds happened to include stars, how plausible is it to think that if this is how things really are, then we've just been wrong to regard the existence of stars as contingent? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
| Full Idea: In the world theory, what passes for 'necessity' is just a bunch of parallel 'contingencies'. The theory provides no basis for understanding why these contingencies repeat unremittingly across the board (while others do not). | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
| Full Idea: Any other realms that happened to exist would just be scattered parts of the actual world, not entire worlds at all. It would just happen that physical reality was fragmented in this remarkable but modally inconsequential way. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: This is aimed explicitly at Lewis's modal realism, and strikes me as correct. Jubien's key point here is that they are irrelevant to modality, just as foreign countries are irrelevant to the modality of this one. |
| 11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
| Full Idea: The suspicion is that the necessity doesn't arise from how worlds are, but rather that the worlds are taken to be as they are in order to capture the intuitive necessity. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: It has always seemed to me rather glaring that you need a prior notion of 'possible' before you can start to talk about 'possible worlds', but I have always been too timid to disagree with the combination of Saul Kripke and David Lewis. Thank you, Jubien! |
| 11110 | We mustn't confuse a similar person with the same person [Jubien] |
| Full Idea: If someone similar to Humphrey won the election, that nicely establishes the possibility of someone's winning who is similar to Humphrey. But we mustn't confuse this possibility with the intuitively different possibility of Humphrey himself winning. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| Full Idea: A 'Moorean certainty' is when something is more credible than any philosopher's argument to the contrary. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The reference is to G.E. Moore's famous claim that the existence of his hand is more certain than standard sceptical arguments. It sounds empiricist, but they might be parallel rational truths, of basic logic or arithmetic. |
| 10364 | Facts are about the world, not in it, so they can't cause anything [Bennett] |
| Full Idea: Facts are not the sort of item that can cause anything. A fact is a true proposition (they say); it is not something in the world but is rather something about the world. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.22), quoted by Jonathan Schaffer - The Metaphysics of Causation 1.1 | |
| A reaction: Compare 10361. Good argument, but maybe 'fact' is ambiguous. See Idea 10365. Events are said to be more concrete, and so can do the job, but their individuation also seems to depend on a description (as Davidson has pointed out). |