more on this theme | more from this text
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.
Gist of Idea
Abstract objects are captured by second-order modal logic, plus 'encoding' formulas
Source
Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2)
Book Ref
-: 'Nous' [-], p.2
A Reaction
This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English.
Related Idea
Idea 10558 Abstract objects are actually constituted by the properties by which we conceive them [Zalta]
| 10414 | Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer] |
| 10415 | Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer] |
| 10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |