display all the ideas for this combination of texts
4 ideas
| 6423 | We tried to define all of pure maths using logical premisses and concepts [Russell] |
| Full Idea: The primary aim of our 'Principia Mathematica' was to show that all pure mathematics follows from purely logical premisses and uses only concepts definable in logical terms. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.7) | |
| A reaction: This spells out the main programme of logicism, by its great hero, Russell. The big question now is whether Gödel's Incompleteness Theorems have succeeded in disproving logicism. |
| 6424 | Formalists say maths is merely conventional marks on paper, like the arbitrary rules of chess [Russell] |
| Full Idea: The Formalists, led by Hilbert, maintain that arithmetic symbols are merely marks on paper, devoid of meaning, and that arithmetic consists of certain arbitrary rules, like the rules of chess, by which these marks can be manipulated. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.10) | |
| A reaction: I just don't believe that maths is arbitrary, and this view pushes me into the arms of the empiricists, who say maths is far more likely to arise from experience than from arbitrary convention. The key to maths is patterns. |
| 6425 | Formalism can't apply numbers to reality, so it is an evasion [Russell] |
| Full Idea: Formalism is perfectly adequate for doing sums, but not for the application of number, such as the simple statement 'there are three men in this room', so it must be regarded as an unsatisfactory evasion. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.10) | |
| A reaction: This seems to me a powerful and simple objection. The foundation of arithmetic is that there are three men in the room, not that one plus two is three. Three men and three ties make a pattern, which we call 'three'. |
| 6426 | Intuitionism says propositions are only true or false if there is a method of showing it [Russell] |
| Full Idea: The nerve of the Intuitionist theory, led by Brouwer, is the denial of the law of excluded middle; it holds that a proposition can only be accounted true or false when there is some method of ascertaining which of these it is. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.2) | |
| A reaction: He cites 'there are three successive sevens in the expansion of pi' as a case in point. This seems to me an example of the verificationism and anti-realism which is typical of that period. It strikes me as nonsense, but Russell takes it seriously. |