26 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) |
| 10928 | Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine] |
| Full Idea: Perhaps there is no objection to quantifying into modal contexts as long as the values of any variables thus quantified are limited to intensional objects, but they also lead to disturbing examples. | |
| From: Willard Quine (Reference and Modality [1953], §3) | |
| A reaction: [Quine goes on to give his examples] I take it that possibilities are features of actual reality, not merely objects of thought. The problem is that they are harder to know than actual objects. |
| 9406 | A class is natural when everybody can spot further members of it [Quinton] |
| Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |
| 10925 | Failure of substitutivity shows that a personal name is not purely referential [Quine] |
| Full Idea: Failure of substitutivity shows that the occurrence of a personal name is not purely referential. | |
| From: Willard Quine (Reference and Modality [1953], §1) | |
| A reaction: I don't think I understand the notion of a name being 'purely' referential, as if it somehow ceased to be a word, and was completely transparent to the named object. |
| 10926 | Quantifying into referentially opaque contexts often produces nonsense [Quine] |
| Full Idea: If to a referentially opaque context of a variable we apply a quantifier, with the intention that it govern that variable from outside the referentially opaque context, then what we commonly end up with is unintended sense or nonsense. | |
| From: Willard Quine (Reference and Modality [1953], §2) |
| 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. |
| 15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
| Full Idea: Pure, extreme nominalism sees all classification as the product of arbitrary convention. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I'm not sure what the word 'arbitrary' is doing there. Nominalists are not daft, and if they can classify any way they like, they are not likely to choose an 'arbitrary' system. Pragmatism tells the right story here. |
| 15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
| Full Idea: The naturalness of a class depends as essentially on the nature of the observers who classify as it does on the nature of the objects that they classify. ...It depends on our perceptual apparatus, and on our relatively mutable needs and interests. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: This seems to translate 'natural' as 'natural for us', which is not much use to scientists, who spend quite a lot of effort combating folk wisdom. Do desirable sports cars constitute a natural class? |
| 9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
| Full Idea: To say there are properties is to say there are natural classes, classes introduction to some of whose members enables people to pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: Aristotle would like this approach, but it doesn't find many friends among modern logician/philosophers. We should go on to ask why people agree on these things. Causal powers will then come into it. |
| 15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
| Full Idea: Properties that have no concrete instances must be defined in terms of those that have. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I wonder what the dodo used to smell like? |
| 8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
| Full Idea: Quinton proposes that an individual is a union of a group of qualities and a position. | |
| From: report of Anthony Quinton (The Nature of Things [1973], Pt I) by Keith Campbell - The Metaphysic of Abstract Particulars §5 | |
| A reaction: This seems the obvious defence of a bundle account of objects against the charge that indiscernibles would have to be identical. It introduces, however, 'positions' into the ontology, but maybe that price must be paid. Materialism needs space. |
| 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? |
| 10930 | Quantification into modal contexts requires objects to have an essence [Quine] |
| Full Idea: A reversion to Aristotelian essentialism is required if quantification into modal contexts is to be insisted on. An object must be seen as having some of its traits necessarily. | |
| From: Willard Quine (Reference and Modality [1953], §3) | |
| A reaction: This thought leads directly to Kripke's proposal of rigid designation of objects (and Lewis response of counterparts), which really gets modal logic off the ground. Quine's challenge remains - the modal logic entails a huge metaphysical commitment. |
| 14645 | To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine] |
| Full Idea: To be necessarily greater than 7 is not a trait of a number, but depends on the manner of referring to the number. | |
| From: Willard Quine (Reference and Modality [1953], §2) | |
| A reaction: The most concise quotation of Quine's objection to 'de re' modality. The point is whether the number might have been referred to as 'the number of planets'. So many of these problems are solved by fixing unambiguous propositions first. |
| 9201 | Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K] |
| Full Idea: Quine's metaphysical argument is that if 9 is 7+2 the number 9 will be necessarily greater than 7, but when 9 is described as the number of planets, the number will not be necessarily greater than 7. The necessity depends on how it is described. | |
| From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 3 | |
| A reaction: Thus necessity would be entirely 'de dicto' and not 'de re'. It sounds like a feeble argument. If I describe the law of identity (a=a) as 'my least favourite logical principle', that won't make it contingent. Describe 9, or refer to it? See Idea 9203. |
| 10927 | Necessity only applies to objects if they are distinctively specified [Quine] |
| Full Idea: Necessity does not properly apply to the fulfilment of conditions by objects (such as the number which numbers the planets), apart from special ways of specifying them. | |
| From: Willard Quine (Reference and Modality [1953], §3) | |
| A reaction: This appears to say that the only necessity is 'de dicto', and that there is no such thing as 'de re' necessity (of the thing in itself). How can Quine deny that there might be de re necessities? His point is epistemological - how can we know them? |
| 9203 | We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K] |
| Full Idea: 'Necessarily 9>7' may be true while the sentence 'necessarily the number of planets < 7' is false, even though it is obtained by substituting a coreferential term. So quantification in these contexts is unintelligible, without a clear object. | |
| From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 4 | |
| A reaction: This is Quine's second argument against modality. See Idea 9201 for his first. Fine attempts to refute it. The standard reply seems to be to insist that 9 must therefore be an object, which pushes materialist philosophers into reluctant platonism. |
| 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) |
| 10931 | We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine] |
| Full Idea: To say an object is soluble in water is to say that it would dissolve if it were in water,..which implies that 'necessarily if x is in water then x dissolves'. Yet we do not know if there is a suitable sense of 'necessarily' into which we can so quantify. | |
| From: Willard Quine (Reference and Modality [1953], §4) | |
| A reaction: This is why there has been a huge revival of scientific essentialism - because Krike seems to offer exacty the account which Quine said was missing. So can you have modal logic without rigid designation? |