20 ideas
| 13939 | No possible evidence could decide the reality of numbers, so it is a pseudo-question [Carnap] |
| Full Idea: I cannot think of any possible evidence that would be regarded as relevant by both nominalists and realists about numbers, and would decide the controversy, or make one side more probable. Hence I regard the external questions as pseudo-questions. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 4) |
| 13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
| Full Idea: The whole of quantified modal logic collapses if essence is withdrawn. | |
| From: Willard Quine (Intensions Revisited [1977], p.121) | |
| A reaction: Quine offers an interesting qualification to this crushing remark in Idea 13590. The point is that objects must retain their identity in modal contexts, as if I say 'John Kennedy might have been Richard Nixon'. What could that mean? |
| 13936 | Questions about numbers are answered by analysis, and are analytic, and hence logically true [Carnap] |
| Full Idea: For the internal question like 'is there a prime number greater than a hundred?' the answers are found by logical analysis based on the rules for the new expressions. The answers here are analytic, i.e., logically true. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2) |
| 8748 | Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro] |
| Full Idea: The logical positivists brought geometry into the fold of logicism. The axioms of, say, Euclidean geometry are simply definitions of primitive terms like 'point' and 'line'. | |
| From: report of Rudolph Carnap (Empiricism, Semantics and Ontology [1950]) by Stewart Shapiro - Thinking About Mathematics 5.3 | |
| A reaction: If the concept of 'line' is actually created by its definition, then we need to know exactly what (say) 'shortest' means. If we are merely describing a line, then our definition can be 'impredicative', using other accepted concepts. |
| 8960 | Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó] |
| Full Idea: Carnap's verdict is that questions regarding the existence of abstracta tend to be trivial when taken as internal and deeply problematic when taken as external. | |
| From: report of Rudolph Carnap (Empiricism, Semantics and Ontology [1950]) by Zoltán Gendler Szabó - Nominalism 6 | |
| A reaction: If the internal aspect of the problem is 'trivial', this would put Carnap in league with fictionalists, who are only committed to entities while playing the current game. What is the status of the theory? Carnap wanted flowers to bloom. |
| 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. |
| 13933 | Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap] |
| Full Idea: We distinguish two kinds of existence questions: first, entities of a new kind within the framework; we call them 'internal questions'. Second, 'external questions', concerning the existence or reality of the system of entities as a whole. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2) | |
| A reaction: This nicely disposes of many ontological difficulties, but at the price of labelling most external questions as meaningless, so that the internal answers have very little commitment, and the external (big) questions are now banned. Not for me. |
| 13934 | To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself [Carnap] |
| Full Idea: To be real in the scientific sense means to be an element of the system; hence this concept cannot be meaningfully applied to the system itself. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2) |
| 13938 | A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap] |
| Full Idea: If someone accepts a framework for a kind of entities, then he must admit the entities as possible designata. Thus the question of the admissibility of entities is reduced to the question of the acceptability of the linguistic framework for the entities. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 4) | |
| A reaction: Despite the many differences of opinion between Quine and Carnap, this appears to be a straight endorsement by Carnap of the Quinean conception of ontological commitment. |
| 13935 | We only accept 'things' within a language with formation, testing and acceptance rules [Carnap] |
| Full Idea: To accept the thing world means nothing more than to accept a certain form of language, in other words, to accept rules for forming statements and for testing, accepting, or rejecting them. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2) | |
| A reaction: If you derive your metaphysics from your language, then objects are linguistic conventions. But why do we accept conventions about objects? |
| 13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
| Full Idea: The notion of essence makes sense in context. Relative to a particular enquiry, some predicates may play a more basic role than others, or may apply more fixedly; and these may be treated as essential. | |
| From: Willard Quine (Intensions Revisited [1977], p.121) | |
| A reaction: Quine has got a bad press on essentialism, and on modal logic, but I take this point seriously. If you give something a fixed identity by means of essence in some context, you can then go ahead and apply possible world reasoning in that context. |
| 8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
| Full Idea: The very notion of necessity makes sense to me only relative to context. Typically it is applied to what is assumed in an inquiry, as against what has yet to transpire. | |
| From: Willard Quine (Intensions Revisited [1977], p.121) | |
| A reaction: Lots of things are assumed by an inquiry without an assumption that they must be true. Quine is the greatest opponent of necessity in all of philosophy. Asserting necessities, though, is too much fun to give up. It would ruin philosophy. |
| 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. |
| 13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
| Full Idea: Talk of possible worlds is a graphic way of waging the essentialist philosophy, but it is only that; it is not an explication. Essence is needed to identify an object from one possible world to another. | |
| From: Willard Quine (Intensions Revisited [1977], p.118) | |
| A reaction: He makes the proposal sound circular, but I take a commitment to essences to be prior to talk of possible worlds. Possible worlds are a tool for clarifying modalities, not for clarifying essential identities. |
| 13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
| Full Idea: A rigid designator differs from others in that it picks out its object by essential traits. It designates the object in all possible worlds in which it exists. | |
| From: Willard Quine (Intensions Revisited [1977], p.118) | |
| A reaction: This states the point more clearly than Kripke ever does, and I presume it is right. Thus when we say that we wish 'our' Hubert Humphrey had won the election, we can allow that his victory elation would change him a bit. Kripke is right. |
| 13592 | Beliefs can be ascribed to machines [Quine] |
| Full Idea: Beliefs have been ascribed to machines, in support of a mechanistic philosophy, and I share this attitude. | |
| From: Willard Quine (Intensions Revisited [1977], p.123) | |
| A reaction: [He cites Raymond Nelson] One suspects that this is Quine's latent behaviourism speaking. It strikes me as a crass misuse of 'belief' to ascribe it to a simple machine like a thermostat. |
| 13932 | Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap] |
| Full Idea: Empiricists are in general rather suspicious with respect to any kind of abstract entities like properties, classes, relations, numbers, propositions etc. They usually feel more sympathy with nominalists than with realists (in the medieval sense). | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 1) | |
| A reaction: The obvious reason is that you can't have sense experiences of abstract entities. I like the question 'what are they made of?' rather than the question 'how can I experience them?'. |
| 13937 | New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap] |
| Full Idea: The acceptance of new linguistic forms about entities cannot be judged as being either true or false because it is not an assertion. It can only be judged as being more or less expedient, fruitful, conducive to the aim for which the language is intended. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 3) | |
| A reaction: The obvious problem seems to be that a complete pack of lies might be successful for a very long time, if it plugged a critical hole in a major theory. Is success judged financially? How do we judge success without mentioning truth? |
| 13940 | All linguistic forms in science are merely judged by their efficiency as instruments [Carnap] |
| Full Idea: The acceptance or rejection of abstract (or any other) linguistic forms in any branch of science will finally be decided by their efficiency as instruments. | |
| From: Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 5) |