Ideas from 'Deriving Kripkean Claims with Abstract Objects' by Edward N. Zalta [2006], by Theme Structure

[found in 'Nous' (ed/tr -) [- ,]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Kripke's modal semantics presupposes certain facts about possible worlds
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Abstract objects are actually constituted by the properties by which we conceive them
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstract objects are captured by second-order modal logic, plus 'encoding' formulas