more on this theme | more from this thinker
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 Ref
'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.8
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |