This morning's mail brought a longish letter from philosophy student Ryan Peterson. He would like some comments and I will try to oblige him as time permits, but time is short. So for now I will confine my comments to the postscript of his letter:
P.S. Just as crazy as one category trope bundle theory is to me, is the later Brentano’s attempt at a different one category ontology, ‘reism’, where “For example, ‘Socrates is wise’ and ‘Socrates is Greek’ are made true, respectively, by wise-Socrates and Greek-Socrates, where wise-Socrates and Greek-Socrates are two coinciding but numerically distinct concrete particulars (which also coincide with Socrates)” (from Uriah Kriegel’s Thought and Thing: Brentano’s Reism as Truthmaker Nominalism). I like to rigorously understand all the different views put forth by intelligent philosophers on a topic but I do like to spend the most time understanding the more plausible seeming views first.
Leaving trope theory to one side for the moment, I am happy to agree with Peterson's assessment of Brentano. While not literally a product of insanity, Brentano's view I find to be incomprehensible. (And I don't mean that to be a merely autobiographical remark.)
I assume what to me seems to be well-nigh self-evident: some, but not all, truths need truth-makers. (I am not a truth-maker maximalist.) A truth is a true truth-bearer. The primary truth-bearers — the primary vehicles of the truth-values — are propositions. An assertive utterance at a particular time by a particular person of the declarative sentence 'Socrates is wise' expresses the proposition Socrates is wise. I will assume that propositions are abstract in the Quinean, not the trope-theoretic, sense of 'abstract.' (You can hear an asserted sentence and see a written sentence; you cannot hear or see a proposition.) A truth-bearer is not a truth-maker, except in some recherché cases I won't mention. (And don't confuse a truth-maker with a truth condition.)
There has to be something in the world of concreta (the spatiotemporal realm of causal reality) that makes it true that Socrates exists. To avoid the word 'makes,' we can say that the sentence and the proposition it expresses need an ontological ground of their being-true. Now you either get it or you don't. There are those who don't have a clue as to what I am talking about. Such people have no philosophical aptitude, and must simply be shown the door. A contingent truth cannot just be true, nor can it be true in virtue of someone's say-s0: a contingent truth requires something in reality external to the truth-bearer and its verbal expression that 'makes' it true, where this 'making' or grounding is neither narrowly logical nor causal. (Its not being either the one nor the other sensu stricto is what prejudices some against it. I kick them off my stoa as lacking philosophical aptitude.)
Now what in the world could function as the ontological ground of the contingent truth of 'Socrates exists'? The obvious answer is: the concrete particular Socrates. (Aristotle makes this very point somewhere in The Categories.) A particular may be defined as an unrepeatable entity by contrast with universals (if such there be) that are by definition repeatable.
There is an obvious difference between 'Socrates is wise' and 'Socrates is Greek,' on the one hand, and 'Socrates exists' on the other. It is the difference between predicative and existential sentences. Now we come to the nub of the issue. It seems blindingly evident to me that the two predicative sentences (and the propositions they express), if they need truth-makers at all, need concrete states of affairs (STOAs) as truth-makers, and that these truth-making states of affairs must be numerically distinct. I have no objection to saying that wise-Socrates makes true the first sentence and Greek-Socrates the second if 'wise-Socrates' and 'Greek-Socrates' refer to concrete states of affairs (not to be confused with Chisholmian abstract states of affairs).
But that is not what Brentano is saying. His reism cannot allow for concrete states of affairs of the form a's being F. For the predicate 'F' either picks out an abstract particular, a trope, or it picks out a universal. But on reism, all you've got are things, concrete particulars, which, moreover, cannot be assayed as concrete states of affairs along either Bergmannian or Armstrongian lines.
On reism one must therefore swallow the absurdity that "wise-Socrates and Greek-Socrates are two coinciding but numerically distinct concrete particulars (which also coincide with Socrates)." So they are one and the same and yet numerically different?? A question for Peterson: Is Kriegel defending truth-maker nominalism? I hope not. For it makes no bloody sense. For one thing it implies that the putatively two but at the same time one concrete particular(s) are property-less and are thus 'bare,' though not in Gustav Bergmann's precise sense. They are property-less if there are no properties, and there are no properties if there are no tropes nor any universals. A predicate is not a property.
'Red,' 'rot,' 'rouge,' and 'rosso' are four different predicates in four different languages. If Tom the tomato is red, as we say in English, he is not red only in English or rosso only in Italian. That way lies an absurd linguistic idealism. The predicates are true of Tom because there is something in or related to Tom that makes the predicates true of him, that grounds their applicability to him. This something in Tom is either the trope in him (assuming he is a complete bundle of tropes) or a universal that he instantiates. Nominalism makes no sense. The reality of properties is non-negotiable. But of course they needn't be universals. Trope-nominalism makes sense. 'Ostrich' nominalism does not. The same goes for van Inwagen's 'ostrich realism.'
Here is another argument. Socrates, while essentially Greek (Cf. Kripke's essentiality of origin), is only accidentally wise: had he lived long enough he might have gone 'Biden.' At every time at which he exists, our man is Greek, but only at some times is he wise. (He wasn't wise when he peeped his head out from between the legs of his mother, inter faeces et urinam nascimur.) So if he is one and the same concrete individual over time, then there has to be a distinction between him and real properties (not predicates!) that are either in him as tropes or related to him as universals.
Leave a Reply to john doran Cancel reply