| 10910 | The best account of truth-making is isomorphism [Wittgenstein, by Mulligan/Simons/Smith] |
| Full Idea: The most sophisticated account of truth-making to have appeared to date is the 'isomorphism' theory of the Tractatus. | |
| From: report of Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921]) by Mulligan/Simons/Smith - Truth-makers §5 | |
| A reaction: Wittgenstein's theory is clearly closely related to Russell's 'congruence' theory of correspondence of around 1912. |
| 10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
| Full Idea: Instances of the truthmaker principle are equivalent to biconditionals not about truth but about the existential grounding of all manner of other things; the flying pigs, or what-have-you. | |
| From: David Lewis (Forget the 'correspondence theory of truth' [2001]) | |
| A reaction: The question then is what the difference is between 'existential grounding' and 'truth'. There wouldn't seem to be any difference at all if the proposition in question was a simple existential claim. |
| 10911 | Part-whole is the key relation among truth-makers [Mulligan/Simons/Smith] |
| Full Idea: The most important (ontological) relations holding among truth-makers are the part and whole relations. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §6) | |
| A reaction: Hence Peter Simons goes off and writes the best known book on mereology. Looks very promising to me. |
| 18470 | Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B] |
| Full Idea: The signs are that truth-making is not analysable in terms of anything more primitive, but we need to be able to say more than just that. So we ought to consider it as specified by principles of truth-making. | |
| From: Barry Smith (Truth-maker Realism: response to Gregory [2000], p.20), quoted by Fraser MacBride - Truthmakers 1.5 | |
| A reaction: This is the axiomatic approach to such problems - treat the target concept as an undefinable, unanalysable primitive, and then give rules for its connections. Maybe all metaphysics should work like that, with a small bunch of primitives. |
| 18351 | Propositions are made true, in virtue of something which explains its truth [Lowe] |
| Full Idea: If a proposition is 'made' true, it has to be true 'in virtue of' something, meaning a relationship of metaphysical explanation. Thus a true proposition must have truth conferred on it in some way that explains how it gets to be true. | |
| From: E.J. Lowe (An essentialist approach to Truth-making [2009], p.202) | |
| A reaction: It is good to ask what we mean by 'makes'. I like essentialist explanations, but this may be misplaced. Observing that y makes x true seems to be rather less than actually explaining how it does it. What would such explanations look like? |
| 18362 | Examples show that truth-making is just non-symmetric, not asymmetric [David] |
| Full Idea: That 'there is at least one proposition' ...is a case where something makes itself true, which generates a counterexample to the natural assumption that truth-making is asymmetric; truth-making, it seems, is merely non-symmetric. | |
| From: Marian David (Truth-making and Correspondence [2009], 4) |
| 14415 | A ground must be about its truth, and not just necessitate it [Merricks] |
| Full Idea: A ground does not merely necessitate its truth. A ground is also what its truth is appropriately about. | |
| From: Trenton Merricks (Truth and Ontology [2007], 7.II) |
| 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. |
| 17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
| Full Idea: My charge is that truth-maker theory cannot be integrated into an attractive general account of non-causal dependence. | |
| From: David Liggins (Truth-makers and dependence [2012], 10.6) | |
| A reaction: [You'll have to read Liggins to see why] |
| 18877 | Moral realism doesn't seem to entail the existence of any things [Cameron] |
| Full Idea: Moral realism isn't realism about things, and it seems strange to suggest that moral realism is existence entailing in the way that realism about unobservable is. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: Cameron is questioning whether a realist has to believe in truthmakers. It seems to me that his doubts are because he insists that truthmaking is committed to the existence of 'things'. I assume any moral realism must supervene on nature. |
| 18339 | The truth-making relation can be one-to-one, or many-to-many [Rami] |
| Full Idea: The truth-making relation can be one-to-one, or many-many. In the latter case, different truths may have the same truth-maker, and one truth may have different truth-makers. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: 'There is at least one cat' obviously has many possible truth-makers. Many statements will be made true by the mere existence of a particular cat (such as 'there is an animal in the room' and 'there is a cat in the room'). Many-many wins? |