Combining Texts

Ideas for 'Essays on Intellectual Powers: Conception', 'Plural Quantification Exposed' and 'Economy and Society'

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

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension

10779	A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
	Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'.
	From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
	A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates]