Combining Texts

Ideas for 'fragments/reports', 'Necessity, Essence and Individuation' and 'Philosophy of Mathematics'

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

display all the ideas for this combination of texts

---

1 idea

2. Reason / D. Definition / 8. Impredicative Definition

10882	Predicative definitions only refer to entities outside the defined collection [Horsten]
	Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection.
	From: Leon Horsten (Philosophy of Mathematics [2007], §2.4)