Sentence examples for comprehension principles from inspiring English sources

Finally, it is important to point out that the system we have just described, i.e., second-order logic with identity and comprehension principles, extended by λ-notation and λ-Conversion, is consistent.

These approaches can, like minimalism, treat properties as contingent, fairly coarsely individuated, and too sparse to satisfy any general comprehension principles (e.g., they may deny that there are negative or disjunctive properties).

Additional consistency/inconsistency results about the relationship between extensionality and uniform vs. non-uniform comprehension principles can be found, e.g., in Hinnion and Libert 2003, Esser and Libert 2005.

The naive comprehension principle faces several problems.

A naive comprehension principle generates objects that violate the principle of noncontradiction.

On the other hand, there have been many suggestions for restricting the Comprehension Principle for Concepts.

The naive comprehension principle faced the problem of generating an existent winged horse.

By the naive comprehension principle this condition determines an object and that object is self-distinct.

How do these distinctions solve the problems raised above for the naive comprehension principle?

Finally, Russell's worry that a Meinongian comprehension principle generates existent winged horses can be answered.

The comprehension principle is then restricted to conditions involving only nuclear predicates.