Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Philosophy of Mathematics' and 'Rationality and Goodness'

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)