Lexicon of Arguments

 

I 96
Predicative functions: f (x) - non-predicative: f(x^): Function as opposed to its values! - Predicative(s): function that is one step higher than its argument.
>Levels/Order, >Function/Russell.
I 109
Class/predicative/totality/Principia Mathematica⁽¹⁾/Russell: each class can be defined by a predictive function - hence the totality of classes, of which one can sensibly say that a given term belongs to them or not, a legitimate entirety, although the entirety of functions, of which one can say that a given term fulfils them or not, is not a legitimate entirety.
>Totality.
I 116
Definition predicative function/Principia Mathematica/Russell: notation: j ! (x,y) (predicative function of x and y.) -
Def non-predicative/impredicative function/Principia Mathematica/Russell: function as opposed to its values: notation: j ! (x^, y^).


1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press.

- - -

E. Picardi Alfred North Whitehead/Bertrand Russell: Principia Mathematica aus "Hauptwerke der Philosophie 20. Jahrhundert" , Eva Picardi u.a. Stuttgart 1992 p. 18

Non-predicative properties: E.g. having all the properties of a great commander - predicative: E.g. to be born in Corsica.