Combining Texts

All the ideas for 'Categories, Classification, Cogn. Anthropology', 'Essence and Accident' and 'A Completeness Theorem in Modal Logic'

expand these ideas     |    start again     |     specify just one area for these texts

11 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
7. Existence / E. Categories / 2. Categorisation
10494 Several words may label a category; one word can name several categories; some categories lack words [Ellen]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / b. Dispositions and powers
12312 The real essence of a thing is its powers, or 'dispositional properties' [Copi]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
10937 Essential properties are the 'deepest' ones which explain the others [Copi, by Rami]
9. Objects / D. Essence of Objects / 13. Nominal Essence
12308 In modern science, nominal essence is intended to be real essence [Copi]
9. Objects / E. Objects over Time / 11. End of an Object
12303 Within the four types of change, essential attributes are those whose loss means destruction [Copi]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
12307 Modern science seeks essences, and is getting closer to them [Copi]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
12310 Real essences are scientifically knowable, but so are non-essential properties [Copi]