display all the ideas for this combination of philosophers
1 idea
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
| Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2) | |
| A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English. |