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) |
| 18696 | The vagueness of truthmaker claims makes it easier to run anti-realist arguments [Button] |
| Full Idea: The sheer lack of structure demanded by truthmaker theorists means that it is easier to run model-theoretic arguments against them than against correspondence theorists. | |
| From: Tim Button (The Limits of Reason [2013], 02.3) | |
| A reaction: Truthmaking is a vague relation, where correspondence is fairly specific. Model arguments say you can keep the sentences steady, but shuffle around what they refer to. |
| 18701 | The coherence theory says truth is coherence of thoughts, and not about objects [Button] |
| Full Idea: According to the coherence theory of truth, for our thoughts to be true is not for them to be about objects, but only for them to cohere with one another. This is rather terrifying. | |
| From: Tim Button (The Limits of Reason [2013], 14.2) | |
| A reaction: Davidson espoused this view in 1983, but then gave it up. It strikes me as either a daft view of truth, or a denial of truth. The coherence theory of justification, on the other hand, is correct. |
| 18694 | Permutation Theorem: any theory with a decent model has lots of models [Button] |
| Full Idea: The Permutation Theorem says that any theory with a non-trivial model has many distinct isomorphic models with the same domain. | |
| From: Tim Button (The Limits of Reason [2013], 02.1) | |
| A reaction: This may be the most significant claim of model theory, since Putnam has erected an argument for anti-realism on it. See the ideas of Tim Button. |
| 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. |
| 18692 | Realists believe in independent objects, correspondence, and fallibility of all theories [Button] |
| Full Idea: External realists have three principles: Independence - the world is objects that are independent of mind, language and theory; Correspondence - truth involves some correspondence of thoughts and things; Cartesian - an ideal theory might be false. | |
| From: Tim Button (The Limits of Reason [2013], 01.1-3) | |
| A reaction: [compressed; he cites Descartes's Demon for the third] Button is setting these up as targets. I subscribe to all three, in some form or other. Of course, as a theory approaches the success implying it is 'ideal', it becomes highly likely to be accurate. |
| 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) |
| 18693 | Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button] |
| Full Idea: Indeterminacy arguments aim to show that if there is any way to make a theory true, then there are many ways to do so. | |
| From: Tim Button (The Limits of Reason [2013], 02.1) | |
| A reaction: Button says the simplest indeterminacy argument is Putnam's Permutation Argument - that you can shuffle the objects in a formal model, without affecting truth. But do we belief that metaphysics can be settled in this sort of way? |
| 18695 | An ideal theory can't be wholly false, because its consistency implies a true model [Button] |
| Full Idea: If realists think an ideal theory could be false, then the theory is consistent, and hence complete, and hence finitely modellable, and hence it is guaranteed that there is some way to make it true. | |
| From: Tim Button (The Limits of Reason [2013], 02.2) | |
| A reaction: [compressed] This challenges the realists' supposed claim that even the most ideal of theories could possibly be false. Presumably for a theory to be 'ideal' is not all-or-nothing. Are we capable of creating a fully ideal theory? [Löwenheim-Skolem] |
| 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? |
| 490 | Everything happens by reason and necessity [Leucippus] |
| Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
| From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |
| 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? |
| 18700 | Cartesian scepticism doubts what is true; Kantian scepticism doubts that it is sayable [Button] |
| Full Idea: Cartesian scepticism agonises over whether our beliefs are true or false, whereas Kantian scepticism agonises over how it is even possible for beliefs to be true or false. | |
| From: Tim Button (The Limits of Reason [2013], 07.2) | |
| A reaction: Kant's question is, roughly, 'how can our thoughts succeed in being about the world?' Kantian scepticism is the more drastic, and looks vulnerable to a turning of the tables, but asking how Kantian worries can even be expressed. |
| 18698 | Predictions give the 'content' of theories, which can then be 'equivalent' or 'adequate' [Button] |
| Full Idea: The empirical 'content' of a theory is all its observable predictions. Two theories with the same predictions are empirically 'equivalent'. A theory which gets it all right at this level is empirically 'adequate'. | |
| From: Tim Button (The Limits of Reason [2013], 05.1) |
| 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) |
| 18697 | A sentence's truth conditions are all the situations where it would be true [Button] |
| Full Idea: A sentence's truth conditions comprise an exhaustive list of the situations in which that sentence would be true. | |
| From: Tim Button (The Limits of Reason [2013], 03.4) | |
| A reaction: So to know its meaning you must know those conditions? Compare 'my cat is licking my finger' with 'dramatic events are happening in Ethiopia'. It should take an awful long time to grasp the second sentence. |