49 ideas
| 12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
| Full Idea: No metaphysical account which renders it impossible to give a plausible epistemological theory is to be countenanced. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.1) | |
| A reaction: It is hard to object to this principle, though we certainly don't want to go verificationist, and thus rule out speculations about metaphysics which are beyond any possible knowledge. Some have tried to prove that something must exist (e.g. Jacquette). |
| 23770 | Reductive analysis makes a concept clearer, by giving an alternative simpler set [Williams,NE] |
| Full Idea: A reductive analysis is one that provides an alternative set of concepts by which some target concept can be understood. It must be non-circular, and given in terms of concepts that are themselves better understood. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 01.2) | |
| A reaction: There seem to be two aims of analysis: this one emphasises understanding, but the other one concerns ontology - by demonstrating that some concept or thing can be understood fully by what happens at a lower level. |
| 23769 | Promoting an ontology by its implied good metaphysic is an 'argument-by-display' [Williams,NE] |
| Full Idea: The form of argument which sells an ontology on the basis a metaphysic is known as an 'argument-by-display'. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 01.2) | |
| A reaction: [Attributed to John Bigelow 1999] New to me, but I'm quite a fan of this. For example, my rejection of platonism is not based on specific arguments, but on looking at the whole platonic picture of reality. |
| 12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
| Full Idea: We use the symbol 'ι' (Greek 'iota') to form definite descriptions, reading (ιx)F(x) as 'the x which is such that F(x)', or simply as 'the F'. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.1) | |
| A reaction: Compare the lambda operator in modal logic, which picks out predicates from similar formulae. |
| 12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
| Full Idea: The typical semantic account of validity for propositional connectives like 'and' presupposes that meaning is given by truth-tables. On the natural deduction view, the meaning of 'and' is given by its introduction and elimination rules. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.4) |
| 23783 | Change exists, it is causal, and it needs an explanation [Williams,NE] |
| Full Idea: There is a phenomenon of change. I am starting with the assumptions that it is a causal phenomenon, and that it requires explanation. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 06.1) | |
| A reaction: That is, I take it, that we need a theory which explains change, rather than just describing it. Well said. Williams says, roughly, that each stage causes the next stage. |
| 23784 | Processes don't begin or end; they just change direction unexpectedly [Williams,NE] |
| Full Idea: No process every really starts or ends. …A process we see as derailed is really just an expected sequence that continues in an unexpected direction. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 06.3) | |
| A reaction: Obviously if you cannot individuate processes, then the concept of a process is not much use in ontology. Williams rejects processes, and I think he is probably right. He breaks processes down into smaller units. |
| 23790 | Processes are either strings of short unchanging states, or continuous and unreducible events [Williams,NE] |
| Full Idea: Processes can be modelled in two ways. They are drawn out events encompassing many changes, but dissectible into short-lived states, none including change. Or they are continuous and impenetrable, and to split them is impossible. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 09.3) | |
| A reaction: Obviously a process has temporal moments in it, so the unsplittability is conceptual. I find the concept of changeless parts baffling. But if processes are drawn out, they can't be basic to ontology. |
| 23786 | The status quo is part of what exists, and so needs metaphysical explanation [Williams,NE] |
| Full Idea: The status quo is part of what exists, and thus it is a proper topic of concern for the metaphysician, and so it warrants explanation. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 07.2) | |
| A reaction: His point is that ontology as a mere inventory of things gives no account of why they remain unchanged, as well as their processes and connections. |
| 23768 | A metaphysic is a set of wider explanations derived from a basic ontology [Williams,NE] |
| Full Idea: A metaphysic is what you get when you embed a fundamental ontology within a larger metaphysical framework by repeatedly appealing to elements of that ontology in explaining metaphysical phenomena. …Only then do you see what the ontology is worth. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 01.1) | |
| A reaction: Confirming my mantra that metaphysics is an explanatory activity. I think it is important that the ontology includes relations (such as 'determinations'), and is not just an inventory of types of entity. |
| 23773 | Humeans say properties are passive, possibility is vast, laws are descriptions, causation is weak [Williams,NE] |
| Full Idea: The main components of neo-Humean metaphysics are that properties are inherently non-modal and passive, that what is possible is restricted only by imagination and coherence, that laws are non-governing descriptions, and causation is weak and extrinsic. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 02.1) | |
| A reaction: This is Williams identifying the enemy, prior to offering the much more active and restictive powers ontology. I'm with Williams. |
| 23779 | We shouldn't posit the existence of anything we have a word for [Williams,NE] |
| Full Idea: There seems to be a mysterious desire to posit entities simply because certain terms pop up in our vocabulary. But we should not be so indiscriminate about our posits, even if our talk is properly vetted. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 04.1) | |
| A reaction: This should hardly need saying, and the familiar example is 'for the sake of' entailing sakes, but it seems to be a vice that is still found in metaphysical philosophy. The word 'nothingness' comes to mind. |
| 12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
| Full Idea: It is very plausible that the sorites paradoxes arose from the application of a semantic apparatus appropriate only for sharp predicates to languages containing vague predicates (rather than from deficiency of meaning, or from incoherence). | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.3) | |
| A reaction: Sounds wrong. Of course, logic has been designed for sharp predicates, and natural languages are awash with vagueness. But the problems of vagueness bothered lawyers long before logicians like Russell began to worry about it. |
| 23775 | Powers are 'multi-track' if they can produce a variety of manifestations [Williams,NE] |
| Full Idea: Powers are 'multi-track', meaning that they are capable of producing a variety of different manifestations when me with diverse stimuli. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 03.1) | |
| A reaction: He later mentions magnetism. Not convinced of this. Powers probably never exist in isolation, so a different manifestation could be because a different power becomes involved. (Bird is a single-tracker). |
| 23780 | Every possible state of affairs is written into its originating powers [Williams,NE] |
| Full Idea: On the model of powers I prefer, every possible state of affairs that can arise is written into the powers that would constitute them. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 04.3) | |
| A reaction: I can't make any sense of 'written into', any more than I could when Leibniz proposed roughly the same thing about monads. I presume he means that any state of affairs which ever arises is the expression of the intrinsic nature of powers. |
| 23789 | Naming powers is unwise, because that it usually done by a single manifestation [Williams,NE] |
| Full Idea: Naming powers is unwise; the main reason is that there is a long tradition of naming powers according to the manifestations they can produce, and that does not square well with multi-track powers. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 08.4) | |
| A reaction: On the other hand there must be some attempt to individuate powers (by scientists, if not by philosophers), and that can only rely on the manifestations. Describe them, rather than name them? Just assign them a number! |
| 23771 | Fundamental physics describes everything in terms of powers [Williams,NE] |
| Full Idea: Physics describes fundamental entities exclusively in terms of what sound like powers. 'Charge' names the power to produce electromagnetic fields; 'spin' the power to contribute to the angular momentum of of system; 'mass' to produce gravitational force. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 01.4) | |
| A reaction: These are the three basic properties of an electron, which is fundamental in the standard model. You can say that their field is more fundamental than the particles, but the field is also only known as a set of powers. Powers rule! |
| 23776 | Rather than pure powers or pure categoricals, I favour basics which are both at once [Williams,NE] |
| Full Idea: Power Monism: all properties are powers. Categoricalism: all fundamentals are categorical. Dualism allows both types. I defend Mixed Monism - that there is a single class of fundamental properties that are at once powerful and categorical. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
| A reaction: This is the main dilemma for the powers ontology - of how powers can be basic, if there needs to be some entity which possesses the power. But what possesses the powers of an electron? I like Williams's idea, without being clear about it. |
| 23777 | Powers are more complicated than properties which are always on display [Williams,NE] |
| Full Idea: The mode in which a power presents itself is more complicated than those properties that have (strictly) nothing more to them than that which is always on display. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
| A reaction: This is the key idea that nature is dynamic, and so must consist of potentials as well as actuals. Interesting distinction. A basic division between those properties 'always on display', and those that are not? |
| 23774 | There are basic powers, which underlie dispositions, potentialities, capacities etc [Williams,NE] |
| Full Idea: It is no surprise that talk of dispositions, capacities, abilities, tendencies, powers, and potentialities are part of our everyday interactions. …I have in mind a basic set of powers, the sort which underlie all of these. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 03.1) | |
| A reaction: This strikes me as the correct picture. It is misleading say that a ball has a 'power' to roll smoothly. The powers are inside the ball. |
| 23791 | Dispositions are just useful descriptions, which are explained by underlying powers [Williams,NE] |
| Full Idea: Powers are the properties at the core of the powers ontology, and dispositions are more like useful talk. …Dispositions are the phenomena to be explained by the power metaphysic. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 10.2) | |
| A reaction: The picture I subscribe to. The first step is to see nature as dynamic (as Aristotle does with his 'potentialities'), and the next step to understand what must ground these dynamic dispositional properties. He calls dispositions 'process initiators'. |
| 23772 | If objects are property bundles, the properties need combining powers [Williams,NE] |
| Full Idea: If objects are bundles of properties …they must be robust enough to enter into building relations with one another such that they can form objects. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 01.5) | |
| A reaction: A very nice point. The Humean bundle view of objects just seems to take properties to be 'impressions' or verbal predicates, but they must have causal powers to be a grounding for ontology. |
| 12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
| Full Idea: For each instance of identity or failure of identity, there must be facts in virtue of which that instance obtains. ..Enough has been said to lend this doctrine some plausibility. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.5) | |
| A reaction: Penelope Mackie picks this out from Forbes as a key principle. It sounds to be in danger of circularity, unless the 'facts' can be cited without referring to, or implicitly making use of, identities - which seems unlikely. |
| 12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
| Full Idea: If we imagine a possible world in which two clocks in a room make one clock from half the parts of each, the judgement 'these two actual clocks could have been a single clock' does not seem wholly false. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.4) | |
| A reaction: You would, of course, have sufficient parts left over to make a second clock, so they look like a destroyed clock, so I don't think I find Forbes's intuition on this one very persuasive. |
| 11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
| Full Idea: Forbes argues that, unless we posit individual essences, we cannot guarantee that identities across possible worlds will be appropriately grounded in other properties. | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985]) by Penelope Mackie - How Things Might Have Been 2.4 | |
| A reaction: There is a confrontation between Wiggins, who says identity is primitive, and Forbes, who says identity must be grounded in other properties. I think I side with Forbes. |
| 12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
| Full Idea: An individual essence of an object x is a set of properties I which satisfies the following conditions: i. every property P in I is an essential property of x; ii. it is not possible that some object y distinct from x has every member of I. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I am coming to the view that stable natural kinds (like electrons or gold) do not have individual essences, but complex kinds (like tigers or tables) do. The view is based on the idea that explanatory power is what individuates an essence. |
| 12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
| Full Idea: A non-trivial individual essence is properties other than a) those following from a de dicto truth, b) properties of existence and self-identity (or their cognates), c) properties derived from necessities in some other category. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: [I have compressed Forbes] Rather than adding all these qualificational clauses to our concept, we could just tighten up on the notion of a property, saying it is something which is causally efficacious, and hence explanatory. |
| 12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
| Full Idea: The essential properties of a thing will typically depend upon what category of thing it is, and perhaps also on some more particular facts about the thing itself. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I see no way of dispensing with the second requirement, in the cases of complex entities like animals. If all samples are the same, then of course we can define a sample's essence through its kind, but not if samples differ in any way. |
| 12012 | Essential properties are those without which an object could not exist [Forbes,G] |
| Full Idea: An essential property of an object x is a property without possessing which x could not exist. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: This is certainly open to question. See Joan Kung's account of Aristotle on essence. I am necessarily more than eight years old (now), and couldn't exist without that property, but is the property part of my essence? |
| 12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
| Full Idea: Sameness of parts is not sufficient for identity of artefacts at a world, since the very same parts may turn up at different times as the parts of artefacts with different designs and functions. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.2) | |
| A reaction: Thus the Ship of Theseus could be dismantled and turned into a barn (as happened with the 'Mayflower'). They could then be reconstituted as the ship, which would then have two beginnings (as Chris Hughes has pointed out). |
| 12025 | Artefacts have fuzzy essences [Forbes,G] |
| Full Idea: Artefacts can be ascribed fuzzy essences. ...We might say that it is essential to an artefact to have 'most' of its parts. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.6) | |
| A reaction: I think I prefer to accept the idea that essences are unstable things, in all cases. For all we know, electrons might subtly change their general character, or cease to be uniform, tomorrow. Essences explain, and what needs explaining changes. |
| 23788 | Four-Dimensional is Perdurantism (temporal parts), plus Eternalism [Williams,NE] |
| Full Idea: 'Perdurantism' is the view that objects persist by being composed of temporal parts. When it is commonly combined with the eternalist account of the ontology of time, the result is known as 'four-dimensionalism'. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 08.1) | |
| A reaction: At last, a clear account of the distinction between these two! They're both wrong. He says the result is the spatiotemporal 'worm' view (i.e. one temporal extended thing, rather than a collection of parts). |
| 12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
| Full Idea: In the time of a single world, the same individual can undergo a change of sex, but it is less clear that an individual of one sex could have been, from the outset, an individual of another. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.5) | |
| A reaction: I don't find this support for essentiality of origin very persuasive. I struggle with these ideas. Given my sex yesterday, then presumably I couldn't have had a different sex yesterday. Given that pigs can fly, pigs can fly. What am I missing? |
| 11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
| Full Idea: Forbes has two principles of identity, which we can call the No Bare Identities Principle (identities hold in virtue of other facts), and the No Extrinsic Determination Principle (that only intrinsic facts of a thing establish identity). | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985], 127-8) by Penelope Mackie - How Things Might Have Been 2.7 | |
| A reaction: The job of the philosopher is to prise apart the real identities of things from the way in which we conceive of identities. I take these principles to apply to real identities, not conceptual identities. |
| 12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
| Full Idea: The difference between de re and de dicto formulae is a difference between formulae which are, and formulae which are not, sensitive to the identities of objects at various worlds. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.1) |
| 12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
| Full Idea: De re necessity does not differ from de dicto necessity in respect of how it arises: it is still a form of conceptual necessity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: [Forbes proceeds to argue for this claim] Forbes defends a form of essentialism, but takes the necessity to arise from a posteriori truths because of the a priori involvement of other concepts (rather as Kripke argues). |
| 12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
| Full Idea: There is no means by which we might distinguish a possible world from what is true at it. ...Whereas our ability to separate a place, or a time, from its occupier is crucial to realism about places and times, as is a distance relation. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: He is objecting to Lewis's modal realism. I'm not fully convinced. It depends whether we are discussing real ontology or conceptual space. In the latter I see no difference between times and possible worlds. In ontology, a 'time' is weird. |
| 12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
| Full Idea: The main objection to realism about worlds is from epistemology. Knowledge of properties of objects requires experience of these objects, which must be within the range of our sensory faculties, but only concrete actual objects achieve that. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: This pinpoints my dislike of the whole possible worlds framework, ontologically speaking. I seem to be an actualist. I take possibilities to be inferences to the best explanation from the powers we know of in the actual world. We experience potentiality. |
| 12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
| Full Idea: Someone impressed by the parallel between tense and modal operators ...might suggest that just as we can speak of places and times forming their own manifolds or spaces, so we can say that worlds are the points of logical space. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: I particularly like the notion of worlds being "points of logical space", and am inclined to remove it from this context and embrace it as the correct way to understand possible worlds. We must understand logical or conceptual space. |
| 12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
| Full Idea: An elucidation of transworld identity can be regarded as an elucidation of the boundaries of possibility for ordinary things. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I presume that if we don't search for some such criterion, we just have to face the possibility that Aristotle could have been a poached egg in some possible world. To know the bounds of possibility, study the powers of actual objects. |
| 12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
| Full Idea: The motivation for investigating individual essences should be obvious, since if every object has such an essence, the problem of elucidating transworld identity can be solved. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: It is important that, if necessary, the identities be 'individual', and not just generic, by sortal, or natural kind. We want to reason about (and explain) truths at the fine-grained level of the individual, not just at the broad level of generalisation. |
| 12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
| Full Idea: The outstanding technical objection to counterpart-theoretic semantics concerns its handling of the logic of identity. In quantified S5 (the orthodox semantics) a = b → □(a = b) is valid, but 'a' must not attach to two objects. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.5) |
| 12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
| Full Idea: Haecceitism attributes to each individual a primitive identity or thisness, as opposed to the sort of essentialism that gives non-trivial conditions sufficient for transworld identity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.6) | |
| A reaction: 'Haecceitism' is the doctrine that things have primitive identity. A 'haecceity' is a postulated property which actually does the job. The key point of the view is that whatever it is is 'primitive', and not complex, or analysable. I don't believe it. |
| 12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |
| Full Idea: The natural response to an unreasonable hypothesis of possibility for an object x, that in such a state of affairs it would not be x which satisfies the conditions, is evidence that we do possess concepts of thisness for individuals. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: We may have a 'concept' of thisness, but we needn't be committed to the 'existence' of a thisness. There is a fairly universal intuition that cessation of existence of an entity when it starts to change can be a very vague matter. |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 23785 | Causation needs to explain stasis, as well as change [Williams,NE] |
| Full Idea: I believe that it is also the job of a theory of causation to explain non-change | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 07.2) | |
| A reaction: Good point. Most attempts to pin down causation refer only to changes and differences. Two playing cards propping one another up is his example. |
| 23782 | Causation is the exercise of powers [Williams,NE] |
| Full Idea: Causation is the exercising of powers. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 06.1) | |
| A reaction: Job done. Get over it. This is the view I prefer. |
| 23787 | If causes and effects overlap, that makes changes impossible [Williams,NE] |
| Full Idea: It would be shocking if an account of causation ruled out the possibility of change. But if a cause perfectly overlaps its effect in time, then the rejection of change is precisely what follows. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 07.6) | |
| A reaction: He cites Kant, Martin, Heil and Mumford/Anjum for this view. The latter seem to see causation as a 'process' (allowing change), which Williams as ruled out. The Williams point must be correct. |
| 23778 | Powers contain lawlike features, pointing to possible future states [Williams,NE] |
| Full Idea: Powers carry their lawlike features within them: it is part of their essence, qua power. Their pointing at future states just is their internal law-like nature; it is what gets expressed in such and such conditions. | |
| From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
| A reaction: Modern writers on powers seem unaware that Leibniz got there first. This seems to me the correct account of the ontology of laws. The formulation of laws is probably the best descriptive system for nature's patterns (over time as well as space). |