Combining Texts

Ideas for 'works', 'On 'Generation and Corruption'' and 'Naming and Necessity lectures'

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

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic

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