59 ideas
| 10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
| Full Idea: A metaphysical theory hs two parts: ontology and ideology. The ontology consists of the entities which the theory says exist; the ideology consists of the ideas which are expressed within the theory using predicates. Ideology sorts into categories. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02.1) | |
| A reaction: Say 'what there is', and 'what we can say about it'. The modern notion remains controversial (see Ladyman and Ross, for example), so it is as well to start crystalising what metaphysics is. I am enthusiastic, but nervous about what is being said. |
| 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). |
| 21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
| Full Idea: 'Difference' is a term which Deleuze uses to refer to that which eludes capture. | |
| From: report of Gilles Deleuze (Difference and Repetition [1968]) by Todd May - Gilles Deleuze 3.03 | |
| A reaction: Presumably its ancestor is Kant's noumenon. This is one of his concepts used to 'palpate' our ossified conceptual scheme. |
| 10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
| Full Idea: One might give Ockham's Razor a bit more content by advising belief in only those entities which are causally efficacious. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §03) | |
| A reaction: He cites Armstrong as taking this line, but I immediately think of Shoemaker's account of properties. It seems to me to be the only account which will separate properties from predicates, and bring them under common sense control. |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| Full Idea: The definition of truth-makers entails that a truth-maker for a given necessary truth is equally a truth-maker for every other necessary truth. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §24) | |
| A reaction: Maybe we could accept this. Necessary truths concern the way things have to be, so all realities will embody them. Are we to say that nothing makes a necessary truth true? |
| 10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
| Full Idea: Slingshot Argument: if truth-makers work for equivalent sentences and co-referring substitute sentences, then if 'the numbers + S1 = the numbers' has a truth-maker, then 'the numbers + S2 = the numbers' will have the same truth-maker. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §24) | |
| A reaction: [compressed] Hence every sentence has the same truth-maker! Truth-maker fans must challenge one of the premises. |
| 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) |
| 21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
| Full Idea: Ontology can be an ontology of difference ....where what is there is not the same old things but a process of continual creation, an ontology that does not seek to reduce being to the knowable, but widens thought to palpate the unknowable. | |
| From: Gilles Deleuze (Difference and Repetition [1968]), quoted by Todd May - Gilles Deleuze 5.05 | |
| A reaction: I'm inclined to think that the first duty of ontology is to face up to the knowable. I'm not sure that probing the unknowable, with no success or prospect of it, is a good way to spend a life. Probing ('palpating') can sometimes discover things. |
| 21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
| Full Idea: Being is said in a single and same sense of everything of which it is said, but that of which it is said differs: it is said of difference itself. | |
| From: Gilles Deleuze (Difference and Repetition [1968], p.36), quoted by Todd May - Gilles Deleuze 3.03 | |
| A reaction: This is an attempt to express the Heraclitean view of reality, as process, movement, multiplicity - something which always eludes our attempts to pin it down. |
| 21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
| Full Idea: In Deleuze's hands ontology is not a matter of telling us what there is, but of taking us on strange adventures. | |
| From: report of Gilles Deleuze (Difference and Repetition [1968]) by Todd May - Gilles Deleuze 3.03 | |
| A reaction: Presumably you only indulge in the strange adventure because you have no idea how to specify what there is. This sounds like the essence of post-modernism, in which life is just a game. |
| 21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
| Full Idea: In Deleuze, Being is not a puzzle to be solved but a problem to be engaged. It is to be engaged by a thought that moves as comfortably among problems as it does among solutions, as fluidly among differences as it does among identities. | |
| From: report of Gilles Deleuze (Difference and Repetition [1968]) by Todd May - Gilles Deleuze 4.01 | |
| A reaction: This sounds like what I've always known as 'negative capability' (thanks to Keats). Is philosophy just a hobby, like playing darts? It seems that the aim of the process is 'liberation', about which I would like to know more. |
| 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. |
| 10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
| Full Idea: The route to the existence of properties via ontological commitment provides little information about what properties are like. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §22) | |
| A reaction: NIce point, and rather important, I would say. I could hardly be committed to something for the sole reason that I had expressed a statement which contained an ontological commitment. Start from the reason for making the statement. |
| 10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
| Full Idea: For a predicate to have a referential function is one way, but not the only way, to harbour ontological commitment. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §22) | |
| A reaction: Presumably the main idea is that the predicate makes some important contribution to a sentence which is held to be true. Maybe reference is achieved by the whole sentence, rather than by one bit of it. |
| 10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
| Full Idea: If properties are sui generis entities, one must decide whether they are abstract or concrete. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: A nice basic question! I take the real properties to be concrete, but we abstract from them, especially from their similarities, and then become deeply confused about the ontology, because our language doesn't mark the distinctions clearly. |
| 10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
| Full Idea: Four adequacy conditions for particulars and properties: asymmetry of instantiation; different particulars can have the same property; particulars can have many properties; two properties can be instantiated by the same particulars. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: The distinction between particulars and universals has been challenged (e.g. by Ramsey and MacBride). There are difficulties in the notion of 'instantiation', and in the notion of two properties being 'the same'. |
| 10716 | There are just as many properties as the laws require [Oliver] |
| Full Idea: One conception of properties says there are only as many properties as are needed to be constituents of laws. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §03) | |
| A reaction: I take this view to the be precise opposite of the real situation. The properties are what lead to the laws. Properties are internal to nature, and laws are imposed from outside, which is ridiculous unless you think there is an active deity. |
| 10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
| Full Idea: Both properties and particulars can be taken as either sui generis or as constructions, so we have four options: both sui generis, or both constructions, or one of each. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: I think I favour both being sui generis. God didn't make the objects, then add their properties, or make the properties then create some instantiations. There can't be objects without properties, or objectless properties (except in thought). |
| 10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
| Full Idea: The types of expressions which have properties as their meanings may vary, the chief candidates being predicates, such as '...is wise', and abstract singular terms, such as 'wisdom'. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02) | |
| A reaction: This seems to be important, because there is too much emphasis on predicates. If this idea is correct, we need some account of what 'abstract' means, which is notoriously tricky. |
| 10715 | There are five main semantic theories for properties [Oliver] |
| Full Idea: Properties in semantic theory: functions from worlds to extensions ('Californian'), reference, as opposed to sense, of predicates (Frege), reference to universals (Russell), reference to situations (Barwise/Perry), and composition from context (Lewis). | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02 n12) | |
| A reaction: [compressed; 'Californian' refers to Carnap and Montague; the Lewis view is p,67 of Oliver]. Frege misses out singular terms, or tries to paraphrase them away. Barwise and Perry sound promising to me. Situations involve powers. |
| 10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
| Full Idea: Using the predicate '...is exactly similar to...' we can sort tropes into equivalence sets, these sets serving as properties and relations. For example, the property of redness is the maximal set of the tropes of redness. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: You have somehow to get from scarlet and vermilion, which have exact similarity within their sets, to redness, which doesn't. |
| 10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
| Full Idea: I rule that tropes are not properties, because it is not true that one and the same trope of redness is instantiated by two books. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: This seems right, but has very far-reaching implications, because it means there are no properties, and no two things have the same properties, so there can be no generalisations about properties, let alone laws. ..But they have equivalence sets. |
| 10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
| Full Idea: It is usual to hold an aristotelian conception of tropes, according to which tropes are present in their particular instances, and which does not allow for uninstantiated tropes. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: What are you discussing when you ask what colour the wall should be painted? Presumably we can imagine non-existent tropes. If I vividly imagine my wall looking yellow, have I brought anything into existence? |
| 10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
| Full Idea: Some trope theorists give accounts of particulars. Sets of tropes will not do because they are always abstract, but we might say that particulars are (concrete) mereological wholes of the tropes which they instantiate. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: Looks like a non-starter to me. How can abstract entities add up to a mereological whole which is concrete? |
| 10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
| Full Idea: More than one trope can occupy the same place at the same time, and a trope occupies a place without having parts which occupy parts of the place. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: This is the general question of the size of a spatial trope, or 'how many red tropes in a tin of red paint?' |
| 10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
| Full Idea: The 'structural universals' methane and butane are each made up of the same universals, carbon and hydrogen. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §07) | |
| A reaction: He cites Lewis 1986, who is criticising Armstrong. If you insist on having universals, they might (in this case) best be described as 'patterns', which would be useful for structuralism in mathematics. They reduce to relations. |
| 10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
| Full Idea: So-called aristotelian universals have some queer features: one universal can be wholly present at different places at the same time, and two universals can occupy the same place at the same time. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: If you want to make a metaphysical doctrine look ridiculous, stating it in very simple language will often do the job. Belief in fairies is more plausible than the first of these two claims. |
| 10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
| Full Idea: If universals are to ground similarities, it is hard to see why one should admit universals which only happen to be instantiated once. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: He is criticising Armstrong, who holds that universals must be instantiated. This is a good point about any metaphysics which makes resemblance basic. |
| 7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
| Full Idea: Properties and relations of abstract objects may need to be acknowledged, but they would have no spatio-temporal location, so they cannot instantiate Aristotelian universals, there being nowhere for such universals to be. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11), quoted by Cynthia Macdonald - Varieties of Things | |
| A reaction: Maybe. Why can't the second-order properties be in the same location as the first-order ones? If the reply is that they would seem to be in many places at once, that is only restating the original problem of universals at a higher level. |
| 7962 | Uninstantiated properties are useful in philosophy [Oliver] |
| Full Idea: Uninstantiated properties and relations may do some useful philosophical work. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11), quoted by Cynthia Macdonald - Varieties of Things | |
| A reaction: Their value isn't just philosophical; hopes and speculations depend on them. This doesn't make universals mind-independent. I think the secret is a clear understanding of the word 'abstract' (which I don't have). |
| 10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
| Full Idea: We may have to accept uninstantiated universals because the properties and relations of abstract objects may need to be acknowledged. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This is the problem of 'abstract reference'. 'Courage matters more than kindness'; 'Pink is more like red than like yellow'. Not an impressive argument. All you need is second-level abstraction. |
| 10722 | Instantiation is set-membership [Oliver] |
| Full Idea: One view of instantiation is that it is the set-membership predicate. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §10) | |
| A reaction: This cuts the Gordian knot rather nicely, but I don't like it, if the view of sets is extensional. We need to account for natural properties, and we need to exclude mere 'categorial' properties. |
| 10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
| Full Idea: We can say that 'Harvard-nominalism' is the thesis that there are no abstract objects, 'Oz-nominalism' that there are no universals, and Goodman's nominalism rejects entities, such as sets, which fail to obey a certain principle of composition. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §15 n46) | |
| A reaction: Personally I'm a Goodman-Harvard-Oz nominalist. What are you rebelling against? What have you got? We've been mesmerized by the workings of our own minds, which are trying to grapple with a purely physical world. |
| 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. |
| 10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
| Full Idea: If a particular thing is a bundle of located universals, we might say it is a mereological fusion of them, but if two universals can be instantiated by more than one particular, then two particulars can have the same universals, and be the same thing. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This and Idea 10725 pretty thoroughly demolish the idea that objects could be just bundles of universals. The problem pushes some philosophers back to the idea of 'substance', or some sort of 'substratum' which has the universals. |
| 10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
| Full Idea: If a particular thing is a bundle of located universals, we might say that it is the set of its universals, but this won't work because the thing can be concrete but sets are abstract. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This objection applies just as much to tropes (abstract particulars) as it does to universals. |
| 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? |
| 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. |
| 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). |
| 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). |
| 10745 | Science is modally committed, to disposition, causation and law [Oliver] |
| Full Idea: Natural science is up to its ears in modal notions because of its use of the concepts of disposition, causation and law. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §15) | |
| A reaction: This is aimed at Quine. It might be possible for an auster physicist to dispense with these concepts, by merely describing patterns of observed behaviour. |
| 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. |
| 10746 | Conceptual priority is barely intelligible [Oliver] |
| Full Idea: I find the notion of conceptual priority barely intelligible. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §19 n48) | |
| A reaction: I don't think I agree, though there is a lot of vagueness and intuition involved, and not a lot of hard argument. Can you derive A from B, but not B from A? Is A inconceivable without B, but B conceivable without A? |