Dan M:
Discussing a puzzle about divine simplicity has led us to the metaphysics of truthmaking; I'll just focus on the latter for now - but the broader dialectic is this: I was thinking that a particular view about truthmaking can help us with that puzzle about simplicity. [Cf. first related article below.]
Take your sentence 'Al is fat', and suppose it's true. I agree it must be somehow *made* true, and I agree it can't be made true by Al, or fatness, or the sum or set of the two.
I suspect that we disagree about the following question: Must the sentence be made true by an item (entity, etc.)? If we answer "yes", then the natural proposal is to posit an entity with, as you say, a proposition-like structure, such as a state of affairs of Al's being fat. But suppose we answer "no": though 'Al is fat' must, if true, be made true, it needn't be made true by an item. How could it be made true without being made true by an item? Well suppose we express its being made true as follows:
(*) The sentence 'Al is fat' is true because Al is fat.
That is, the sentence (a linguistic item) is true because Al (a man) is fat. The sentence to the right of 'because' in (*) expresses what it is about the world in virtue of which the sentence 'Al is fat' is true. But (*) nowhere refers to an *item* of Al's being fat. The only referring term appearing to the right of 'because' is 'Al'.
Bill V:
Dan grants that some truthbearers need truthmakers, but thinks that truthmakers needn't be entities. Right here I must lodge an objection. A truthmaker is an entity by definition. That truthmakers are entities is built into the theory. If the true sentence 'Al is fat' (or the proposition expressed by a thoughtful utterance of this sentence) needs a truthmaker, then this sentence/proposition cannot just be true: there must be, external to the sentence/proposition, an entity that 'makes' it true. But of course this entity cannot itself be a truthbearer, whether a declarative sentence, a Fregean proposition, an Aristotelian proposition, a judgment, a statement, a belief, or any cognate item. This point is crucial, so forgive me for belaboring it a bit.
Suppose we have a valid deductive argument all of the premises of which are true. Then, from Logic 101, we know that the conclusion must also be true. To put it precisely, and taking care not to confuse the necessitas consequentiae with the necessitas consequentiis: Necessarily, if the premises are all true, then the conclusion is true. In this precise sense the truth of the premises necessitates the truth of the conclusion.
Could one say that the conjunction of the premises 'makes true' the conclusion, that the conjunction of premises is the truthmaker of the conclusion? One could say this, but this is not what truthmaker theorists mean when that say that a truthmaker makes true a truthbearer, or that a truthbearer needs a truthmaker. What they mean is that some if not all truthbearers need truthmakers that are not truthbearers.
As I use 'truthmaker,' no truthmaker is a truthbearer. (I ignore some recherché counterexamples.) So the proposition Tom is tall is not the truthmaker of the proposition Someone is tall. And this despite the fact that the first proposition entails the second. Does the second proposition have a truthmaker? Yes. In fact it has more than one. Tom's being tall is one, Bill's being tall is another. But these are not propositions, but ontological grounds of true propositions.
So if 'Al is fat' has a truthmaker, then there exists an entity external to this sentence and to every sentence (proposition, etc.) that makes the sentence (proposition, etc.) true. If entailment is a logical relation, then truthmaking is not a logical relation. Logical relations connect propositions to propositions; truthmaking, however, connects a non-propositional chunk of external reality to a proposition (or cognate item). Al's being fat, for example, is not a proposition. It is a state of affairs or concrete fact. Propositions are either true or false, but it is neither; it either exists or it does not. If it exists, then it it can serve as the truthmaker of 'Al is fat.' Concrete (Armstrongian) states of affairs are not bipolar or bivalent items. In this respect they are not like Chisholmian-Plantingian abstract states of affairs.
What Dan should say is there is no need for truthmakers, not that truthmakers needn't be entities.
Dan offers
(*) The sentence 'Al is fat' is true because Al is fat
to show that a truthmaker need not be an entity.
It seems to me, though, that Dan is confusing a truthmaker with a truth condition. A truthmaker is concrete chunk of extralinguistic and extramental reality whereas a truth condition is just another sentence, proposition, or cognate item. Our old friend Alan Rhoda in an old blog post does a good job of explaining the distinction:
. . .truthmakers are parcels of reality . . . .
Not so with truth conditions. Truth conditions are semantic explications of the meaning of statements. They tell us in very precise terms what has to be true for a particular statement to be true. For example, a B-theorist like Nathan Oaklander will say that the truth conditions of the sentence "The 2006 Winter Olympics are over" is given by the sentence "The 2006 Winter Olympics end earlier than the date of this utterance". Thus truth conditions are meaning entities like statements that are used to spell out or analyze the meaning of other statements.
Dan's (*) merely sets forth a truth condition. It doesn't get us off the level of propositions and down to the level of truthmakers.
Another important point has to do with the asymmetry of truthmaking: if T makes true p, it does not follow that p makes true T. It's an asymmetry of explanation. If one thing explains another, it does not follow that the other explains the one. The truthmaker theorist takes seriously the project of metaphysical explanation. Truthmakers explain why true truthbearers are true. Dan's (*), however, entails the following non-explanatory biconditional:
(**) The sentence 'Al is fat' is true iff Al is fat.
But (**) has nothing to do with truthmaking; it is but an instance of Quine's disquotational schema according to which the truth predicate is but a device of disquotation. We remain on the level of sentences (propositions, etc.)
In sum, I see no merit in Dan's suggestion that there are truthmakers but they needn't be entities. That shows a failure to grasp the notion of a truthmaker. What Dan should say is that there is no need for truthmakers. He might also try arguing that the truthmaking relation is bogus or unintelligible since it is neither a logical relation nor a causal one.
Hi Bill,
Thanks - I agree with much of this.
You said: "Dan grants that some truthbearers need truthmakers, but thinks that truthmakers needn't be entities. Right here I must lodge an objection. A truthmaker is an entity by definition."
Well, I granted that some truthbearers must (if true) be made true. I used the passive voice ('made true'), and avoided saying there are (i.e., there exist entities that are) truthmakers. So I can agree that a truthmaker would be an entity by definition, and accordingly, I am happy to say that "there is no need for truthmakers". Perhaps it was a mistake to not just say that outright. One reason I didn't was that I didn't want to give the impression that the the truth of (the relevant) truthbearers needs no explanation, which is one thing one might mean in saying "there is no need for truthmakers". The view I expressed was that a true sentence can be *made true* (i.e. have its truth explained in a non-causal and non-logical sense) without being made true *by a truthmaker*. If you think talk of being "made true" in the absence of a commitment to truthmakers is misleading or otherwise problematic, I'm happy to discard that way of putting it. The question is whether a truthbearer's truth could only be accounted for, or explained (in the relevant sense), *by an entity/item*. I think not, but let me turn to your reasons to reject this proposal.
I had said we could make sense of the "making true" of the sentence 'Al is fat' in terms of the following claim:
(*) The sentence 'Al is fat' is true because Al is fat.
I think some of what you say in objection to (*) can be dealt with by recognizing, as I've tried to clarify above, that I don't intend (*) to be providing a truthmaker for the sentence. (*) doesn't purport to identify an *entity* that explains the truth of 'Al is fat'.
But you also object that (*) only offers a truth condition for 'Al is fat', where a truth condition is "just another sentence, proposition, or cognate item." I disagree. If I say 'Al is fat', I'm talking about the world, or non-linguistic reality. To be sure, I *use* a linguistic item ('Al is fat') to do so, but I'm not talking about the sentence. In saying 'Al is fat', I *am* getting "off the level of propositions" and talking about non-linguistic (non-mental, etc.) reality. The point here is perfectly general. Turning now to (*). To be sure, the independent clause appearing to the right of 'because' is a sentence. But that sentence is being used to talk about the world, specifically, being used to express what it is about the world in virtue of which 'Al is fat' is true. You quote Rhoda saying: "Truth conditions are semantic explications of the meaning of statements." But (*) isn't doing this. It isn't offering an account of the meaning of 'Al is fat'; it's offering an account of why the sentence is true. Perhaps you think (*) is false or otherwise problematic, but I don't see how it can be legitimately accused of merely giving truth conditions as opposed to grounds for truth; it *purports* to give grounds for truth. Of course, a truthmaker theorist won't be happy with the proposal (since it doesn't posit an entity to make the sentence true), but my aim here is to spell out an alternative way of understanding grounds of truth.
You raise a final pair of objections to the proposal: "Another important point has to do with the asymmetry of truthmaking: if T makes true p, it does not follow that p makes true T[...snip...]Dan's (*), however, entails the following non-explanatory biconditional:
(**) The sentence 'Al is fat' is true iff Al is fat.
But (**) has nothing to do with truthmaking[...snip]"
First, (*) respects the idea that the relevant kind of explanation is asymmetric, because the explanatory connection signaled by 'because' is asymmetric. If
(*) The sentence 'Al is fat' is true because Al is fat
is true, then the following is false:
(^) Al is fat because the sentence 'Al is fat' is true.
Second, it's not clear why the fact that (*) *entails* a non-explanatory biconditional is a problem for (*). Just because a certain entailment of (*) has nothing to do with a certain thing (say, grounds for truth) doesn't mean that (*) has nothing to do with it. The same kind of thing could be said to the truthmaker theorist. Suppose he thinks that the sentence 'a is F' is made true by the atomic state of affairs a's being F. Well, one might take this proposal to entail:
(^^) The sentence 'a is F' is true iff the concrete state of affairs a's being F exists.
(^^) doesn't have anything to do with truthmaking, but that doesn't mean the theory that entails it doesn't.
In sum, I am indeed denying the need for "truthmakers" (entities that make sentences/propositions true), but my contention is that I'm doing so in a way that *retains* the intuitive idea that truth must be accounted for, or have worldly grounds. If we consider (*) and then (^) in turn, isn't it quite intuitive that the former is true and the latter false? That suggests that (*) is a legitimate way of expressing grounds of truth for 'Al is fat'. It seems to me that the most promising move for the truthmaker theorist to make, at this point, is to say that, even though (*) is in good order, it somehow commits us to a concrete state of affairs of Al's being fat. That is, even though (*) doesn't mention any such entity, it couldn't be true unless there were one.
Posted by: Dan | Thursday, April 27, 2017 at 10:30 AM