more on this theme | more from this thinker
Full Idea
The main benefit of the possible worlds move is to permit one to paraphrase modal claims in an extensional language that has quantifiers, but no modal auxiliaries, so the semantic stucture of modal discourse can be discussed without the controversies.
Gist of Idea
Possible worlds allow discussion of modality without controversial modal auxiliaries
Source
Robert C. Stalnaker (Reference and Necessity [1997], 2)
Book Ref
Stalnaker,Robert C.: 'Ways a World Might Be' [OUP 2003], p.171
A Reaction
The strategy introduces the controversy of possible worlds instead, but since they just boil down to collections of objects with properties, classical logic can reign. Possible worlds are one strategy alongside many others.
Related Idea
Idea 16397 If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker]
| 16396 | Kripke's possible worlds are methodological, not metaphysical [Stalnaker] |
| 16403 | 'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker] |
| 16397 | If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker] |
| 16399 | Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker] |
| 16398 | Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker] |
| 16401 | To understand an utterance, you must understand what the world would be like if it is true [Stalnaker] |
| 16405 | To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker] |
| 16406 | If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker] |
| 16404 | In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker] |
| 16408 | Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker] |
| 16407 | Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker] |