10 ideas
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. |
18935 | Semantic theory should specify when an act of naming is successful [Sawyer] |
Full Idea: A semantic theory of names should deliver a specification of the conditions under which a name names an individual, and hence a specification of the conditions under which a name is empty. | |
From: Sarah Sawyer (Empty Names [2012], 1) | |
A reaction: Naming can be private, like naming my car 'Bertrand', but never tell anyone. I like Plato's remark that names are 'tools'. Do we specify conditions for successful spanner-usage? The first step must be individuation, preparatory to naming. |
18945 | Millians say a name just means its object [Sawyer] |
Full Idea: The Millian view of direct reference says that the meaning of a name is the object named. | |
From: Sarah Sawyer (Empty Names [2012], 4) | |
A reaction: Any theory that says meaning somehow is features of the physical world strikes me as totally misguided. Napoleon is a man, so he can't be part of a sentence. He delegates that job to words (such as 'Napoleon'). |
18934 | Sentences with empty names can be understood, be co-referential, and even be true [Sawyer] |
Full Idea: Some empty names sentences can be understood, so appear to be meaningful ('Pegasus was sired by Poseidon'), ...some appear to be co-referential ('Santa Claus'/'Father Christmas'), and some appear to be straightforwardly true ('Pegasus doesn't exist'). | |
From: Sarah Sawyer (Empty Names [2012], 1) | |
A reaction: Hang on to this, when the logicians arrive and start telling you that your talk of empty names is vacuous, because there is no object in the 'domain' to which a predicate can be attached. Meaning, reference and truth are the issues around empty names. |
18938 | Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer] |
Full Idea: In Frege's account sentences such as 'Pegasus does not exist' will be neither true nor false, since the truth-value of a sentence is its referent, and the referent of a complex expression is determined by the referent of its parts. | |
From: Sarah Sawyer (Empty Names [2012], 2) | |
A reaction: We can keep the idea of 'sense', which is very useful for dealing with empty names, but tweak his account of truth-values to evade this problem. I'm thinking that meaning is compositional, but truth-value isn't. |
18947 | Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer] |
Full Idea: If it were possible for a definite description to be empty - not in the sense of there being no object that satisfies it, but of there being no set of properties it refers to - the problem of empty names would not have been solved. | |
From: Sarah Sawyer (Empty Names [2012], 5) | |
A reaction: Swoyer is thinking of properties like 'is a unicorn', which are clearly just as vulnerable to being empty as 'the unicorn' was. It seems unlikely that 'horse', 'white' and 'horn' would be empty. |
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. |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |