18 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) |
| 11970 | Logicians like their entities to exhibit a maximum degree of purity [Kaplan] |
| Full Idea: Logicians like their entities to exhibit a maximum degree of purity. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.97) | |
| A reaction: An important observation, which explains why the modern obsession with logic has often led us down the metaphysical primrose path to ontological hell. |
| 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. |
| 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? |
| 11969 | Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan] |
| Full Idea: The use of models is so natural to logicians ...that they sometimes take seriously what are only artefacts of the model, and adopt a bare particular metaphysics. Why? Because the model so nicely separates the bare particular from its clothing. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.97) | |
| A reaction: See also Idea 11970. I think this observation is correct, and incredibly important. We need to keep quite separate the notion of identity in conceptual space from our notion of identity in the actual world. The first is bare, the second fat. |
| 11971 | The simplest solution to transworld identification is to adopt bare particulars [Kaplan] |
| Full Idea: If we adopt the bare particular metaphysical view, we have a simple solution to the transworld identification problem: we identify by bare particulars. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.98) | |
| A reaction: See Ideas 11969 and 11970 on this idea. The problem with bare particulars is that they can change their properties utterly, so that Aristotle in the actual world can be a poached egg in some possible world. We need essences. |
| 11973 | Unusual people may have no counterparts, or several [Kaplan] |
| Full Idea: An extremely vivid person might have no counterparts, and Da Vinci seems to me to have more than one essence. Bertrand Russell is clearly the counterpart of at least three distinct persons in some more plausible world. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.100) | |
| A reaction: Lewis prefers the notion that there is at most one counterpart, the 'closest' entity is some world. I think he also claims there is at least one counterpart. I like Kaplan's relaxed attitude to these things, which has more explanatory power. |
| 11972 | Essence is a transworld heir line, rather than a collection of properties [Kaplan] |
| Full Idea: I prefer to think of essence as a transworld heir line, rather than as the more familiar collection of properties, because the latter too much suggests the idea of a fixed and final essential description. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.100) | |
| A reaction: He is sympathetic to the counterpart idea, and close to Lewis's view of essences, as the intersection of counterparts. I like his rebellion against fixed and final descriptions, but am a bit doubtful about his basic idea. Causation should be involved. |
| 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) |
| 11967 | Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan] |
| Full Idea: Among the proposals for conditions under which two sentences have the same ordinary sense, the most liberal (Carnap and Church) is that they be logically equivalent, and the most restrictive (Benson Mates) is that they never have the same sense. | |
| From: David Kaplan (Transworld Heir Lines [1967], p.89) | |
| A reaction: Personally I would move the discussion to the level of the propositions being expressed before I attempted a solution. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |