40 ideas
| 23728 | Analysis aims to express the full set of platitudes surrounding a given concept [Smith,M] |
| Full Idea: The aim of analysis is to give us knowledge of all and only the platitudes surrounding our use of the concept that is up for analysis. | |
| From: Michael Smith (The Moral Problem [1994], 1.10) | |
| A reaction: His earlier specimen concept is 'redness'. For other concepts there might be considerable disagreement about which propositions are or are not the relevant platitudes. Smith emphasises that analysis need not be reductive. |
| 23744 | Defining a set of things by paradigms doesn't pin them down enough [Smith,M] |
| Full Idea: The discussion of colour concepts shows that permutation problems arise when a set of concepts, acquired inter alia via the presentation of paradigms, is largely interdefined. | |
| From: Michael Smith (The Moral Problem [1994], 5.9) | |
| A reaction: Smith says that our normative moral concepts are largely interdefined in this way. The 'permutation' problem is that they can change places in the definition set, and so their intrinsic individual character is not pinned down. Sounds right. |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 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. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 23743 | Capturing all the common sense facts about rationality is almost impossible [Smith,M] |
| Full Idea: It would be a superhuman task just to write down an explicit, non-summary style, statement of the platitudes that capture our idea of what it is to be fully rational. | |
| From: Michael Smith (The Moral Problem [1994], 5.9) | |
| A reaction: Well said. Philosophers are inclined to make simplistic binary judgements about whether persons or animals are rational. A visit to YouTube will show fish acting extremely rationally. |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 23724 | A pure desire could be criticised if it were based on a false belief [Smith,M] |
| Full Idea: There is a minor proviso to Hume's view, which is that desires are subject to rational criticism, but only insofar as they are based on beliefs that are subject to rational criticism. | |
| From: Michael Smith (The Moral Problem [1994], 1.3) | |
| A reaction: He says this is not a refutation of the basic Humean claim. He has in mind a desire such as to consume cyanide because you believe it will be good for you. |
| 23736 | A person can have a desire without feeling it [Smith,M] |
| Full Idea: We should concede that a desire may be had in the absence of its being felt. | |
| From: Michael Smith (The Moral Problem [1994], 4.5) | |
| A reaction: A nice observation. An example he gives is a father's desire that his child does well. Smith is discussing Hume's account of motivation in terms of desires and beliefs. |
| 23723 | In the Humean account, desires are not true/false, or subject to any rational criticism [Smith,M] |
| Full Idea: According to the standard picture of human psychology that we get from Hume, not only are desires not assessable in terms of truth and falsehood, they are not subject to any sort of rational criticism at all. | |
| From: Michael Smith (The Moral Problem [1994], 1.3) | |
| A reaction: This is where action theory meets metaethics. The separation of facts from values underlies this, because a desire is a fact, but the wickedness of a desire is not. Surely a desire could be a failure of practical reason? |
| 23735 | Subjects may be fallible about the desires which explain their actions [Smith,M] |
| Full Idea: It is an adequacy constraint on any conception of desire that the epistemology of desire it recommends allows that subjects may be fallible about the desires they have. | |
| From: Michael Smith (The Moral Problem [1994], 4.5) | |
| A reaction: [I do wish authors would write my short versions instead of their rambling sentences!] Even after the event we may be unsure why we did something. If someone observes self-interest when I thought my action was altruistic, I don't know how to respond. |
| 23738 | Humeans (unlike their opponents) say that desires and judgements can separate [Smith,M] |
| Full Idea: Humeans claim that agents who believe they should act may nevertheless lack the desire to do so, where anti-Humeans must say the two go together, and someone with the belief thereby has the desire. | |
| From: Michael Smith (The Moral Problem [1994], 4.7) | |
| A reaction: [very compressed] A very helpful distinction about the classic debates over the motivations of action. Smith defends the Humean view, and makes it very plausible. No mere sense of rightness or duty can compel us to act. |
| 23742 | If first- and second-order desires conflict, harmony does not require the second-order to win [Smith,M] |
| Full Idea: Even if we assume that reason prefers harmony between first- and second-order desires, there is no reason to assume that reason is on the side of achieving that harmony by changing first-order desires to suit second-order, rather than vice versa. | |
| From: Michael Smith (The Moral Problem [1994], 5.7) | |
| A reaction: [Smith is discussing David Lewis 1989 on second-order desires] Smith says that on the Humean view the rational winner should simply be the stronger of the two. Since this sounds like an endorsement for weakness of will, Smith relies on beliefs. |
| 23746 | Objective reasons to act might be the systematic desires of a fully rational person [Smith,M] |
| Full Idea: One way to decide what we have normative reasons to do …is by trying to find a set of desires that is systematically justifiable, which is our best assessment of the desires we would have under conditions of full rationality. | |
| From: Michael Smith (The Moral Problem [1994], 5.9) | |
| A reaction: This is Smith accepting the Humean view that desires are essential for motivation, but trying to find a marriage of desires with reason to produce the more objective aspects of morality. An interesting aspiration… |
| 23739 | Goals need desires, and so only desires can motivate us [Smith,M] |
| Full Idea: Only an agent's desires may constitute her having certain goals, and it follows from this that only her desires may constitute her motivating reasons. | |
| From: Michael Smith (The Moral Problem [1994], 4.8) | |
| A reaction: We might distinguish between reasons which direct us towards certain ends, and reasons which motivate us to pursue those ends. Most mornings I have a reason to get out of bed, which precedes my motivation to actually do it. |
| 23733 | Motivating reasons are psychological, while normative reasons are external [Smith,M] |
| Full Idea: There are motivating reasons for action, which are psychological states, and normative reasons, which are propositions of the general form 'a person's doing this is desirable or required'. | |
| From: Michael Smith (The Moral Problem [1994], 4.2) | |
| A reaction: Motivating reasons are locatable entities in minds, whereas normative reasons are either abstract, or perhaps motivating reasons expressed by other people. Smith says the two types are unconnected. |
| 23740 | Humeans take maximising desire satisfaction as the normative reasons for actions [Smith,M] |
| Full Idea: The distinctive Humean view of normative reasons for action is that the rational thing for an agent to do is simply to act so as to maximally satisfy her desires, whatever the content of those desires. | |
| From: Michael Smith (The Moral Problem [1994], 5.1) | |
| A reaction: Smith disagrees with this view (though he agrees with Hume about motivating reasons). An obvious problem for the Humean view would be a strong desire to do something excessively dangerous. |
| 23745 | We cannot expect even fully rational people to converge on having the same desires for action [Smith,M] |
| Full Idea: We cannot expect that, even under conditions of full rationality, agents would all converge on the same desires about what is to be done in the various circumstances they might face. | |
| From: Michael Smith (The Moral Problem [1994], 5.9) | |
| A reaction: A very good argument in favour of the Humean view that desires are an essential part of moral motivation. Possible convergence of view is a standard hallmark of communal rationality. |
| 23731 | 'Externalists' say moral judgements are not reasons, and maybe not even motives [Smith,M] |
| Full Idea: The 'externalist' view of morality says either that judgements of rightness are motives but not reasons, or (more strongly) that they are neither, meaning that moral judgements do not have practical implications. | |
| From: Michael Smith (The Moral Problem [1994], 3.1) | |
| A reaction: [Philippa Foot's untypical 1972 article is cited for the strong view. Hare and Blackburn are typical of the first view]. I would say that such judgements are both reasons and motives - but not necessarily for me! 'Someone should do something about this!'. |
| 23732 | A person could make a moral judgement without being in any way motivated by it [Smith,M] |
| Full Idea: Amoralists make moral judgements without being motivated accordingly, and without suffering any sort of practical irrationality either; the practicality requirement of moral judgement is thus false. | |
| From: Michael Smith (The Moral Problem [1994], 3.3) | |
| A reaction: It is hard to imagine an immoralist with this nihilistic attitude bothering to make any moral judgements at all. Why would someone indifferent to art make aesthetic judgements? What could a 'judgement of rightness' mean to an amoralist? |
| 23729 | Moral internalism says a judgement of rightness is thereby motivating [Smith,M] |
| Full Idea: Moral 'internalism' says if an agent judges an action as right in some circumstance, then they are either thereby motivated to do it, or they are irrational (e.g. their will is weak). | |
| From: Michael Smith (The Moral Problem [1994], 3.1) | |
| A reaction: [Somewhat reworded] So the motivation comes from an internal judgement, not from external factors. Is it not tautological that 'this is the right thing to do' means it should be done (ceteris paribus)? |
| 23730 | 'Rationalism' says the rightness of an action is a reason to perform it [Smith,M] |
| Full Idea: Moral 'rationalism' says if an action is right for agents in some circumstances, then there is a reason for the agents to do it. | |
| From: Michael Smith (The Moral Problem [1994], 3.1) | |
| A reaction: That is, there is not merely a motivation to act (the 'internalist' view), but there is a reason to act. Smith calls both views the 'practicality requirement' of normal moral judgements. Smith defends the rationalist view. |
| 23727 | Expressivists count attitudes as 'moral' if they concern features of things, rather than their mere existence [Smith,M] |
| Full Idea: The pro- and con- attitudes of the expressivists count as 'moral' only if they are had towards particular people, actions or states of affairs in virtue of their natural features, ….rather than in virtue of being the particulars that they are. | |
| From: Michael Smith (The Moral Problem [1994], 2.4) | |
| A reaction: So whereas emotivists don't have to have any reasons for their moral feelings, other expressivists seem to require reasons (i.e. indicating features of things) to endorse their attitudes. What of reasonless emotionless attitudes? |
| 23741 | Is valuing something a matter of believing or a matter of desiring? [Smith,M] |
| Full Idea: What is it to value something? That is, equivalently, what is it to accept that we have a normative reason to do something? In Hume's terms, is it a matter of believing? Or is it a matter of desiring? We seem to face a dilemma. | |
| From: Michael Smith (The Moral Problem [1994], 5.4) | |
| A reaction: Smith is discussing moral motivation, and there is obviously more to valuing something than acting on it. Nice question, though. Personally I value St Paul's Cathedral, but I don't desire it. I value heart surgeons, but don't want to emulate them. |