21 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) |
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? |
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? |
22189 | Why abandon a theory if you don't have a better one? [Gorham] |
Full Idea: There is no sense in abandoning a successful theory if you have nothing to replace it with. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 2) | |
A reaction: This is also a problem for infererence to the best explanation. What to do if your best explanation is not very good? The simple message is do not rush to dump a theory when faced with an anomaly. |
22190 | If a theory is more informative it is less probable [Gorham] |
Full Idea: Popper's theory implies that more informative theories seem to be less probable. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 3) | |
A reaction: [On p.75 Gorham replies to this objection] The point is that to be more testable they must be more detailed. He's not wrong. Theories are meant to be general, so they sweep up the details. But they need precise generalities and specifics. |
22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
Full Idea: Is Newton's theory simpler than Einstein's, since there is only one relation of simultaneity in absolute time, or is Einstein's simpler because it dispenses with absolute time altogether? | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: A nice question, to which a good scientist might be willing to offer an answer. Since simultaneity is crucial but the existence of time is not, I would vote for Newton as the simpler. |
22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
Full Idea: Structural Realists say that modern science achieves a true or 'truer' account of the world only with respect to its mathematical structure rather than its intrinsic qualities or nature. The structure carries over to new theories. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: At first glance I am unconvinced that when an old theory is replaced it neverthess contains some sort of 'mathematical structure' which endures and is worth preserving. No doubt Worrall, French and co have examples. |
22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
Full Idea: Structural Realists must show that it is the mathematical aspects of the theories, not their content, that account for their success ….and that their structure and content can be clearly separated. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Their approach certainly seems to rely on mathematical types of science, so it presumably fits biology, geology and even astronomy less well. |
22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
Full Idea: The strangeness of interpreting theories as mere tools for organising present experience is brought out clearly in sciences like cosmology and paleontology, which largely concern events in the remote past or future. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Not conclusive. An anti-realist has to interpret those sciences in terms of the current observations that are available. |
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) |
22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
Full Idea: The main difficulty with instrumentalism is its implausible account ot the meaning of theoretical claims and concepts. Most scientists take them to be straightforward attempts to describe the world. Most say they are useful because they are accurate. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Instrumentalism is seen as a Pragmatist view, and Dewey is cited. |
22193 | Consilience makes the component sciences more likely [Gorham] |
Full Idea: The more unification and integration is found among the modern sciences, the less likely it seems it will have all been a dream. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: I believe this strongly. Ancient theories which were complex, wide ranging and false do not impress me. This is part of my coherence view of justification. |
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'). |
22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |
Full Idea: Aristotelian physics assumed that celestial motion is naturally circular and eternal while terrestrial motion is naturally toward the center of the earth and final. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: The overthrow of this by Galileo and then Newton may have been the most dramatic revolution of the new science. It opened up the possibility of universal laws of physics. |