According to the Naive Theory of Properties, for every predicate Θ(x) there is a corresponding property λxΘ(x). Moreover, this property λxΘ(x) is instantiated by an object o if and only if Θ(o). More generally, the Naive Theory involves the following "Naive Comprehension Schema":
No takes yet. Share an insight, caveat, or question.
Hartry Field (2003) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: