display all the ideas for this combination of texts
3 ideas
| 18162 | The propositions of logic are analytic tautologies [Wittgenstein] |
| Full Idea: The propositions of logic are tautologies. Therefore the propositions of logic say nothing. (They are the analytic propositions). | |
| From: Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 6.1) |
| 7537 | Wittgenstein convinced Russell that logic is tautologies, not Platonic forms [Wittgenstein, by Monk] |
| Full Idea: Russell took a Platonist view of logic, but reading the 'Tractatus' convinced him that logic was purely linguistic, so-called 'logical truths' being nothing more than tautologies. | |
| From: report of Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.1 | |
| A reaction: If p-and-q and p-or-q are both tautologies, how do you explain the difference between them? The first is an indicative proposition about the actual world, but the second is modal. They are asserting very different things. |
| 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. |