6 ideas
| 21546 | We can't sharply distinguish variables, domains and values, if symbols frighten us [Russell] |
| Full Idea: Whoever is afraid of symbols can hardly hope to acquire exact ideas where it is necessary to distinguish 1) the variable in itself as opposed to its value, 2) any value of the variable, 3) all values, 4) some value. | |
| From: Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905], p.84) | |
| A reaction: Not the best example, perhaps, of the need for precision, but a nice illustration of the new attitude Russell brought into philosophy. |
| 10053 | Geometrical axioms imply the propositions, but the former may not be true [Russell] |
| Full Idea: We must only assert of various geometries that the axioms imply the propositions, not that the axioms are true and therefore that the propositions are true. | |
| From: Bertrand Russell (Foundations of Geometry [1897], Intro vii), quoted by Alan Musgrave - Logicism Revisited §4 | |
| A reaction: Clearly the truth of the axioms can remain a separate issue from whether they actually imply the theorems. The truth of the axioms might be as much a metaphysical as an empirical question. Musgrave sees this as the birth of if-thenism. |
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 10052 | Geometry is united by the intuitive axioms of projective geometry [Russell, by Musgrave] |
| Full Idea: Russell sought what was common to Euclidean and non-Euclidean systems, found it in the axioms of projective geometry, and took a Kantian view of them. | |
| From: report of Bertrand Russell (Foundations of Geometry [1897]) by Alan Musgrave - Logicism Revisited §4 | |
| A reaction: Russell's work just preceded Hilbert's famous book. Tarski later produced some logical axioms for geometry. |
| 21531 | Common sense agrees with Meinong (rather than Russell) that 'Pegasus is a flying horse' is true [Lackey on Russell] |
| Full Idea: Meinong's theory says that 'Pegasus is a flying horse' is true, while Russell's says that this assertion is false. The average man, if he knows his mythology, would probably agree with Meinong. | |
| From: comment on Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.19 | |
| A reaction: It seems obvious that some disambiguation is needed here. Assenting to that assertion would be blatantly contextual. No one backs Pegasus at a race track. |
| 21545 | I prefer to deny round squares, and deal with the difficulties by the theory of denoting [Russell] |
| Full Idea: I should prefer to say that there is no such object as 'the round square'. The difficulties of excluding such objects can, I think, be avoided by the theory of denoting. | |
| From: Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905], p.81) | |
| A reaction: The 'theory of denoting' is his brand new theory of definite descriptions, which makes implicit claims of existence explicit, so that they can be judged. Why can't we just say that a round square can be an intentional object, but not a real object? |