more on this theme     |     more from this text

Single Idea 10093

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

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.

The 26 ideas from B Russell/AN Whitehead

8204 Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead]
9359 Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead]
21707 Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B]
10036 In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel]
18248 A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro]
10037 'Principia' lacks a precise statement of the syntax [Gödel on Russell/Whitehead]
18152 Russell takes numbers to be classes, but then reduces the classes to numerical quantifiers [Russell/Whitehead, by Bostock]
10025 Russell and Whitehead took arithmetic to be higher-order logic [Russell/Whitehead, by Hodes]
8683 Russell and Whitehead were not realists, but embraced nearly all of maths in logic [Russell/Whitehead, by Friend]
10093 The ramified theory of types used propositional functions, and covered bound variables [Russell/Whitehead, by George/Velleman]
8691 The Russell/Whitehead type theory was limited, and was not really logic [Friend on Russell/Whitehead]
9542 The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell]
21720 Russell saw Reducibility as legitimate for reducing classes to logic [Linsky,B on Russell/Whitehead]
10044 Russell denies extensional sets, because the null can't be a collection, and the singleton is just its element [Russell/Whitehead, by Shapiro]
10040 Russell showed, through the paradoxes, that our basic logical intuitions are self-contradictory [Russell/Whitehead, by Gödel]
21725 The multiple relations theory says assertions about propositions are about their ingredients [Russell/Whitehead, by Linsky,B]
8684 Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend]
8746 To avoid vicious circularity Russell produced ramified type theory, but Ramsey simplified it [Russell/Whitehead, by Shapiro]
12033 An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM]
10305 In 'Principia Mathematica', logic is exceeded in the axioms of infinity and reducibility, and in the domains [Bernays on Russell/Whitehead]
23474 A judgement is a complex entity, of mind and various objects [Russell/Whitehead]
23455 The meaning of 'Socrates is human' is completed by a judgement [Russell/Whitehead]
23480 The multiple relation theory of judgement couldn't explain the unity of sentences [Morris,M on Russell/Whitehead]
18275 Only the act of judging completes the meaning of a statement [Russell/Whitehead]
23453 Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead]
18208 We regard classes as mere symbolic or linguistic conveniences [Russell/Whitehead]