Single Idea 10882

[catalogued under 2. Reason / D. Definition / 8. Impredicative Definition]

Full Idea

Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection.

Gist of Idea

Predicative definitions only refer to entities outside the defined collection

Source

Leon Horsten (Philosophy of Mathematics [2007], §2.4)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.8