Combining Texts

Ideas for 'works', 'Deriving Kripkean Claims with Abstract Objects' and 'fragments/reports'

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

display all the ideas for this combination of texts

---

1 idea

18. Thought / E. Abstraction / 2. Abstracta by Selection

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.