Suppose, then, that we count individual identity properties like being identical to A as nuclear properties, those properties entering the range of Parsons's restricted comprehension principle.
In what remains of this section, I survey these problems and distinguish different versions of Meinongianism in terms of the devices employed to develop a restricted comprehension principle for objects that avoids them.
The limitation of size conception motivates other axioms better (such as the restricted comprehension axiom).
Whereas Parsons distinguishes different kinds of properties, restricting the comprehension principle to only nuclear properties in the hope of thereby avoiding the problems plaguing the naive comprehension principle, Zalta distinguishes two different modes of having a property for the same effect.
The special axioms vary, but the basis normally includes the principle of extensionality and some restricted form of the principle of comprehension, or some elements from which these can be deduced.
Restricting the comprehension principle to the properties encoded also promises to avoid the other threats of contradiction presented above.
On the other hand, there have been many suggestions for restricting the Comprehension Principle for Concepts.
One simple solution is to restrict the comprehension principle to total conditions.
Indeed, concerning naïve comprehension, it is known since the seventies (Malitz 1976) and the eighties (Weydert 1988, Forti and Hinnion 1989) that there exist nice topological models of extensionality and non-uniform naïve comprehension restricted to generalized positivity conditions.
Further, the comprehension axiom is restricted so that the condition defining a set of a type of order n can contain parameters only of types with order ≤ n and quantifiers only over types with order < n.
Moreover, the application of nanocomposites is not limited to simple structures, and the comprehension of material behavior in complex structures is restricted when employing experimental and analytical methods.
