more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 6409

[filed under theme 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 Ref

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.