16 ideas
| 15544 | If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis] |
| Full Idea: Armstrong says what is actual (namely a certain roster of universals) might have been impossible. Hence his modal logic is S4, without the 'Brouwersche Axiom'. | |
| From: report of David M. Armstrong (A Theory of Universals [1978]) by David Lewis - Armstrong on combinatorial possibility 'The demand' | |
| A reaction: So p would imply possibly-not-possibly-p. |
| 19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
| Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
| A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
| 19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
| Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
| A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
| 7024 | Properties are universals, which are always instantiated [Armstrong, by Heil] |
| Full Idea: Armstrong takes properties to be universals, and believes there are no 'uninstantiated' universals. | |
| From: report of David M. Armstrong (A Theory of Universals [1978]) by John Heil - From an Ontological Point of View §9.3 | |
| A reaction: At first glance this, like many theories of universals, seems to invite Ockham's Razor. If they are always instantiated, perhaps we should perhaps just try to talk about the instantiations (i.e. tropes), and skip the universal? |
| 9478 | Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird] |
| Full Idea: Armstrong says all properties are categorical, but a dispositional predicate may denote such a property; the dispositional predicate denotes the categorical property in virtue of the dispositional role it happens, contingently, to play in this world. | |
| From: report of David M. Armstrong (A Theory of Universals [1978]) by Alexander Bird - Nature's Metaphysics 3.1 | |
| A reaction: I favour the fundamentality of the dispositional rather than the categorical. The world consists of powers, and we find ourselves amidst their categorical expressions. I could be persuaded otherwise, though! |
| 10729 | Universals explain resemblance and causal power [Armstrong, by Oliver] |
| Full Idea: Armstrong thinks universals play two roles, namely grounding objective resemblances and grounding causal powers. | |
| From: report of David M. Armstrong (A Theory of Universals [1978]) by Alex Oliver - The Metaphysics of Properties 11 | |
| A reaction: Personally I don't think universals explain anything at all. They just add another layer of confusion to a difficult problem. Oliver objects that this seems a priori, contrary to Armstrong's principle in Idea 10728. |
| 4031 | It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong] |
| Full Idea: I suggest that we reject the notion that just because the predicate 'red' applies to an open class of particulars, therefore there must be a property, redness. | |
| From: David M. Armstrong (A Theory of Universals [1978], p.8), quoted by DH Mellor / A Oliver - Introduction to 'Properties' §6 | |
| A reaction: At last someone sensible (an Australian) rebuts that absurd idea that our ontology is entirely a feature of our language |
| 10024 | The type-token distinction is the universal-particular distinction [Armstrong, by Hodes] |
| Full Idea: Armstrong conflates the type-token distinction with that between universals and particulars. | |
| From: report of David M. Armstrong (A Theory of Universals [1978], xiii,16/17) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic 147 n23 | |
| A reaction: This seems quite reasonable, even if you don’t believe in the reality of universals. I'm beginning to think we should just use the term 'general' instead of 'universal'. 'Type' also seems to correspond to 'set', with the 'token' as the 'member'. |
| 10728 | A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver] |
| Full Idea: Armstrong says that if it can be proved a priori that a thing falls under a certain universal, then there is no such universal - and hence there is no universal of a thing being identical with itself. | |
| From: report of David M. Armstrong (A Theory of Universals [1978], II p.11) by Alex Oliver - The Metaphysics of Properties 11 | |
| A reaction: This is a distinctively Armstrongian view, based on his belief that universals must be instantiated, and must be discoverable a posteriori, as part of science. I'm baffled by self-identity, but I don't think this argument does the job. |
| 19402 | The actual universe is the richest composite of what is possible [Leibniz] |
| Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
| A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |
| 8353 | Freedom involves acting according to an idea [Anscombe] |
| Full Idea: Freedom at least involves the power of acting according to an idea. | |
| From: G.E.M. Anscombe (Causality and Determinism [1971], §2) | |
| A reaction: Since 'you' presumably have to sit above the idea and pass a judgement on it, then the same principle should apply to acting on a desire, which presumably 'you' could reject because it just wasn't attractive enough. |
| 8352 | To believe in determinism, one must believe in a system which determines events [Anscombe] |
| Full Idea: 'The ball's path is determined' must mean 'there is only one possible path for the ball (assuming no air currents)', but what ground could one have for believing this, if one does not believe in some system for which it is a consequence? | |
| From: G.E.M. Anscombe (Causality and Determinism [1971], §2) | |
| A reaction: This seems right, but it doesn't follow that one has to know the full details of the system. The system might just be the best explanation, or even a matter of vague faith. It might, though, be just that you can't imagine any other outcome. |
| 8351 | With diseases we easily trace a cause from an effect, but we cannot predict effects [Anscombe] |
| Full Idea: It is much easier to trace effects back to causes with certainty than to predict effects from causes. If I have one contact with someone with a disease and I get it, we suppose I got it from him, but a doctor cannot predict a disease from one contact. | |
| From: G.E.M. Anscombe (Causality and Determinism [1971], §1) | |
| A reaction: An interesting, and obviously correct, observation. Her point is that we get more certainty of causes from observing a singular effect than we get certainty of effects from regularities or laws. |
| 4777 | The word 'cause' is an abstraction from a group of causal terms in a language (scrape, push..) [Anscombe] |
| Full Idea: The word "cause" can be added to a language in which are already represented many causal concepts; a small selection: scrape, push, wet, carry, eat, burn, knock over, keep off, squash, make, hurt. | |
| From: G.E.M. Anscombe (Causality and Determinism [1971], p.93) | |
| A reaction: An interesting point, perhaps reinforcing the Humean idea of causation as a 'natural belief', or the Kantian view of it as a category of thought. Or maybe causation is built into language because it is a feature of reality… |
| 10363 | Causation is relative to how we describe the primary relata [Anscombe, by Schaffer,J] |
| Full Idea: Anscombe has inspired the view that causation is an intensional relation, and takes it to be relative to the descriptions of the primary relata. | |
| From: report of G.E.M. Anscombe (Causality and Determinism [1971], 1) by Jonathan Schaffer - The Metaphysics of Causation 1 | |
| A reaction: It seems too linguistic to say that there is nothing more to it. It seems relevant in human examples, but if a landslide crushes a tree, what difference does the description make? 'It was just a few rocks and some miserable little tree'. No excuse! |
| 8350 | Since Mill causation has usually been explained by necessary and sufficient conditions [Anscombe] |
| Full Idea: Since Mill it has been fairly common to explain causation one way or another in terms of 'necessary' and 'sufficient' conditions. | |
| From: G.E.M. Anscombe (Causality and Determinism [1971], §1) | |
| A reaction: Interesting to see what Hume implies about these criteria. Anscombe is going to propose that causal events are fairly self-evident and self-explanatory, and don't need analyses of conditions. Another approach is regularities and laws. |