Combining Texts

Ideas for 'Through the Looking Glass', 'The Metaphysics of Modality' and 'Building Blocks of Mathematical Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


8 ideas

10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
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.
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.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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.
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
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)
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
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.
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.