Single Idea 6409

[catalogued under 6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory]

Full Idea

The idea that there should be something like a distinction of levels among properties is captured in Ramsey's 'simple theory of types'.

Gist of Idea

The 'simple theory of types' distinguishes levels among properties

Source

report of Frank P. Ramsey (works [1928]) by A.C. Grayling - Russell

Book Reference

Grayling,A.C.: 'Russell' [OUP 1996], p.31


A Reaction

I merely report this, though it is not immediately obvious how anyone would decide which 'level' a type belonged on.