34 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) |
| 16252 | Metaphysics uses empty words, or just produces pseudo-statements [Carnap] |
| Full Idea: Since metaphysics doesn't want to assert analytic propositions, nor fall within the domain of physical science, it is compelled to employ words for which no criteria of application are specified, ..or else combine meaningful words..into pseudo-statements. | |
| From: Rudolph Carnap (Elimination of Metaphysics by Analysis of Language [1959]), quoted by Tim Maudlin - The Metaphysics within Physics 2.4 | |
| A reaction: A classic summary of the logical positivist rejection of metaphysics. I incline to treat metaphysics as within the domain of science, but at a level of generality so high that practising scientists become bewildered and give up. |
| 13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
| Full Idea: Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects. | |
| From: comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414 | |
| A reaction: This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear. |
| 13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
| Full Idea: In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments. | |
| From: Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3 | |
| A reaction: This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view. |
| 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. |
| 12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
| Full Idea: Enduring objects should be taken as fundamental in an ontology, and for all such objects indiscernibility is both a necessary and sufficient condition for identity. | |
| From: Baruch Brody (Identity and Essence [1980], 3) | |
| A reaction: Brody offers a substantial defence, but I don't find it plausible. Apart from Black's well known twin spheres example (Idea 10195), discernibility is relative to the powers of the observer. Two similar people in the mist aren't thereby identical. |
| 15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
| Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. | |
| From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
| A reaction: Brody tends to treat categories as properties, which I dislike. How do you assess 'must' here? A person may possess a mole throughout life without it being essential. |
| 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? |
| 12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
| Full Idea: The modern emphasis has been on the connection between essential properties and the properties that an object must have essentially. But traditionally there is also the connection between essential properties and the sort of thing that it is. | |
| From: Baruch Brody (Identity and Essence [1980], 5.6) | |
| A reaction: These are the modal essence and the definitional essence. My view is that he has missed out a crucial third (Aristotelian) view, which is that essences are explanatory. This third view can subsume the other two. |
| 11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
| Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. ...'Once an F, always an F'. ...Being a parrot is not a temporary occupation. | |
| From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
| A reaction: Hm. Would being less than fifty metres tall qualify as a sortal essence, for a giraffe or a uranium rod? If there is one thing an essential property should be, it is important. How do we assess importance? By explanatory power! Watch this space. |
| 12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
| Full Idea: We can advance the thesis that all essential properties either determine a natural kind or are part of an essential property that does determine a natural kind. | |
| From: Baruch Brody (Identity and Essence [1980]) | |
| A reaction: A useful clear statement of the view. I am opposed to it, because I take it to be of the essence of Socrates that he is philosophical, but humans are not essentially philosophical, and philosophers are unlikely to be a natural kind. |
| 12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
| Full Idea: To say that an object a has a property P essentially is to say that it has P, and in all of certain worlds (all possible, all in which something identical with it exists, ...) the object identical with it has P. This is the standard de re interpretation. | |
| From: Baruch Brody (Identity and Essence [1980], 5.4) | |
| A reaction: This view always has to be qualified by excluding trivially necessary properties, but that exclusion shows clearly that the notion of essential is more concerned with non-triviality than it is with necessity. |
| 12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
| Full Idea: 'a has property P essentially' means 'a has P, a always had P, there is no possible past in which P exists without P, and there is no moment of time at which a has had P and at which there is a possible future in which a exists without P' | |
| From: Baruch Brody (Identity and Essence [1980], 6) | |
| A reaction: This is Brody's own final account of essentialism. This is a carefully qualified form of the view that essential properties are, on the whole, the necessary properties, which view I take to be fundamentally mistaken. |
| 12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
| Full Idea: An object having a property essentially is equivalent to its having it necessarily. | |
| From: Baruch Brody (Identity and Essence [1980], 6.1) | |
| A reaction: This strikes me as blatantly false. Personally I am toying with the very unorthodox view that essential properties are not at all necessary, and that something can retain its identity while changing its essential character. A philosopher with Alzheimers. |
| 12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
| Full Idea: The reasonableness of the essentialist hypothesis will be proportional to the extent that we can, as a result, use a's possession of P to explain a's other properties, ...and there is an inability to explain otherwise why a has P. | |
| From: Baruch Brody (Identity and Essence [1980], 6.3) | |
| A reaction: Brody as a rather liberal notion of properties. I would hope that we can do rather more than explain a's non-essential properties. If the non-essential properties were entailed by the essential ones, would they not then also be essential? |
| 12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
| Full Idea: Mereological essentialism (whose leading advocate is Chisholm) says that for every x and y, if x is ever part of y, then y is necessarily such that x is part of y at any time that y exists. | |
| From: Baruch Brody (Identity and Essence [1980], 5.6) | |
| A reaction: This sounds implausible, especially given the transitivity of parthood. Not only are the planks that constitute Theseus's Ship now essential to it, but all the parts of the planks, every last chip, are as well. |
| 12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
| Full Idea: If 'beginning of existence' meant 'first moment of existence after a period of nonexistence', then objects with interrupted existence have two beginnings of existence. | |
| From: Baruch Brody (Identity and Essence [1980], 4.1) | |
| A reaction: One might still maintain that the first beginning was essential to the object, since that is the event that defined it - and that would clarify the reason why we are supposed to think the origins are essential. I say the origin explains it. |
| 12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
| Full Idea: Suppose that a and b have all of their properties in common. a certainly has the property of-being-identical-with-a. So, by supposition, does b. Then a = b. | |
| From: Baruch Brody (Identity and Essence [1980], 1.2) | |
| A reaction: Brody defends this argument, and seems to think that it proves the identity of indiscernibles. As far as I can see it totally begs the question, since we can only assume that both have the property of being-identical-with-a if we have assumed a = b. |
| 14305 | In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap] |
| Full Idea: If a wooden match was completely burned up yesterday, and never placed in water at any time, is it not the case, therefore, that the match is soluble (in the truth-functional view). This follows just from the antecedent being false. | |
| From: Rudolph Carnap (Testability and Meaning [1937], I.440), quoted by Stephen Mumford - Dispositions | |
| A reaction: This, along with Edgington's nice example of the conditional command (Idea ) seems conclusive against the truth-functional account. The only defence possible is some sort of pragmatic account about implicature. |
| 12138 | Identity across possible worlds is prior to rigid designation [Brody] |
| Full Idea: Identity across possible worlds is prior to rigid designation. | |
| From: Baruch Brody (Identity and Essence [1980], 5.4) | |
| A reaction: An interesting view. We might stipulate that any possible Aristotle is 'our Aristotle', but you would still need criteria for deciding which possible Aristotle's would qualify. Long-frozen Aristotles, stupid Aristotles, alien Aristotle's, deformed... |
| 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? |
| 18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
| Full Idea: Carnap's ultimate ambition in the Aufbau is to provide a constitution-system within which any predicate of any scientific vocabulary can be explicitly defined in terms of primitive relations holding among basic elements, using type theory. | |
| From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Tim Button - The Limits of Reason 05.2 | |
| A reaction: David Chalmers has a modern shot at the same project in 'Constructing the World'. Ramsey sentences seem to be part of the same game. |
| 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) |
| 13048 | Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon] |
| Full Idea: Carnap's four criteria for giving a good explication are similarity to the explicandum, exactness, fruitfulness and simplicity. | |
| From: report of Rudolph Carnap (Logical Foundations of Probability [1950], Ch.1) by Wesley Salmon - Four Decades of Scientific Explanation 0.1 | |
| A reaction: [compressed] Salmon's view is that this represents the old attitude, that the contribution of philosophy to explanation is the clarification of the key concepts. Carnap is, of course, a logical empiricist. |
| 12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
| Full Idea: In the 'Aufbau', Carnap tried to show how all of our concepts can be derived from a few basic concepts. ..Consequently there can be one science which studied all that existed, the science of the objects corresponding to the basic concepts. | |
| From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Baruch Brody - Identity and Essence 2.2 | |
| A reaction: This is Carnap's Constructionist programme. |
| 11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |
| Full Idea: Carnap's proposal is to understand the category of intensions appropriate to sentences (his 'propositions') as sets of possible worlds. The intension of the sentence is taken as the set of all possible worlds in which the sentence is true. | |
| From: report of Rudolph Carnap (Meaning and Necessity [1947]) by David Kaplan - Transworld Heir Lines p.90 | |
| A reaction: [reference?] This extension of the truth-conditions view of meaning strikes me as being very attractive. Except that whole worlds hardly seem to be relevant to my remark about how lunch might have been improved. |
| 18285 | All translation loses some content (but language does not create reality) [Carnap] |
| Full Idea: I do not believe in translatability without loss of content, and therefore I think that the content of a world description is influenced to a certain degree by choice of a language form. But that does not mean that reality is created through language. | |
| From: Rudolph Carnap (Letters to Schlick [1935], 1935.12.04), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 19 'Truth' | |
| A reaction: It is a mistake to think Quine was the first to spot the interest of translation in philosophy of language. 'Does translation always lose content?' is a very nice question for focusing the problem. |
| 18202 | The concept of a field gradually replaced the substances in explaining relations between charges [Einstein/Infeld] |
| Full Idea: In the beginning the field concept was no more than a means of facilitating the understanding of phenomena. ...In the new field language it is the field and not the charges themselves which is essential. The substance was overshadowed by the field. | |
| From: Einstein,A/Infeld,L (The Evolution of Physics [1938], p.151), quoted by Penelope Maddy - Naturalism in Mathematics II.4 | |
| A reaction: This is very important for philosophical metaphysicians, especially those like me who want to explain the universe by the nature of the stuff that composes it. The 'stuff' had better not be simplistic individual 'substances'. |