Single Idea 10093

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

Full Idea

Russell and Whitehead's ramified theory of types worked not with sets, but with propositional functions (similar to Frege's concepts), with a more restrictive assignment of variables, insisting that bound, as well as free, variables be of lower type.

Gist of Idea

The ramified theory of types used propositional functions, and covered bound variables

Source

report of B Russell/AN Whitehead (Principia Mathematica [1913]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.3

Book Reference

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.47


A Reaction

I don't fully understand this (and no one seems much interested any more), but I think variables are a key notion, and there is something interesting going on here. I am intrigued by ordinary language which behaves like variables.