13 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. |
18823 | To say there could have been people who don't exist, but deny those possible things, rejects Barcan [Stalnaker, by Rumfitt] |
Full Idea: Stalnaker holds that there could have been people who do not actually exist, but he denies that there are things that could have been those people. That is, he denies the unrestricted validity of the Barcan Formula. | |
From: report of Robert C. Stalnaker (Counterparts and Identity [1987]) by Ian Rumfitt - The Boundary Stones of Thought 6.2 | |
A reaction: And quite right too, I should have thought. As they say, Jack Kennedy and Marilyn Monroe might have had a child, but the idea that we should accept some entity which might have been that child but wasn't sounds like nonsense. Except as fiction….. |
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. |
16412 | If counterparts exist strictly in one world only, this seems to be extreme invariant essentialism [Stalnaker] |
Full Idea: Counterparts involve the thesis that domains of different possible worlds are disjoint: possible individuals exist in at most one possible world. This seems to suggest extreme essentialism, where nothing could differ from how it is. | |
From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
A reaction: He quotes Salmon (1981:236) as saying counterpart theory is particularly inflexible essentialism. This is a long way from my use of 'essentialism'. The problem is just the extent to which my counterpart is 'the same' as me. |
16409 | Unlike Lewis, I defend an actualist version of counterpart theory [Stalnaker] |
Full Idea: I defend a version of counterpart theory that is quite different from Lewis's version, as it is tied to actualism (all that exists is part of the actual world) rather than possibilism (possible things may exist without actually existing). | |
From: Robert C. Stalnaker (Counterparts and Identity [1987], 1) | |
A reaction: This could be the theory I am after. I am sympathetic to both actualism and to counterpart theory. Off to the woodshed…. |
16411 | If possible worlds really differ, I can't be in more than one at a time [Stalnaker] |
Full Idea: Nothing can be in two places at once. If other possible worlds are really other universes, then clearly, you and I cannot be in them if we are here in this one. | |
From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
A reaction: This can be sensibly expressed without possible worlds. I can't embody my other possibilities while I am embodying this one (I'm too busy). Insofar as possible worlds are a good framework, they are just a precise map of common sense. |
16410 | Extensional semantics has individuals and sets; modal semantics has intensions, functions of world to extension [Stalnaker] |
Full Idea: Semantic values in extensional semantics are extensions, like individuals for terms, and sets for predicates. In modal semantics we have intensions, functions from worlds to appropriate extensions. | |
From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
A reaction: It seems obvious that the meaning of a word like 'giraffe' must include possible giraffes, as well as actual and deceased giraffes. |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |