display all the ideas for this combination of philosophers
14 ideas
| 18486 | 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. |
| 14040 | Observation and applied thought are always true [Epicurus] |
| Full Idea: Everything that is observed or grasped by the intellect in an act of application is true. | |
| From: Epicurus (Letter to Herodotus [c.293 BCE], 62) | |
| A reaction: Not quite clear what he means, but Epicurus is committed to perception as the source of knowledge, with the intellect extending the findings of the senses. He might subscribe to Descartes's 'clear and distinct' perceptions. |
| 18484 | 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. |
| 18466 | 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. |
| 18473 | '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. |
| 18481 | 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. |
| 18483 | 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. |
| 18479 | 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'. |
| 18477 | 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'? |
| 18482 | 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. |
| 18474 | 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. |
| 18485 | 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. |
| 18490 | 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. |
| 18493 | 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. |