display all the ideas for this combination of texts
1 idea
10559 | Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta] |
Full Idea: Kripke's modal semantics presupposes that worlds are maximal and consistent, that there is a unique actual world, and that worlds are coherent (e.g. lack contradiction, obey conjunction). | |
From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Edward N. Zalta - Deriving Kripkean Claims with Abstract Objects |