Could a concrete individual such as my man Peter function as the truthmaker of an accidental predication about him such as *Peter is hungry*? Or must the truthmaker of such a truth be an entity with a proposition-like structure such as a concrete state of affairs or a trope? Earlier posts have assumed and sometimes argued that Peter himself cannot make true any true accidental predications about him. Alan Rhoda appears to disagree in a comment to an earlier post: "Unlike you, I don't find it 'obvious' that Peter cannot be the truthmaker of *Peter is hungry*. Or, rather, it's obvious if 'Peter' denotes a bare or thin particular . . . ."
So we need to take a few more steps into the truthmaking problematic. Whether or not Peter can function as the truthmaker of accidental predications about him depends on our 'ontological assay' (as Gustav Bergmann might have put it) of ordinary spatiotemporal particulars such as Peter.
1. I begin on an irenic note by granting to Alan that if 'Peter' denotes a bare or thin particular, then it is obvious that Peter cannot make true any accidental predications about him. But 'Peter' in our sample sentence does not denote a bare or thin particular; it denotes Peter 'clothed' in his intrinsic (nonrelational) properties, whether accidental or essential.
2. I now argue that even if we take Peter together with his properties he cannot be the truthmaker of *Peter is hungry,* *Peter is sunburned,* etc. It is widely agreed that if T makes true *p,* then *T exists* entails **p* is true.** (As before, asterisks around an indicative sentence form a name of the Fregean proposition expressed by the sentence.) Truthmaking is a form of broadly logical necessitation. So if Peter by himself is the truthmaker of *Peter is sunburned,* then in every possible world in which Peter exists, the proposition will be true. But surely this proposition is not true in every world in which Peter exists: being sunburned is an accidental property of Peter. Therefore, Peter by himself is not the truthmaker of such accidental propositions as *Peter is sunburned.*
3. So even if we take Peter together with all his intrinsic properties, he still cannot function as truthmaker of *Peter is sunburned,* etc. He cannot, because there are possible worlds in which Peter exists, but *Peter is F* (where 'F' picks out an accidental property) is false. But what if we 'assay' Peter as a concrete state of affairs (not to be confused with a Chisholmian-Plantingian abstract state of affairs) along the lines of a Bergmannian or Armstrongian ontology? Take the conjunction of all of Peter's intrinsic properties and call that conjunction K. What is left over is the individuating element in Peter, call it a. We can then think of Peter as the state of affairs or fact of a's being K. Included within this maximal state of affairs are various submaximal states of affairs such as a's being F, where 'F' picks out an accidental property. We can then say that Peter, as a concrete maximal state of affairs which includes the submaximal state of affairs of Peter's being sunburned, is the truthmaker of *Peter is sunburned.*
This, indeed, is my 'official' line, the line I took in my book on existence. For reasons I can't go into now, I assayed ordinary particulars are concrete states of affairs. But many philosophers will balk at this. Barry Miller, for instance, if I rightly recall, told me that it is a category mistake to think of ordinary particulars as states of affairs. I see his point, but it is hardly compelling. Be that as it may, I have been assuming in these posts on truthmaking that ordinary particulars are not states of affairs.
And so I say to Alan Rhoda, if ordinary particulars are not concrete states of affairs, then such particulars, by themselves, cannot function as truthmakers for accidental predications about them. The reason was given above in #2. Only if an ordinary particular or concrete individual has a proposition-like structure, only if it is a concrete state of affairs or something like one, can it function as truthmaker of accidental predications about it.
4. To sum up. Rhoda and I agree that bare or thin particulars cannot serve as truthmakers for accidental predications. And it may be that we are also in agreement if he goes along with the Bergmannian-Armstrongian ontological assay of ordinary spatiotemporal particulars as concrete states of affairs. But I do disagree with him if he thinks that ordinary particulars, not so assayed, can function as truthmakers of accidental predications.
>> [Alan] if "Peter" denotes a certain thick particular, namely, "hungry Peter", i.e., Peter's having the non-essential intrinsic property *being hungry*, then it seems to me to do the job.
What is the meaning of the word 'denotes' here? It can't mean 'signify', otherwise 'Peter exists', in circumstances where Peter was hungry would signify Peter's being hungry, but would not signify this in circumstances where Peter was not hungry, i.e. the signification of 'Peter' would change according to circumstances, which is not the nature of signification. But if it is not 'signify', then what has all this to do with truth? For the truth or falsity of a proposition depends on its meaning. 'Snow is white' is true if 'white' means white, but false if it means red, black, brown and so on.
>>[Bill] there are possible worlds in which Peter exists, but *Peter is F* (where 'F' picks out an accidental property) is false.
Alan could object that the worlds where Peter is F are the worlds where 'Peter' denotes Peter-as-an-F, and the worlds where Peter is not F are the worlds where 'Peter' denotes Peter-as-a-non-F. But that commits us to the absurd position that the denotation/signification of a proper name changes as the nature of the 'thick particular' changes.
Posted by: William Woking | Monday, April 05, 2010 at 02:22 AM
William,
Alan could say that, but then your objection would kick in. Presumably the reference of 'Peter' does not change as he gains and loses properties in the actual world; and presumably we want to say that there is transworld identity as well. But I think you go to far when you say that it is "absurd" that denotation changes when thick particular changes.
Could it not be that Peter is a diachronic bundle of temporal parts such that, at different times, 'Peter' refers to different temporal parts? (One could alternatively claim that 'Peter' refers to the whole diachronic collection.) And could it not be that Peter does not enjoy transworld identity, but instead has counterparts in other worlds?
Posted by: Bill Vallicella | Monday, April 05, 2010 at 09:21 AM
Bill,
I'm not sure I follow the argument in your (2) that Peter cannot be the truth-maker of *Peter is sunburned*, etc. The picture I have is of ordinary particulars 'generating', as it were, true propositions. If, as the TMP seems to claim, the sole proposition generated by Peter is *Peter exists* then indeed we seem not to have the resources in the category of propositions to deduce *Peter is sunburned*. Unless, of course, the 'Peter' in *Peter exists* brings with it, so to speak, all of Peter's properties, so we get *Peter is sunburned* etc, piggy-backing on 'Peter'. In which case the TMP plays no explanatory role at all. Is this the gist of your position?
Could you also say a little more about how we get from ordinary particulars to concrete states of affairs? You seem to be suggesting that they are identical, so if states of affairs play a truth-making role then so also do ordinary particulars. On the other hand, if they aren't identical, what exactly are states of affairs (I think I understand ordinary particulars), and isn't there a new 'correspondence problem' between them and OPs?
Posted by: David Brightly | Monday, April 05, 2010 at 10:53 AM
Hi Bill,
I'm not sold on your argument in (2). It seems to me to presuppose a "non-thick" conception of Peter. Thus, to suppose that Peter can vary across possible worlds with respect to being hungry is to suppose that being hungry is not included in what *Peter* denotes. But then we're considering Peter in abstraction from some of his intrinsic properties, i.e., we are considering Peter non-thickly.
On my view, thick particular only have trans-world identity with respect to extrinsic properties. Variations in intrinsic properties are to be understood in counterpart-theoretic terms.
As for Peter gaining and losing intrinsic properties in the "actual" world, I don't believe there is any such thing as "the" actual world which remains constant through time. Rather, I believe that with every intrinsic change that takes place a new actual world comes into being. (I'm a pretty thoroughgoing presentist, as you can see.) Thus, I deny that metaphysically possible worlds necessarily include a complete, linear history. Of course, that opens another huge can of worms. ;-)
Posted by: Alan Rhoda | Monday, April 05, 2010 at 02:53 PM
Alan, I am a long way from understanding this. As far as I do understand, you are saying that what makes 'Peter is hungry' true is a complex entity, the relevant bits of which include the connection between Peter and hungriness. But this complex entity cannot be what is signified by 'Peter', because 'Peter' signifies any complex entity which contains Peter, and there have been or will be or could be many such entities which do not include any such connection with hungriness (namely, all complex entities which make 'Peter is not hungry' true).
Posted by: William | Tuesday, April 06, 2010 at 03:02 AM
Bill:>>I think you go to far when you say that it is "absurd" that denotation changes when thick particular changes.
It is absurd that the *signification* (i.e. the meaning) of a name changes when the corresponding thick particular changes. But I am not sure how Alan is using the word 'denote' here. Either he means some non-essential accidental relation between a name and an individual, which is satisfied whenever that individual exists, and whose signification does not include any 'thick' properties. But in that case the name will denote the same individual after he has eaten, and thus no longer hungry, and thus it seems wrong to say that 'what the name denotes' is the truthmaker of "Peter is hungry". Or he means some essential non-accidental relation between the name and an individual, which is holds only when the individual is hungry. But then 'Peter' fails to denote the same individual after he has eaten (or it does denote, but its signification changes.
Posted by: William | Tuesday, April 06, 2010 at 03:11 AM
Hi William,
What makes *Peter is hungry* true is (I say) a complex entity that I would equate with a certain thick particular, call it *hungry Peter*, which particular includes the concrete state of affairs *Peter's being hungry*.
Or, to put matters more precisely, what makes *Peter is hungry* true is the existence of some token of a certain type of thick particular, each token of which includes the state of affairs *Peter's being hungry* as a constituent. The tokens of this type include, for example, *hungry, fat, and bald Peter*, *hungry, skinny, and hairy Peter*, and so on for every possible combination of non-essential intrinsic properties that a hungry Peter could have. These tokens cannot be identical with each other because they differ intrinsically. Hence, the type corresponds to a class of Peter-counterparts. *Peter is hungry* is true if and only if one of those counterpart-Peters exists.
Posted by: Alan Rhoda | Tuesday, April 06, 2010 at 12:52 PM
Alan,
We may not be disagreeing at all if your view is, or is close to, what I sketch in #3 of the main entry. If a thick particular is a concrete state of affairs, then, as I said in earlier posts, Peter can be the T-maker of *Peter is sunburned* and the like.
Posted by: Bill Vallicella | Tuesday, April 06, 2010 at 02:46 PM
Hi David,
You write, >>I'm not sure I follow the argument in your (2) that Peter cannot be the truth-maker of *Peter is sunburned*, etc. The picture I have is of ordinary particulars 'generating', as it were, true propositions. If, as the TMP seems to claim, the sole proposition generated by Peter is *Peter exists* then indeed we seem not to have the resources in the category of propositions to deduce *Peter is sunburned*. <<
I would avoid the word 'generate' which has causal overtones. It is not the case that *Peter exists* is the only proposition made true by Peter. Those who claim that Peter by himself makes true *Peter exists* also claim that he makes true *Peter is human,* *Peter is rational,* *Peter is an animal,* *Peter is self-identical,* and indeed all essential predications about Peter.
Posted by: Bill Vallicella | Tuesday, April 06, 2010 at 02:54 PM
David and Alan,
It looks as if neither of you are grasping the very simple point I am making. It is that a concrete individual such as Peter (taken together with his properties and not as a bare particular) -- but also not construed as a state of affairs -- cannot be the truthmaker of propositions like *Peter is sunburned.*
Posted by: Bill Vallicella | Tuesday, April 06, 2010 at 02:59 PM
Alan, thank you for the comment but it completely fails to address the point I was making. Let's make the point in another way. The following propositions are inconsistent.
1. 'Peter' denotes Peter
2. 'Peter' denotes the truth-maker of 'Peter is hungry'.
3. Peter is not hungry
I expect you will reply that the 'Peter' in (3) above denotes another type of thick particular, each token of which includes the state of affairs *Peter's NOT being hungry*. But as I have argued, in that case 'Peter' will have changed its denotation, which is not plausible. The 'Peter' in (3) clearly denotes Peter.
Posted by: William | Wednesday, April 07, 2010 at 01:07 AM
Thanks, Bill, I see it now. Entailment is necessary implication. In each possible world *Peter exists* implies a set of propositions each of the form *Peter is X*, such as *Peter is human*, *Peter is rational*, and (in some but not all PWs) *Peter is sunburned*. The set of props entailed by *Peter exists* is the intersection of this family of sets, and cannot contain the prop *Peter is sunburned*. It looks as if those of us who feel that Peter is sufficient to make true *Peter is sunburned* will have to take issue with this formulation of TMP.
Posted by: David Brightly | Wednesday, April 07, 2010 at 06:21 AM
Brightly: >>In each possible world *Peter exists* implies ...
Unless of course the name 'Peter' denotes something different in each possible world (or in each past or future state of the world), and so 'Peter exists' implies something different. But as I have argued, the proper name 'Peter' always denotes Peter.
Posted by: William | Wednesday, April 07, 2010 at 07:32 AM