more on this theme     |     more from this text

Single Idea 8684

[filed under theme 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism ]

Full Idea

Russell and Whitehead are particularly careful to avoid paradox, and consider the paradoxes to indicate that we create mathematical reality.

Gist of Idea

Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality

Source

report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Michčle Friend - Introducing the Philosophy of Mathematics 3.1

Book Ref

Friend,Michčle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.51

A Reaction

This strikes me as quite a good argument. It is certainly counterintuitive that reality, and abstractions from reality, would contain contradictions. The realist view would be that we have paradoxes because we have misdescribed the facts.

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]