Combining Philosophers

All the ideas for Hermarchus, Michael Smith and Fraser MacBride

unexpand these ideas     |    start again     |     specify just one area for these philosophers


46 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
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.
2. Reason / D. Definition / 1. Definitions
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.
3. Truth / A. Truth Problems / 2. Defining Truth
We might define truth as arising from the truth-maker relation [MacBride]
     Full Idea: We might define truth using the truth-maker relation, albeit in a roundabout way, according to the pattern of saying 'S is true' is equivalent to 'there is something which makes S true'.
     From: Fraser MacBride (Truthmakers [2013], 3.3)
     A reaction: [MacBride gives it more algebraically, but I prefer English!] You would need to explain 'truth-making' without reference to truth. Horwich objects, reasonably, that ordinary people grasp 'truth' much more clearly than 'truth-making'. Bad idea, I think.
3. Truth / B. Truthmakers / 1. For Truthmakers
Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride]
     Full Idea: For Martin the fatal error of phenomenalists was their inability to supply credible truth-makers for truths about unobserved objects; the same error afflicted Ryle's behaviourism, ...and Prior's Presentism (for past-tensed and future-tensed truths).
     From: Fraser MacBride (Truthmakers [2013], 3.1)
     A reaction: This seems to be the original motivation for the modern rise of the truthmaker idea. Personally I find 'Napoleon won at Austerlitz' is a perfectly good past-tensed truthmaker which is compatible with presentism. Truth-making is an excellent challenge.
3. Truth / B. Truthmakers / 2. Truthmaker Relation
If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride]
     Full Idea: If a truthmaker entails its truth, this threatens to over-generate truth-makers for necessary truths - at least if the entailment is classical. It's a feature of this notion that anything whatsoever entails a given necessary truth.
     From: Fraser MacBride (Truthmakers [2013], 1.1)
     A reaction: This is a good reason to think that the truth-making relation does not consist of logical entailment.
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
'Maximalism' says every truth has an actual truthmaker [MacBride]
     Full Idea: The principle of 'maximalism' is that for every truth, then there must be something in the world that makes it true.
     From: Fraser MacBride (Truthmakers [2013], 2.1)
     A reaction: That seems to mean that no truths can be uttered about anything which is not in the world. If I say 'pigs might have flown', that isn't about the modal profile of actual pigs, it is about what might have resulted from that profile.
Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride]
     Full Idea: If maximalism is intellectual heir to Russell's logical atomism, then 'optimalism' (the denial that universal and negative statements need truth-makers) is heir to Wittgenstein's version, where only atomic propositions represent states of affairs.
     From: Fraser MacBride (Truthmakers [2013], 2.2)
     A reaction: Wittgenstein's idea is that you can use the logical connectives to construct all the other universal and negative facts. 'Optimalism' restricts truthmaking to atomic statements.
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
The main idea of truth-making is that what a proposition is about is what matters [MacBride]
     Full Idea: According the Lewis, the kernel of truth in truth-making is the idea that propositions have a subject matter. They are about things, so whether they are true or false depends on how those things stand.
     From: Fraser MacBride (Truthmakers [2013], 2.4.1)
     A reaction: [Lewis 'Things Qua Truth-makers' 2003] That sounds like the first step in the story, rather than the 'kernel' of the truth-making approach.
3. Truth / B. Truthmakers / 6. Making Negative Truths
There are different types of truthmakers for different types of negative truth [MacBride]
     Full Idea: We recognise that what makes it true that there is no oil in this engine is different from what makes it true that there are no dodos left.
     From: Fraser MacBride (Truthmakers [2013], 2.1.4.1)
     A reaction: This looks like a local particular negation up against a universal negation. I'm not sure there is a big difference between 'my dodo's gone missing' (like my oil), and 'all the dodos have gone permanently missing'.
There aren't enough positive states out there to support all the negative truths [MacBride]
     Full Idea: It's not obvious that there are enough positive states out there to underwrite all the negative truths. Even though it may be true that this liquid is odourless this needn't be because there's something further about it that excludes its being odourless.
     From: Fraser MacBride (Truthmakers [2013], 2.1.4.1)
     A reaction: What is the ontological status of all these hypothetical truths? What is the truthmaker for 'a trillion trillion negative truths exist'? What is the status of 'this is not not-red'?
3. Truth / B. Truthmakers / 8. Making General Truths
Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride]
     Full Idea: Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default.
     From: Fraser MacBride (Truthmakers [2013], 2.2)
     A reaction: The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008.
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride]
     Full Idea: If the sentence 'This sentence has no truth-maker' has a truth-maker, then it must be true. But then what it says must be the case, so it has no truth-maker. Hence by reductio the sentence has no truth-maker.
     From: Fraser MacBride (Truthmakers [2013], 2.1.1)
     A reaction: [Argument proposed by Peter Milne 2005] Rodriguez-Pereyra replies that the sentence is meaningless, so that it can't possibly be true. The Liar sentence is also said to be meaningless. The argument opposes Maximalism.
