more on this theme | more from this thinker
Full Idea
The main and the original motivation for the 'possible worlds analysis' - and the way it clarified modal logic - was that it enabled modal logic to be treated by the same set theoretic techniques of model theory used successfully in extensional logic.
Gist of Idea
Possible worlds allowed the application of set-theoretic models to modal logic
Source
Saul A. Kripke (Naming and Necessity preface [1980], p.19 n18)
Book Ref
Kripke,Saul: 'Naming and Necessity' [Blackwell 1980], p.19
A Reaction
So they should be ascribed the same value that we attribute to classical model theory, whatever that is.
| 16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
| 4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |
| 16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
| 9385 | The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke] |
| 4943 | Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke] |
| 16983 | Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke] |
| 16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
| 16984 | I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke] |