35 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) |
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: [compressed] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
| 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. |
| 18680 | To avoid misunderstandings supervenience is often expressed negatively: no A-change without B-change [Orsi] |
| Full Idea: It is no part of supervenience that 'if p then q' entails 'if not p then not q'. To avoid such misunderstandings, it is common (though not more accurate) to describe supervenience in negative terms: no difference in A without a difference in B. | |
| From: Francesco Orsi (Value Theory [2015], 5.2) | |
| A reaction: [compressed] In other words it is important to avoid the presupposition that the given supervenience is a two-way relation. The paradigm case of supervenience is stalking. |
| 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? |
| 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) |
| 18684 | Rather than requiring an action, a reason may 'entice' us, or be 'eligible', or 'justify' it [Orsi] |
| Full Idea: Many have suggested alternative roles or sorts of reasons, which are not mandatory. Dancy says some reasons are 'enticing' rather than peremptory; Raz makes options 'eligible' rather than required; Gert says they justify rather than require action. | |
| From: Francesco Orsi (Value Theory [2015], 6.4) | |
| A reaction: The third option is immediately attractive - but then it would only justify the action because it was a good reason, which would need explaining. 'Enticing' captures the psychology in a nice vague way. |
| 18666 | Value-maker concepts (such as courageous or elegant) simultaneously describe and evaluate [Orsi] |
| Full Idea: Examples of value-maker concepts are courageous, honest, cowardly, corrupt, elegant, tacky, melodious, insightful. Employing these concepts normally means both evaluating and describing the thing or person one way or another. | |
| From: Francesco Orsi (Value Theory [2015], 1.2) | |
| A reaction: The point being that they tell you two things - that this thing has a particular value, and also why it has that value. Since I am flirting with the theory that all values must have 'value-makers' this is very interesting. |
| 18667 | The '-able' concepts (like enviable) say this thing deserves a particular response [Orsi] |
| Full Idea: The '-able' concepts, such as valuable, enviable, contemptible, wear on their sleeve the idea that the thing so evaluated merits or is worth a certain attitude or response (of valuing, envying, despising). | |
| From: Francesco Orsi (Value Theory [2015], 1.2) | |
| A reaction: Compare Idea 18666. Hence some concepts point to the source of value in the thing, and others point to the source of the value in the normative attitude of the speaker. Interesting. |
| 18685 | Final value is favoured for its own sake, and personal value for someone's sake [Orsi] |
| Full Idea: Final value is to be favoured for its own sake; personal value is to be favoured for someone's sake. | |
| From: Francesco Orsi (Value Theory [2015], 7.2) | |
| A reaction: This gives another important dimension for discussions of value. I like the question 'what gives rise to this value?', but we can also ask (given the value) why we should then promote it. Health isn't a final value, and truth isn't a personal value? |
| 18679 | Things are only valuable if something makes it valuable, and we can ask for the reason [Orsi] |
| Full Idea: If a certain object is valuable, then something other than its being valuable must make it so. ...One is always in principle entitled to an answer as to why it is good or bad. | |
| From: Francesco Orsi (Value Theory [2015], 5.2) | |
| A reaction: What Orsi calls the 'chemistry' of value. I am inclined to think that this is the key to a philosophical study of value. Without this assumption the values float free, and we drift into idealised waffle. Note that here he only refers to 'objects'. |
| 18682 | A complex value is not just the sum of the values of the parts [Orsi] |
| Full Idea: The whole 'being pleased by cats being tortured' is definitely not better, and is likely worse, than cats being tortured. So its value cannot result from a sum of the intrinsic values of the parts. | |
| From: Francesco Orsi (Value Theory [2015], 5.3) | |
| A reaction: This example is simplistic. It isn't a matter of just adding 'pleased' and 'tortured'. 'Pleased' doesn't have a standalone value. Only a rather gormless utilitarian would think it was always good if someone was pleased. I suspect values don't sum at all. |
| 18683 | Trichotomy Thesis: comparable values must be better, worse or the same [Orsi] |
| Full Idea: It is natural to assume that if we can compare two objects or states of affairs, X and Y, then X is either better than, or worse than, or as good as Y. This has been called the Trichotomy Thesis. | |
| From: Francesco Orsi (Value Theory [2015], 6.2) | |
| A reaction: This is the obvious starting point for a discussion of the difficult question of the extent to which values can be compared. Orsi says even if there was only one value, like pleasure, it might have incommensurable aspects like duration and intensity. |
| 18686 | The Fitting Attitude view says values are fitting or reasonable, and values are just byproducts [Orsi] |
| Full Idea: The main claims of the Fitting Attitude view of value are Reduction: values such are goodness are reduced to fitting attitudes, having reasons, and Normative Redundancy: goodness provides no reasons for attitudes beyond the thing's features. | |
| From: Francesco Orsi (Value Theory [2015], 8.2) | |
| A reaction: Orsi's book is a sustained defence of this claim. I like the Normative Redundancy idea, but I am less persuaded by the Reduction. |
| 18672 | Values from reasons has the 'wrong kind of reason' problem - admiration arising from fear [Orsi] |
| Full Idea: A support for the fittingness account (against the buck-passing reasons account) is the 'wrong kind of reasons' problem. There are many reasons for positive attitudes towards things which are not good. We might admire a demon because he threatens torture. | |
| From: Francesco Orsi (Value Theory [2015], 1.4) | |
| A reaction: [compressed] I like the Buck-Passing view, but was never going to claim that all reasons for positive attitudes bestow value. I only think that there is no value without a reason |
| 18677 | A thing may have final value, which is still derived from other values, or from relations [Orsi] |
| Full Idea: Many believe that final values can be extrinsic: objects which are valuable for their own sake partly thanks to their relations to other objects. ...This might depend on the value of other things...or an object's relational properties. | |
| From: Francesco Orsi (Value Theory [2015], 2.3) | |
| A reaction: It strikes me that virtually nothing (or even absolutely nothing) has final value in total isolation from other things (Moore's 'isolation test'). Values arise within a tangled network of relations. Your final value is my instrumental value. |
| 18668 | Truths about value entail normative truths about actions or attitudes [Orsi] |
| Full Idea: My guiding assumption is that truths about value, at least, regularly entail normative truths of some sort about actions or attitudes. | |
| From: Francesco Orsi (Value Theory [2015], 1.4) | |
| A reaction: Not quite as clear as it sounds. If I say 'the leaf is green' I presume a belief that it is green, which is an attitude. If I say 'shut the door' that implies an action with no value. One view says that values are entirely normative in this way. |
| 18670 | The Buck-Passing view of normative values says other properties are reasons for the value [Orsi] |
| Full Idea: Version two of the normative view of values is the Buck-Passing account, which says that 'x is good' means 'x has the property of having other properties that provide reasons to favour x'. | |
| From: Francesco Orsi (Value Theory [2015], 1.4) | |
| A reaction: [He cites Scanlon 1998:95-8] I think this is the one to explore. We want values in the world, bridging the supposed 'is-ought gap', and not values that just derive from the way human beings are constituted (and certainly not supernatural values!). |
| 18669 | Values can be normative in the Fitting Attitude account, where 'good' means fitting favouring [Orsi] |
| Full Idea: Version one of the normative view of values is the Fitting Attitude account, which says that 'x is good' means 'it is fitting to respond favourably to (or 'favour') x'. | |
| From: Francesco Orsi (Value Theory [2015], 1.4) | |
| A reaction: Brentano is mentioned. Orsi favours this view. The rival normative view is Scanlon's [1998:95-8] Buck-Passing account, in Idea 18670. I am interested in building a defence of the Buck-Passing account, which seems to suit a naturalistic realist like me. |