Even idealists could accept truthmakers, as mind-dependent [MacBride]
     Full Idea: Even an idealist could accept that there are truth-makers whilst thinking of them as mind-dependent entities.
     From: Fraser MacBride (Truthmakers [2013], 3.1)
     A reaction: This undercuts anyone (me, perhaps?) who was hoping to prop up their robust realism with an angry demand to be shown the truthmakers.
Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride]
     Full Idea: Maybe the truth-maker panegyrists have misconstrued the logical form of 'makes true'. They have taken it to be a verb like 'x hits y', when really it is akin to the connective '→' or 'because'.
     From: Fraser MacBride (Truthmakers [2013], 3.7)
     A reaction: [He cites Melia 2005] This isn't any sort of refutation of truth-making, but an offer of how to think of the phenomenon if you reject the big principle. I like truth-making, but resist the 'makes' that brings unthought propositions into existence.
Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride]
     Full Idea: When supporters of truth-making talk of 'something' which makes a sentence true, they make the assumption that it is an objectual quantifier in name position.
     From: Fraser MacBride (Truthmakers [2013], 3.8)
     A reaction: We might say, more concisely, that they are 'reifying' the something. This makes it sound as if Armstrong and Bigelow have made a mistake, but that are simply asserting that this particular quantification is indeed objectual.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Connectives link sentences without linking their meanings [MacBride]
     Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote.
     From: Fraser MacBride (Truthmakers [2013], 3.7)
     A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride]
     Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative.
     From: Fraser MacBride (Truthmakers [2013], 2.1.4)
     A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
Numbers are identified by their main properties and relations, involving the successor function [MacBride]
     Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function.
     From: Fraser MacBride (Structuralism Reconsidered [2007], §1)
     A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
For mathematical objects to be positions, positions themselves must exist first [MacBride]
     Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right.
     From: Fraser MacBride (Structuralism Reconsidered [2007], §3)
     A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride]
     Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable.
     From: Fraser MacBride (Truthmakers [2013], 2.1.4.2)
     A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful?
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride]
     Full Idea: The concept of 'grounding' appears to cry out for treatment as a family resemblance concept, a concept whose instances have no more in common than different games do.
     From: Fraser MacBride (Truthmakers [2013], 1.6)
     A reaction: I like the word 'determinations', though MacBride's point my also apply to that. I take causation to be one species of determination, and truth-making to be another. They form a real family, with no adoptees.
Which has priority - 'grounding' or 'truth-making'? [MacBride]
     Full Idea: Some philosophers define 'grounding' in terms of 'truth-making', rather than the other way around.
     From: Fraser MacBride (Truthmakers [2013], 1.6)
     A reaction: [Cameron exemplifies the first, and Schaffer the second] I would have thought that grounding was in the world, but truth-making required the introduction of propositions about the world by minds, so grounding is prior. Schaffer is right.
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride]
     Full Idea: The logical atomism of Russell admitted some logically complex facts but not others - in contrast to Wittgenstein's version which admitted only atomic facts.
     From: Fraser MacBride (Truthmakers [2013], 2.1.3)
     A reaction: For truthmakers, it looks as if the Wittgenstein version might do a better job (e.g. with negative truths). I quite like the Russell approach, where complex facts underwrite the logical connectives. Disjunctive, negative, conjunctive, hypothetical facts.
8. Modes of Existence / A. Relations / 1. Nature of Relations
It may be that internal relations like proportion exist, because we directly perceive it [MacBride]
     Full Idea: Some philosophers maintain that we literally perceive proportions and other internal relations. These relations must exist, otherwise we couldn't perceive them.
     From: Fraser MacBride (Relations [2016], 3)
     A reaction: [He cites Mulligan 1991, and Hochberg 2013:232] This seems a rather good point. You can't perceive the differing heights of two people, yet fail to perceive that one is taller. You also perceive 'below', which is external.
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations are fixed by existences, or characters, or supervenience on characters [MacBride]
     Full Idea: Internal relations are determined either by the mere existence of the things they relate, or by their intrinsic characters, or they supervene on the intrinsic characters of the things they relate.
     From: Fraser MacBride (Relations [2016], 3)
     A reaction: Suggesting that they 'supervene' doesn't explain anything (and supervenience never explains anything). I vote for the middle one - the intrinsic character. It has to be something about the existence, and not the mere fact of existence.
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
'Multigrade' relations are those lacking a fixed number of relata [MacBride]
     Full Idea: A 'unigrade' relation R has a definite degree or adicity: R is binary, or ternary....or n-ary (for some unique n). By contrast a relation is 'multigrade' if it fails to be unigrade. Causation appears to be multigrade.
     From: Fraser MacBride (Relations [2016], 1)
     A reaction: He also cites entailment, which may have any number of premises.
10. Modality / A. Necessity / 6. Logical Necessity
Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride]
     Full Idea: It is almost universally acknowledged that Wittgenstein's plan to show all necessity is logical necessity ended in failure - indeed foundered upon the very problem of explaining colour incompatibilities.
     From: Fraser MacBride (Truthmakers [2013], 2.1.4.1)
     A reaction: I'm not sure whether you can 'show' that colour incompatibility is some sort of necessity, though intuitively it seems so. I'm thinking that 'necessity' is a unitary concept, with a wide variety of sources generating it.
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
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.
20. Action / C. Motives for Action / 1. Acting on Desires
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.
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.
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…
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?
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.
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.
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.
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.
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
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.
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.
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.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
'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!'.
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?
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
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)?
'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.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
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?
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
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.
25. Social Practice / F. Life Issues / 6. Animal Rights
Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]
     Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us.
     From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus
     A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts?