### Single Idea 21714

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

Full Idea

The original ramified theory of types ...furthern subdivides each of the types of the 'simple' theory according to the range of the bound variables used in the definition of each propositional function.

Gist of Idea

The ramified theory subdivides each type, according to the range of the variables

Source

Bernard Linsky (Russell's Metaphysical Logic [1999], 6)

Book Reference

Linsky,Bernard: 'Russell's Metaphysical Logic' [CSLI 1999], p.89

A Reaction

For a non-intiate like me it certainly sounds disappointing that such a bold and neat theory because a tangle of complications. Ramsey and Russell in the 1920s seem to have dropped the ramifications.