25 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. |
19323 | 'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy] |
Full Idea: The difference between (a) snow is white, and (b) 'snow is white' true is that the first makes a claim that only depends on the colour of snow, while the second depends both on the colour of snow and the meaning of the sentence 'snow is white'. | |
From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.61), quoted by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.7 | |
A reaction: This is a helpful first step for those who have reached screaming point by being continually offered this apparently vacuous equivalence. This sentence works well if that stuff is a particular colour. |
19137 | We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy] |
Full Idea: Getting from a Tarskian definition of truth to a substantive account of the semantic properties of the object language may involve as little as the reintroduction of a primitive notion of truth. | |
From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.60), quoted by Donald Davidson - Truth and Predication 1 | |
A reaction: This is, I think, the first stage in modern developments of axiomatic truth theories. The first problem would be to make sure you haven't reintroduced the Liar Paradox. You need axioms to give behaviour to the 'true' predicate. |
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. |
14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
Full Idea: The Representational account of validity says an argument is valid if there is no situation where the premises are true and the conclusion false. The Interpretation account says the premises are true and conclusion false under no interpretations. | |
From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
A reaction: My immediate instinct is to want logic to be about situations, rather than interpretations. Situations are more about thought, where interpretations are more about language. I think our account of logic should have some applicability to animals. |
14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
Full Idea: In Etchemendy's Interpretational Semantics (perhaps better called 'Substitutional') we keep the situation fixed and vary the interpretation; in Representational Semantics ('Modal'?) we keep interpretations fixed but consider varying situations. | |
From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
A reaction: [compressed] These are semantic strategies for interpreting logic, so they are two ways you might go about assessing an argument. |
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. |
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? |
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. |
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. |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
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. |