Single Idea 21558

[catalogued under 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism]

Full Idea

Norms (containing one variable) which do not define classes I propose to call 'non-predicative'; those which do define classes I shall call 'predicative'.

Gist of Idea

'Predicative' norms are those which define a class

Source

Bertrand Russell (Difficulties of Transfinite Numbers and Types [1905], p.141)

Book Reference

Russell,Bertrand: 'Essays in Analysis', ed/tr. Lackey,Douglas [George Braziller 1973], p.141


Related Ideas

Idea 21559 We need rules for deciding which norms are predicative (unless none of them are) [Russell]

Idea 21568 A one-variable function is only 'predicative' if it is one order above its arguments [Russell]