Patrick Grim gives something like the following argument for the impossibility of divine omniscience. What I know when I know that
1. I am making a mess
is an indexical fact that no one else can know. At most, what someone else can know is that
2. BV is making a mess
or perhaps, pointing to BV, that
3. He is making a mess.
Just as no one except BV can refer to BV by tokening the first-person singular pronoun, no one except BV has access to the indexical fact that, as BV would put it to himself, I am BV. Only BV is privy to this fact; only BV knows himself in the first-person way. Now an omniscient being knows everything that can be known. Although I am not omniscient, there is at least one proposition that I know -- namely (1) -- that is not known by any other knower, including an omniscient knower. So an omnisicent being is impossible: by its very definition it must know every fact that can be known, but there are indexical facts that it cannot know. God can know that BV is making a mess but he cannot know what I know when I know that I am making a mess. For any subject S distinct from God, the first-person facts appertinent to S are inaccessible to every mind distinct from S, including God's mind. That is what I take to be Grim's argument.
I suppose one could counter the argument by denying that there are indexical facts. But since I hold that there are both indexical propositions and indexical facts, that response route is not available to me. Let me see if I can respond by making a distinction between two senses of 'omniscience.'
A. X is omniscient1=df X knows every fact knowable by some subject or other.
B. X is omniscient2 =df X knows every fact knowable by some one subject.
What indexical facts show is that no being is or can be omniscient in the first sense. No being knows every indexical and non-indexical fact. But a failure to know what cannot be known does not count against a being's being omniscient in a defensible sense of this term any more than a failure to do what cannot be done counts against a being's being omnipotent. A defensible sense of 'omniscience' is supplied by (B). In this second sense, God is omniscient: he knows every fact that one subject can know, namely, every non-indexical fact, plus all facts pertaining to the divine subjectivity. What more could one want?
Since no being could possibly satisfy (A), (A) is not the appropriate sense of 'omniscience.' Compare omnipotence. An omnipotent being cannot be one who can do just anything, since there are both logical and non-logical limits on what any agent can do. Logical: God cannot actualize (create) an internally contradictory state of affairs. Non-logical: God cannot restore a virgin. So from the fact that it is impossible for God to know what is impossible for any one being to know, it does not follow that God is not omniscient.
To sum up. There are irreducible first-personal facts that show that no being can be omniscient in the (A)-sense: Patrick Grim's argument is sound. But the existence of irreducible first-personal facts is consistent with the truth of standard theism since the latter is committed only to a being omniscient in the (B)-sense of 'omniscience.'
A correspondent asked me my opinion of the following passage from G. K. Chesterton:
Modern masters of science are much impressed with the need of beginning all inquiry with a fact. The ancient masters of religion were quite equally impressed with that necessity. They began with the fact of sin -- a fact as practical as potatoes. Whether or no man could be washed in miraculous waters, there was no doubt at any rate that he wanted washing. But certain religious leaders in London, not mere materialists, have begun in our day not to deny the highly disputable water, but to deny the indisputable dirt. Certain new theologians dispute original sin, which is the only part of Christian theology which can really be proved. Some followers of the Reverend R. J. Campbell, in their almost too fastidious spirituality, admit divine sinlessness, which they cannot see even in their dreams. But they essentially deny human sin, which they can see in the street. The strongest saints and the strongest sceptics alike took positive evil as the starting-point of their argument.
What Chesterton is saying is that sin is a fact, an indisputable fact, whether or not there is any cure for it. Not only is sin a fact, original sin is a fact, an observable fact one can "see in the street." Chesterton also appears to be equating sin with positive moral evil.
Is moral evil the same as sin? If yes, then the factuality of moral evil entails the factuality of sin. But it seems to me that moral evil is not the same as sin. It is no doubt true -- analytically true as we say in the trade -- that sins are morally evil; but the converse is by no means self-evident. It is by no means self-evident that every moral evil is a sin. Let me explain.
Moral evil is evil that comes into the world from a misuse of free will. As such, it could exist whether or not God exists as long as there are free agents. All that would be required for the existence of moral evil, in addition to free agents, would be moral values and/or moral laws. Sin, however, implies God by its very concept. Sin is an offense against God. A sinful act is not just a wrongful act, but an act of disobedience, a contravention of a divine command. From the Catholic Encyclopedia article on sin:
In the Old Testament sin is set forth as an act of disobedience (Genesis 2:16-17; 3:11; Isaiah 1:2-4; Jeremiah 2:32); as an insult to God (Numbers 27:14); as something detested and punished by God (Genesis 3:14-19; Genesis 4:9-16); as injurious to the sinner (Tob., xii, 10); to be expiated by penance (Ps. 1, 19). In the New Testament it is clearly taught in St. Paul that sin is a transgression of the law (Romans 2:23; 5:12-20); a servitude from which we are liberated by grace (Romans 6:16-18); a disobedience (Hebrews 2:2) punished by God (Hebrews 10:26-31). St. John describes sin as an offence to God, a disorder of the will (John 12:43), an iniquity (1 John 3:4-10).
My first conclusion, then, is that moral evil is not the same as sin. The concept of sin includes the concept of moral evil, but not conversely. This is because sin is an offence against God. If so, then it is difficult to see how sin could be a fact, as Chesterton claims. It is an interpretation of certain facts. We need an example.
One man brutally assaults another to get his wallet. He beats him to death with a baseball bat while the victim's little girl looks on in horror. The act is evil, and let's assume that the act's being evil is a fact not only in the sense that it is the case, but also in the sense that it is evidently the case, observably the case, indisputably the case. But is the act of assault sinful? Only if God exists. For only if God exists can there be an offence against God, which is what sin is. No God no sin.
But that God exists is not a fact in the sense I just defined. For even if it is the case that God exists -- even if the proposition God exists is true -- it is not evidently, observably, indisputably the case that God exists. Chesterton says one can "see sin in the street. " This is just false. For surely one cannot see God in the street, or in the sky, or in nature as a whole. The theist interprets what he literally sees in terms of, within the horizon of, his belief in God, and so he interprets the evil act as a sinful act. But the sinfulness of the act of assault is not a perceptible quality of it: it cannot be 'read off' the act.
My second conclusion, therefore, is that sin is not a fact in the sense defined. It is not an observable fact. This is because calling an act sinful involves an interpretation of the act in terms of an entity, God, whose existence is not a fact in the sense defined. It is interesting to note that if sin were an observable fact, then, given that the concept of sin includes the concept of God, we would be able to mount a quick argument for God from the existence of sin. That is, we could argue as follows:
There are sinful acts; If there are sinful acts, then God exists; ergo, God exists. This argument is valid in point of logical form, exemplifying as it does modus ponendo ponens, but is not probative because it begs the question in the first premise: anyone who classifies some acts as sinful in so doing presupposes the existence of God.
So, contrary to what Chesterton says above, sin is not a fact one can "see in the street." It is no more an observable fact than the createdness or divine designedness of the universe are observable facts. They may be facts, but they are not observable facts. I seem to recall Kierkegaard saying something similar to what Chesterton says above. Kierkegaard, if memory serves, says in effect that Original Sin is the one dogma that is empirically verifiable. But this is the same mistake. The most one can say is that the fact of moral evil is plausibly explained by the doctrine of Original Sin. If the doctrine is true, then we have a plausible explanation of the ubiquity and horrendous depth of moral evil; but other explanations are possible which operate without theistic assumptions.
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.
This entry continues a discussion with Dan M. begun here.
Before we get to the main event, a terminological quibble. A view that denies some category of entity I would call eliminativist, not nominalist. I say this because one can be a nominalist about properties without denying their existence. Tom is a tomato of my acquaintance. Tom is red and ripe and juicy and other things besides. It is a Moorean fact, I would say, that Tom has properties, and that, in general, things have properties. After all, Tom is red and ripe, etc. It's a datum, a given, a starting point. A sensible question is not whether there are properties, but what they are. Of course there are properties. What is controversial is whether they are universals or particulars, mind-dependent or mind-independent, immanent or transcendent, constituents or not of the things that have them, etc.
Still, there are those parsimonious souls who deny that there are properties. They accept predicates such as 'red' and 'ripe' but deny that in extralinguistic reality there are properties corresponding to these or to any predicates. These people are called extreme nominalists. It's a lunatic position in my view valuable only as a foil for the development of a saner view. But moderate nominalism is not a lunatic view. This is the view that there are properties all right; it's just that properties are not universals, but particulars, trope theory being one way of cashing out this view. My Trope category goes into more detail on this.
The present point, however, is simply this: a moderate nominalist about properties does not deny the existence of properties. So my suggestion is that if you are out to deny some category K of entity (i.e., deny of a putative category that it has members) then you should label your position as eliminativist about Ks, not nominalist about Ks. Dan is an eliminativist about mental acts, not a nominalist about them.
But this is a merely terminological point. Having made it, I will now irenically acquiesce in Dan's terminology for the space of this post. Dan writes with admirable clarity:
As you explain my proposal (I'll call it "Mental Act Nominalism" or "MAN"), an ontological assay of propositional attitudes will only turn up two entities, the agent and the proposition. The agent's having the relevant attitude (e.g., belief, doubt) to the proposition is not itself construed as an additional entity. You say that this view is committed to "a denial of mental acts and thereby a denial of the act-content distinction."
[. . .]
Turning to your concern. You suggest that "such a parsimonious scheme cannot account for the differences among" various propositional attitudes (belief, doubt, etc.). And after discussing some examples, you say they provide "phenomenological evidence that we cannot eke by with just the subject and the object/content but also need to posit mental acts." And you add: "The differences among [various attitudes] will then be act-differences, differences in the type of mental acts."
The gist of my reply is that we can perhaps account for the differences you speak of without committing ourselves to the existence of the relevant mental acts/states.
Consider these two situations:
(A) Dan wonders whether Bill owns cats.
(B) Dan believes that Bill owns cats.
(We may suppose there was a time lapse between them.) What should the ontological assays of (A) and (B) include? As you described MAN, its ontological assays of propositional attitudes deliver just two entities, the relevant agent and proposition. So on this approach, we get these two assays:
(A Assay 1) Dan, the proposition Bill owns cats.
(B Assay 1) Dan, the proposition Bill owns cats.
These assays fail to differentiate situations A and B. However, it's not clear to me that MAN has to be implemented in this way. Consider these alternative assays:
(A Assay 2) Dan, the relationwondering whether, the proposition Bill owns cats.
(B Assay 2) Dan, the relationbelieving that, the proposition Bill owns cats.
These assays do differentiate A and B, by virtue of the different relations. I think MAN is prima facie compatible with these assays, since the main aim of MAN is not to deny the existence of propositional attitude relations per se, but to deny the existence of mental acts or states consisting in the agent's having the relevant attitude. So, MAN must reject, for example, these assays:
(A Assay 3) Dan, the proposition Bill owns cats, the stateDan's wondering whether Bill owns cats.
(B Assay 3) Dan, the proposition Bill owns cats, the stateDan's believing that Bill owns cats.
So perhaps we can be realists about propositional attitude relations, but nominalists about propositional attitude states (of affairs). The former would give us a robust basis to differentiate different kinds of propositional attitudes, while the latter would preserve MAN.
BV: The issue is now one of deciding which tripartite assay to accept, mine, or Dan's. Where I have mental acts or states, he has relations. Mental acts are datable particulars, where a particular is an unrepeatable item. Dan's relations are, I take it, universals, where a universal is a repeatable item.
Suppose that Dan, who has not seen his elderly neighbor Sam come out of his house in a week, fears that he is dead. What does the world have to contain for 'Dan fears that Sam is dead' to be true? Suppose that it contains Dan, the relation fears that, and the proposition Sam is dead, but not the mental act, state, or event of Dan's fearing that Sam is dead. Then I will point out that Dan, the relation fears that, and the proposition Sam is dead can all three exist without it being the case that Dan fears that Sam is dead. The collection of these three items does not suffice as truthmaker for the sentence in question.
This is the case even if the relation in question is an immanent universal, that is, one that cannot exist instantiated. It could be that Dan exists, the proposition Sam is dead exists, and the relation fears that exists in virtue of being instantiated by the pair (Pam, the proposition Hillary is sad.) It is possible that all three of these items exist and 'Dan fears that Sam is dead' is false.
We need something to tie together the three items in question. On my tripartite analysis it is the mental act that ties them together. So I am arguing that we cannot get by without positing something like the particular Dan's fearing that Sam is dead.
How can a simple God know contingent truths, such as Bill owns cats? On the version of MAN that accepts bona fide relations, we say: God bears the relation believing that to the proposition Bill owns cats. There are just three entities to which this situation commits us: God, the relation, and the proposition. There is no state (construed as a bona fide entity) of God's believing that Bill owns cats.
BV: But if S bears R to p, this implies that R is instantiated by the ordered pair (S, p), and that this relation-instantiation is a state or state of affairs or event. It is clearly something in addition to its constituents inasmuch as it is their truthmaking togetherness. And this bring us back to our original difficulty of explaining how a simple God can know contingent truths.
As magnificent a subject as philosophy is, grappling as it does with the ultimate concerns of human existence, and thus surpassing in nobility any other human pursuit, it is also miserable in that nothing goes uncontested, and nothing ever gets established to the satisfaction of all competent practitioners. (This is true of other disciplines as well, but in philosophy it is true in excelsis.) Suppose I say, as I have in various places:
That things have properties and stand in relations I take to be a plain Moorean fact beyond the reach of reasonable controversy. After all, my cat is black and he is sleeping next to my blue coffee cup. ‘Black’ picks out a property, an extralinguistic feature of my cat.
Is that obvious? Not to some. Not to the ornery and recalcitrant critter known as the ostrich nominalist. My cat, Max Black, is black. That, surely, is a Moorean fact. Now consider the following biconditional and consider whether it too is a Moorean fact:
1. Max is black iff Max has the property of being black.
As I see it, there are three main ways of construing a biconditional such as (1):
A. Ostrich Nominalism. The right-hand side (RHS) says exactly what the left-hand side (LHS) says, but in a verbose and high-falutin' and dispensable way. Thus the use of 'property' on the RHS does not commit one ontologically to properties beyond predicates. (By definition, predicates are linguistic items while properties are extralinguistic and extramental.) Predication is primitive and in need of no philosophical explanation. On this approach, (1) is trivially true. One needn't posit properties, and in consequence one needn't worry about the nature of property-possession. (Is Max related to his blackness, or does Max have his blackness quasi-mereologically by having it as an ontological constituent of him?)
B. Ostrich Realism. The RHS commits one ontologically to properties, but in no sense does the RHS serve to ground or explain the LHS. On this approach, (1) is false if there are no properties. For the ostrich realist, (1) is true, indeed necessarily true, but it is not the case that the LHS is true because the RHS is true. Such notions as metaphysical grounding and philosophical explanation are foreign to the ostrich realist, but not in virtue of his being a realist, but in virtue of his being an ostrich.
C. Non-Ostrich Realism. On this approach, the RHS both commits one to properties, but also proffers a metaphysical ground of the truth of the LHS: the LHS is true because (ontologically or metaphysically speaking) the concrete particular Max has the property of being black, and not vice versa.
Note 1: Explanation is asymmetrical; biconditionality is symmetrical.
Note 2: Properties needn't be universals. They might be (abstract) particulars (unrepeatables) such as the tropes of D. C. Williams and Keith Campbell. Properties must, however, be extralinguistic and extramental, by definition.
Note 3: Property-possession needn't be understood in terms of instantiation or exemplification or Fregean 'falling-under'; it might be construed quasi-mereologically as constituency: a thing has a property by having it as a proper ontological part.
Against Ostrich Nominalism
On (A) there are neither properties, nor do properties enter into any explanation of predication. Predication is primitive and in need of no explanation. In virtue of what does 'black' correctly apply to Max? In virtue of nothing. It just applies to him and does so correctly. Max is black, but there is no feature of reality that explains why 'black' is true of Max, or why 'Max is black' is true. It is just true! There is nothing in reality that serves as the ontological ground of this contingent truth. Nothing 'makes' it true. There are no truth-makers and no need for any.
I find ostrich nominalism preposterous. 'Black' is true of Max, 'white' is not, but there is no feature of reality, nothing in or at or about Max that explains why the one predicate is true of him and the other is not!? This is not really an argument but more an expression of incomprehension or incredulity, an autobiographical comment, if you will. I may just be petering out, pace Professor van Inwagen.
Can I do better than peter? 'Black' is a predicate of English. Schwarz is a predicate of German. If there are no properties, then Max is black relative to English, schwarz relative to German, noir relative to French, and no one color. But this is absurd. Max is not three different colors, but one color, the color we use 'black' to pick out, and the Germans use schwarz to pick out. When Karl, Pierre, and I look at Max we see the same color. So there is one color we both see -- which would not be the case if there were no properties beyond predicates. It is not as if I see the color black while Karl sees the color schwarz. We see the same color. And we see it at the cat. This is not a visio intellectualis whereby we peer into some Platonic topos ouranos. Therefore, there is something in, at, or about the cat, something extralinguistic, that grounds the correctness of the application of the predicate to the cat.
A related argument. I say, 'Max is black.' Karl says, Max ist schwarz. 'Is' and ist are token-distinct and type-distinct words of different languages. If there is nothing in reality (no relation whether of instantiation or of constituency, non-relational tie, Bergmannian nexus, etc.) that the copula picks out, then it is only relative to German that Max ist schwarz, and only relative to English that Max is black. But this is absurd. There are not two different facts here but one. Max is the same color for Karl and me, and his being black is the same fact for Karl and me.
Finally, 'Max is black' is true. Is it true ex vi terminorum? Of course not. It is contingently true. Is it just contingently true? Of course not. It is true because of the way extralinguistic reality is arranged. It is modally contingent, but also contingent upon the way the world is. There's this cat that exists whether or not any language exists, and it is black whether or not any language exists.
Therefore, I say that for a predicate to be contingently true of an individual, (i) there must be individuals independently of language; (ii) there must be properties independently of language; and there must be facts or truth-making states of affairs independently of language. Otherwise, you end up with (i) total linguistic idealism, which is absurd; or (ii) linguistic idealism about properties which is absurd; or (iii) a chaos, a world of disconnected particulars and properties.
The above is a shoot-from-the hip, bloggity-blog exposition of ideas that can be put more rigorously, but it seems to to me to show that ostrich nominalism and ostrich realism for that matter are untenable -- and this despite the fact that a positive theory invoking facts has its own very serious problems.
Metaphilosophical Coda: If a theory has insurmountable problems, these problems are not removed by the fact that every other theory has problems. For it might be that no theory is tenable,while the problem itself is genuine.
A. Some sentences are true in virtue of their correspondence with extralinguistic reality.
B. If so, then reality must have a sentence-like structure.
C. Reality does not have a sentence-like structure.
London Ed solves it by rejecting (A). But let me first say why I accept (A).
Consider a true contingent sentence such as 'Tom is sad,' or the proposition expressed by an assertive utterance in appropriate circumstances of such a sentence. I maintain that the sentence or proposition cannot just be true: if true it is true in virtue of something external to the sentence. The external something cannot be another sentence, or, more generally, another truthbearer. Nor can it be someone's say-so. So the external something has to be something 'in the world,' i.e., in the realm of primary reference, as opposed to the realm of sense. The basic idea here is that some truths need ontological grounds: there is a deep connection between truth and being. There is more to a true sentence than the sentence that is true. There is that in the world which makes it true. Call it the truthmaker of the truth. Some truthbearers need truthmakers. As far as I am concerned, this is about as clear as it gets in philosophy. Which type of entity is best suited to play the truthmaker role, however, is a further question.
Please note three things. First, the direction of the truthmaking relation is from the world to language. More broadly: from external concrete reality to the realm of representations, where Fregean propositions count as representations, despite their not being tied to specific languages, and despite their independence of minds. Second, correspondence is an umbrella notion that covers two quite different relations, naming, and making-true. Naming is a word --> world relation, whereas truthmaking goes in the opposite direction. I am tempted to say that truthmaking is the converse of naming. Third, I unpack 'correspondence' as it occurs in (A) in terms of truthmaking, not naming.
Here is what Ed says in rejection of (A):
The exam question is my argument against (A), namely that some sentences are true in virtue of their correspondence with extralinguistic reality. I shall also be taking on why my reasons are properly nominalistic, given that your version of nominalism is not mine.
1. Starting with nominalism. Classic nominalism is formulated by Ockham in Summa Part I, 51. “the root [of the error of the Realists] is to multiply entities according to the multiplicity of terms, and [to suppose] that to every term [or expression] whatsoever there corresponds a thing [quid rei].”
2. My target is a formulation of the correspondence theory that violates classic nominalism, as I have defined it. There may be other formulations of the theory that are OK.
3. My formulation of the correspondence theory is that an assertoric sentence is true in virtue of naming or referring to or signifying a fact. Let that naming relation be R. Then the correspondence theory says that a sentence S (e.g. ‘Socrates is sitting’) is true iff S stands in the relation R to some fact F (e.g. ‘that Socrates is sitting’).
4. Suppose ‘Socrates is sitting’ names the fact that Socrates is sitting, and assume that it always so names. Then that fact must always exist, assuming the name is always names the fact. So ‘Socrates is sitting’ must always be true, i.e. ‘Socrates is sitting’ always stands in the relation R to the fact that Socrates is sitting. But it is not always true, clearly.
5. We might get out of this in two ways. First, by supposing that ‘Socrates is sitting’ fails to be meaningful, namely when the fact it purports to names ceases to exist, such as when Socrates stands up, or runs. This is absurd, however. The purpose of a sentence is always to mean something.
6. The other way is to suppose that the sentence sometimes names a fact, and sometimes does not. I.e. it actually names something else – a proposition – and the proposition is a fact when the sentence is true, otherwise not a fact. However we have now failed to explain the ‘correspondence’. The sentence ‘Socrates is sitting’ always bears the naming relation R to the proposition that Socrates is sitting, even when Socrates is not sitting.
7. What we really need to name is not the proposition (which may be true or false), but the reality that corresponds when the proposition is a fact. Perhaps ‘the proposition that Socrates is sitting being a fact’ or ‘the actuality of Socrates’s sitting’ or something like that. But there we have the same problem. Either the name ceases to be meaningful when Socrates is not sitting, or it continues to name something. But the former we agreed was absurd, and the latter means that we have not fully captured the relation we want.
8. The problem in general is that if the object of the relation R is something we can talk about i.e. name at all, then we have to deal with the problem of the fixity of reference. The purpose of a name is always to name what it names. But reality is not thus fixed. Whatever supposedly corresponds to the truth of ‘Socrates is sitting’ comes into existence when Socrates sits and goes out of existence when he stands up. But if ‘Socrates is sitting’ is true in virtue of naming this thing, either the sentence becomes meaningless when Socrates stands up, which is absurd, or it names something that does not go out of existence, and so does not name what the correspondence theory purports to name.
9. Bringing this back to nominalism. The problem above arises from the supposition that ‘Socrates is sitting’ is the name of some fact, and thus from supposing that every expression (‘Socrates is sitting’) has a name or referent or whatever.
Ed does two things above. He confronts the truthmaker theorist with a certain (supposedly insoluble) problem, and then he explains how this problem arises by way of a false assumption. First, the problem. I will summarize it as I understand it.
Since Socrates is a past individual, but nothing in this discussion has to do with time, I will change the example to 'Tom is red.' Tom is a tomato of my present acquaintance. We assume that the sentence is true. And of course, if true, then contingently true. My type of TM-theorist holds that contingent true predications such as 'Tom is red' have worldly correspondents called facts. These concrete facts are the truthmakers of contingent predications. Note that the fact corresponds to the sentence as a whole. So not only does 'Tom' have a worldly correspondent, and presumably also the predicate 'red'; the sentence has a worldly correspondent as well.
Note also that the sentence is not about the fact; it is about Tom, or, if you insist, it is about Tom and the property of being red. Still, there is some relation R that connects the sentence and/or the proposition it expresses and the fact. Notice, I wrote 'and the fact,' not 'to the fact.' 'To the fact' suggests a direction from language to world, and not vice versa, whereas 'and the fact' leaves the directionality open. Is the truthmaking relation R naming? Ed thinks it is, but this is not clear. Indeed, I will argue in a moment that the truthmaking relation is not the naming relation. It is clear that 'Tom' names Tom. It is not clear that 'Tom is red' names anything. Suppose it doesn't. This doesn't exclude the possibility that the sentence has a truthmaker. Maybe it has a truthmaker, but that truthmakers cannot be named. Note also that what Ed says above is nothing like what any TM-theorist has ever said. Truthmaking is a relation that runs from the world to representations, whereas naming and referring and 'signifying' run from representations to the world. Truthmaking is more like the converse of the naming relation. We shall see.
But let us suppose arguendo that the truthmaking relation R is naming. On this supposition, Ed sets up a clever little dilemma. It is based on three plausible theses.
T1. If N is a name, then N cannot be vacuous: it must have a nominatum or referent.
T2. If N is a name, then it has an existing referent. That is, there is no naming of nonexistent objects, pace Meinong.
T3. If a name N names an object O, then at every time at which N names something, it names O. So the following is impossible: at some times at which 'Kripke' is in use as a name, it names Kripke, at other times Shkripke. I think this is what Ed means by "the fixity of reference."
The Dilemma. Either sentence S names fact F or it doesn't. On either alternative, trouble. Remember, Ed is assuming that the truthmaking relation is a naming relation and that declarative sentences name facts.
Horn One. If S names F, then, by the conjunction of the three plausible theses, F exists at every time at which S exists, which is plainly false. Clearly, 'Tom is red' both as type and as token can exist at times at which the fact of Tom's being red does not exist. (I might assertively utter 'Tom is red' while Tom is green, or after Tom has been dunked into molten chocolate.) If you say instead that S is meaningless when the fact does not exist, then truthmaking is not naming (by T1), which is all it can be on Ed's (mis)understanding of truthmaking.
Horn Two. If S does not name F, then there is no truthmaking. For truthmaking is a naming relation.
Critique
It is clear that Ed does not understand truthmaker theory. The key idea is not that sentences name facts, but that facts make sentences true. That truthmaking is different from naming is clear from the different directions of the relations, but also because truthmaking is a many-many relation whereas naming is a many-one relation. That truthmaking is many-many can be seen as follows. One and the same truth can have many different truthmakers. For example, 'Something is red' is made true by a's being red, b's being red, c's being red, etc. And one and the same truthmaker can make true many truths. For example, Tom's being red makes true 'Tom is red,' 'Tom is red or Shlomo is sad,' etc. (Cf. Armstrong 1997, pp. 129-130.)
Nominalism
Ed has an understanding of nominalism which contemporary analytic philosophers will find idiosyncratic and vacuous to boot. No philosopher today thinks that for every bit of language there is a corresponding bit of reality. So we are all nominalists in this vacuous sense. And no one is a realist if “the root [of the error of the Realists] is to multiply entities according to the multiplicity of terms, and [to suppose] that to every term [or expression] whatsoever there corresponds a thing [quid rei].” And surely it is a bad joke to claim or suggest that TM-theorists straightaway infer the existence of facts from the existence of declarative sentences.
I would be interested to see how you respond to the following dilemma (from Peter Geach, "Truth and God," Proceedings of the Aristotelian Society, [1982]: 84).
Say proposition P1 is true because it corresponds to fact F. Does the proposition "Proposition P1 is true" (call it proposition P2) have a truthmaker? It seems that it should. Not only that, it seems that the truthmaker of P2 should be the same as P1 (i.e. F). But it's not obvious how F could make P2 true, since it is not obvious that F shares P2's "propositional" or "language-like structure," as you put it.
You've already said that some propositions do not have truthmakers, so perhaps you could just deny that P2 has a truthmaker. Or perhaps there is a way that F could do the job of truthmaking with respect to P2? Or perhaps P2 could be analyzed in a way that shows it is not really different from P1?
Thanks for your high-quality blogging!
You're very welcome! Interesting puzzle. It seems obvious that P2 has a truthmaker and that it has the same truthmaker as P1. Note also that if P1 is contingent, then P2 will also be contingent. For example,
Tom is sad
and
'Tom is sad' is true
are both contingently true and have the same truthmaker, namely, the contingent fact of
Tom's being sad.
And the same holds for all further iterations such as
"'Tom is sad' is true" is true.
Iteration of the truth predicate preserves the modal status of the base proposition. The regress here is infinite but benign. Whatever makes the base proposition true makes true every member of the infinite series of truth predications.
Now the problem you raise is that, while there is a clear isomorphism between 'Tom is sad' and Tom's being sad, there is not the same isomorphism between "'Tom is sad' is true" and Tom's being sad. The predicate in P2 is the predicate 'true', not the predicate 'sad.' P1 is about a man and says of him that he is sad; P2 is about a proposition and says of it that it is true. You are making an assumption, perhaps this:
A. If two or more propositions have the same truthmaker, then they must predicate the same properties of the same subjects.
The truthmaker theorist, however, is not committed to (A). The singular 'Tom is sad' and the existentially general 'Someone is sad' have the same truthmaker, namely, Tom's being sad, but the two propositions differ in logical form, and the second is not about what the first is about. The singular proposition is about Tom while the general proposition is not.
My point, then, is that the puzzle arises only if we assume (A). But (A) is no part of truthmaker theory. Truthmaking is not a 1-1 correspondence. 'Someone is sad' has many different truthmakers, and Tom's being sad makes true many different propositions, indeed, infinitely many.
Our problem may be formulated as an antilogism, or aporetic triad:
A. Some sentences are true in virtue of their correspondence with extralinguistic reality.
B. If so, then reality must have a sentence-like structure.
C. Reality does not have a sentence-like structure.
This trio of propositions is inconsistent. And yet one can make a plausible case for each member of the trio.
Ad (A). Consider a true contingent sentence such as 'Tom is sad,' or the proposition expressed by an assertive utterance in appropriate circumstances of such a sentence. Surely, or rather arguably, the sentence or proposition cannot just be true: if true it is true in virtue of something external to the sentence. I should say that I reject all deflationary theories of truth, including Ramsey's redundancy theory, Quine's disquotationalism, and Paul Horwich's minimalism. The external something cannot be another sentence, or, more generally, another truthbearer. Nor can it be someone's say-so: no truth by fiat unless your name is YHWH. So the external something has to be something 'in the world,' i.e., in the realm of primary reference, as opposed to the realm of sense, to invoke a Fregean distinction. The basic idea here is that some truths need ontological grounds: there is a deep connection between truth and being. There is more to a true sentence than the sentence that is true. There is that in the world which makes it true. Call it the truthmaker of the truth. Some truthbearers need truthmakers. As far as I am concerned, this is about as clear as it gets in philosophy. Which type of entity is best suited to play the truthmaker role, however, is a further question.
Ad (B). At a bare minimum, external reality must include Tom, the subject of our sentence. Part of what must exist for 'Tom is sad' to be true is Tom himself. But Tom alone does not suffice since the sentence says, and says truly, that Tom is sad. So it would seem that external reality must also include properties including the property of being sad. How could something be F if there is no F-ness in the world? There are of course extreme nominalists who deny that there are properties. I consign these extremists to the outer darkness where there is much wailing and the gnashing of teeth. Theirs is a lunatic position barely worth discussing. It is a datum that there are properties. One cannot reasonably ask whether they are; the only reasonable question is what they are. Moderate nominalism, however, is a respectable position. The moderate nominalist admits properties, but denies that they are universals. In contemporary jargon, the moderate nominalist holds that properties are tropes. A trope is a property assayed as a particular, as an unrepeatable item. Accordingly, the sadness in Tom is not repeated elsewhere: it is unique to him. Nor is it transferable: it cannot migrate to some other concrete particular. I'll 'turn' back to tropes in a 'moment.' (Get the double pun?)
For now suppose properties are immanent universals and that reality includes Tom and the property of being sad. Could the sum Tom + sadness suffice as the ontological ground of the truth of 'Tom is sad'? I will argue that it cannot. A universal is a repeatable entity. Universals are either transcendent or immanent. An immanent universal is one that cannot exist unless instantiated. A transcendent universal is one that can. Suppose sadness is an immanent universal instantiated by Shlomo. Then sadness exists and Tom exists. But the mere(ological) sum of the two does not suffice to make true 'Tom is sad.' For if the property and the particular each exist, it does not follow that the particular has the property. A tertium quid is required: something that ties the property to the particular, sadness to Tom.
What this suggests is that the truthmaker of a contingent predication of the form a is F must be something that corresponds to the sentence or proposition as a whole. It cannot be a by itself, or F-ness by itself; it must be a's being F. It is the BEING F of Tom that needs accounting. You could call this the problem of copulative Being.
Enter facts or states of affairs. (These are roughly the states of affairs of Armstrong's middle period.) We now have the concrete particular Tom, the property sadness, and the fact of Tom's being sad. This third thing brings together the concrete particular and the property to form a truthmaking fact. Now this fact, though not a proposition or a sentence, is obviously proposition-like or sentence-like. Although it is a truthmaker, not a truthbearer, it is isomorphic with the truthbearer it makes true. Its structure is mirrored in the proposition. It is a unity of constituents that is not a mere mereological sum of parts any more than a sentence-in-use or a proposition is a mere mereological sum of parts. Plato was already in possession of the insight that a declarative sentence is not a list of words. 'Tom is sad' is not the list: 'Tom,' 'sad,' or the list: 'Tom,' 'is,' 'sad.'
This argument to facts as worldly items in addition to their constituents requires the assumption that properties are universals. For this assumption is what makes it possible for the sum Tom + sadness to exist without Tom being sad. To resist this argument for the sentence-like structure of external reality, therefore, one might try insisting that properties are not universals. And here we come to Arianna Betti's proposal which I have discussed in painful detail in a draft the final version of which will soon appear in the journal METAPHYSICA. She suggests that properties are bearer-specific and that relations are relata-specific.
Well, suppose sadness is bearer-specific, or more precisely, bearer-individuated. This means that it cannot exist unless its bearer, Tom, exists. We can depict the property as follows: ____(tom)Sadness. Tom can exist without this property because it is contingent that Tom is sad. But the property cannot exist or be instantiated without Tom. On this scheme there cannot be a difference between the sum Tom + ___(tom)Sadness and the fact of Tom's being sad. Given the particular and the property, the fact 'automatically' exists. Betti takes this to show that some mereological sums can serve as truthmakers. But, as she notes, the bearer-specific property by itself can serve as truthmaker. For if ___(tom)Sadness exists, it follows that 'Tom is sad' is true. This is because it cannot exist without being insdtantiated, and because it is the "nature" (Betti's word) of this property to be of Tom and Tom alone. So if it exists, then it is instantiated by Tom, by Tom alone, and without the services of a tertium quid.
Now the point I want to make is that whether we take properties to be universals or tropes, it seems we have to grant that reality has a proposition-like structure. Either way it has a proposition-like structure. We saw how this works if properties are universals. The mereological sum Tom + the universal sadness does not suffice as truthmaker for 'Tom is sad.' So we need the fact of Tom's being sad. But this fact has a proposition-like structure. To avoid Armstrongian facts, Betti suggests that we construe properties as monadic tropes. But these too have a proposition-like structure. Even if Betti has shown a way to avoid Armstrong's middle period facts or states of affairs, she has not shown that the world is just a collection of things bare of proposition-like or sentence-like structure.
How so? Well, ___(tom)Sadness obviously in some sense involves Tom, if not as a constituent, then in some other way. There has to be something about this property that makes it such that if it is instantiated, it is instantiated by Tom and Tom alone. It is very much like a Fregean proposition about Tom. Such a proposition does not have Tom himself, with skin and hair, as a constituent, but some appropriately abstract representative of him, his individual essence, say, or his Plantingian haecceity.
Ad (C). According to the third limb of our triad reality does not have a sentence-like structure. This will strike many as obvious. Are worldly items syntactically related to one another? Do this make any sense at all? Arianna Betti, Against Facts, MIT Press, 2015, p. 26, italics in original:
Only linguistic entities . . . can strictly speaking have syntax. Facts are neither linguistic nor languagelike, because they are that of which the world is made, and the world is not made of linguistic or languagelike entities at the lowest level of reference. Thus the articulation of a fact cannot be logical in the sense of being syntactical. It is a categorical mismatch to say that there is a syntactical articulation between a lizard and light green or an alto sax and its price.
So how do we solve this bad boy? I say we reject (C).
In the beginning was the Logos and the Logos was with God, and the Logos was God, and the Logos ex-pressed itself LOG-ically as the world.
Comments appreciated if you are en rapport with the subject matter.
The Case Against Facts
Arianna Betti, Against Facts, The MIT Press, 2015, pp. 296 + xxvii
If Buridan's contribution to the bestiarum philosophorum was the ass, and David Armstrong's the ostrich, Arianna Betti's is the hedgehog bristling with spines. The hedgehog is an appropriate totemic animal inasmuch as her book too bristles with sharp distinctions and prickly arguments designed to inflict pain upon the friends of facts. In this penetrating and beautifully organized volume Professor Betti deploys her distinctions and arguments against two sorts of facts, compositional and propositional, as she calls them. The states of affairs of David Malet Armstrong's middle period (Armstrong 2007) are examples of the first kind of fact. These items are the main target of Betti's animadversions in the first part of her two-part book. She does not go so far as to claim that Armstrongian facts do not exist; her claim is the rather more modest one that we have no reason to posit them, since the work they do, if it needs doing at all, can be done just as well by a certain sort of mereological sum. (101) Betti ignores, however, Armstrong's very different later conception of states of affairs or facts. (Armstrong 2009; Armstrong 2010, 26-34; Vallicella 2016) This later conception also counts as compositional in her sense and ought to have been discussed for the sake of completeness, especially since it in some ways approximates to Betti's mereological position.
One might wonder how a fact could fail to be compositional. Facts are complex or composite items, after all, not simples. So they must all have some internal composition or other, whether they be truthmaking facts or facts of the Chisholmian-Plantingian sort. At a bare minimum, a's being F is composed of a and F-ness. Thus I find less than felicitous Betti's talk of propositional facts in contrast to compositional facts as “noncompositional objects at the level of reference.” (24) She makes it clear, however, that she is using 'compositional' in a narrow sense that implies that compositional facts and their constituents are “part[s] of the furniture of the world.” (37) We shall soon see that being in the world involves being real as opposed to being ideal. An example of a compositional fact is the fact of Guido's being hungry. This fact has Guido himself, all 200 lbs of him, as a constituent. An example of a propositional fact is the putative referent of the that-clause in a sentence like 'Guido sees that Francesca is serving spaghetti puttanesca.' This putative referent is the fact that Francesca is serving spaghetti puttanesca. This propositional fact is like a (Fregean) proposition, though it is not a proposition, in that it does not have Francesca herself as a constituent, but rather an abstract surrogate that represents her. (170) (This fact-of vs. fact-that terminology is mine, not Betti's. I got it from Milton Fisk.)
Betti describes in marvellous detail seven features of compositional facts (18) and five of propositional facts (170). I will speak of C-facts and P-facts. Here are some salient differences. C-facts are in the world, and thus suited to play the truthmaking role whereas P-facts are not in the world and hence not fit for truthmaking. To be in the world is to be real where to be real is to exist “through time and in time as causes or effects in a causal chain.” (22) So C-facts are real while P-facts are ideal. The ideality of P-facts, however, is not that of propositions since P-facts are not propositions. Betti is greatly and rightly exercised by the curious in-between status of these “ghostly critters” (114) that are neither truthbearers nor truthmakers and yet are championed by such distinguished philosophers as Roderick Chisholm, Alvin Plantinga, and Kit Fine. These “ghostly critters” are not truthbearers because they are neither true nor false. But while they are not bivalent in terms of truthvalue, they are 'bipolar' (my term): while all exist, some of them obtain while some do not. They are not truthmakers since truthmakers are real and 'monopolar': if they don't exist they are nothing. Thus the fact of Guido's being hungry does not exist at all if Guido is not hungry. Propositional facts are neither fish nor fowl. The conclusion Betti arrives at strikes me as correct: “Propositional facts collapse into true propositions.” (179) Propositional facts are thus not a distinctive category of entity. We need them, she thinks, as little as we need compositional facts. Actually, her position is far more radical than this since she denies that that-clauses are referential parts of speech. So her position is best expressed conditionally by the following quotation: “If there were nominal reference to facts, facts would be true propositions . . . . (113) Her view, if I understand it, is eliminativist not identitarian: she is not saying that there are propositional facts and that what they are are true propositions; she is saying that that there are no propositional facts.
Leaving propositional facts to languish in their ghostly realm, the rest of this article will take issue with Betti's critique of compositional facts, the ones dear to my heart, the facts involved in the flux and shove of the real order. On a personal note, I want to thank Professor Betti for her very close attention to my articles on the topic.
The Case Against Compositional Facts
A compositional fact, as opposed to a propositional fact, is an entity fit to play the role of truthmaker. The truthmaker role may be introduced as follows. Consider the assertive utterance of some such contingent sentence as 'Tom is sad.' If true, this assertively uttered sentence cannot just be true: if true, it is true because or in virtue of something external to it. This use of 'because' is not causal which is why philosophers reach for the weasel phrase 'in virtue of,' which, despite its slipperiness, may well be indispensable for metaphysics. I say it is indispensable. (Or do hedgehogs eat weasels?) Roughly, there has to be something that 'makes' the sentence true. This external something cannot be another declarative sentence, even if true. More generally, a truth is a true truthbearer (a Fregean proposition, say, or perhaps an Aristotelian proposition, see pp. 31-32 for Betti's helpful explanation of the difference) and no true truthbearer is made true by another such item in the specific sense of 'makes true' in play in truthmaker theory. Nor can someone's say-so be what makes true a true truthbearer. The truthmaker has to be something 'in the world,' something extralinguistic and mind-independent in the realm of reference as opposed to the realm of sense. The friends of truthmakers are realists about truth: they are convinced that at least some truths are in need of an ontological ground of their being true.1
Truthmaker maximalists hold that all truths need such grounds, but one needn't be a maximalist to be a truthmaker theorist. As for 'makes true,' this is neither entailment nor causation. Not entailment, because entailment is a relation between propositions, assuming that truthbearers are propositions, whereas truthmaking is a relation between extra-propositional reality and propositions. So if x makes true y, then y is a truthbearer, but x is not. If someone says that the proposition expressed by 'Snow is white' makes true the proposition expressed by 'Something is white,' then that person, while talking sense, is not using 'makes true' in the specific way in which the phrase is used in truthmaker theory. Truthmaking is not causation for a similar reason: causation does not connect the extra-propositional to the propositional whereas truthmaking does. As Armstrong says, truthmaking is “cross-categorial.” (Armstrong 2004b, 5) It links the extra-propositional to the propositional.
It is important to note, however, that while truthmakers cannot be Fregean or Aristotelian propositions, and thus must be extra-propositional, they must also be proposition-like on Armstrong's approach. This is a point I think Betti misses. Speaking of compositional facts, she tells us that “facts are neither linguistic nor languagelike entities at the lowest level of reference. (28, emphasis in original) But this is certainly not Armstrong's view, the view that is supposed to be the target of Betti's critique of compositional facts. His view is that the world is a world of states of affairs, a “totality of facts not of things” (Wittgenstein) and “sentence-like rather than list-like.” (Armstrong 2010, 34) If the world is sentence-like, then, pace Betti, it is language-like. Armstrong was profoundly influenced by his teacher in Sydney, the Scots philosopher John Anderson, who held that “reality, while independent of the mind that knows it, has a 'propositional' structure.” (Armstrong 1997, 3) Armstrong goes on to say that “the propositional view of reality which he [Anderson] championed is the facts or states of affairs view of reality.” (Armstrong 1997, 3-4) That Armstrongian facts are proposition-like and thus language-like is fairly obvious when we consider the truthmakers of contingent predications of the form 'a is F.' The truthmaker cannot be a by itself, or F-ness by itself, or the mereological sum a + F-ness. It must be a-instantiating F-ness, which has a proposition-like structure. Armstrongian facts have a logos-like and thus logical articulation contrary to what Betti says in opposition to Kit Fine. (28) But now I am getting ahead of myself.
Suppose you accept the legitimacy of the truthmaker role and the need for some type of entity to play it. It doesn't follow straightaway that the entities needed to play the role must be what Betti calls compositional facts or what David Armstrong calls states of affairs. This is so even if we confine ourselves to the really clear examples of truthbearers in need of truthmakers, namely, synthetic, contingent predications such as 'Guido is hungry' or the propositions expressed by assertive utterances of such sentences. Nevertheless, a powerful argument can be mounted for compositional facts as truthmakers. The argument Armstrong and I consider powerful, however, Betti calls “unsound.” (106) Surprise!
Although she is skeptical of the need for truthmakers, she is willing to grant the need arguendo, insisting only that if we need truthmakers, a certain type of mereological complex can do the job thus rendering Armstrong's facts, as unmereological complexes, unnecessary. (102) This is why she thinks the truthmaker argument for Armstrongian facts is unsound. As she sees it, compositional facts are not givens, but theoretical posits, and unnecessary ones at that. They were invented to solve a problem, the unity problem, that arises only because of certain optional assumptions about relations and properties that one is not bound to make. (94-95) Compositional facts are an ad hoc, indeed a “maximally ad hoc,” solution to a pseudo-problem. (64)
Now let me say something in exposition of Armstrong's argument for facts or states of affairs as truthmakers on the assumption that the truthmaker role is legitimate and needs to be filled by some category of entity or other. I will then consider Betti's counter-proposal.
If it is true that Tom is sad, could the truthmaker of this truth be the item that Betti calls (8) the sentence-subject of 'Tom is sad,' namely, Tom? No, since Tom needn't be sad. So Tom by himself cannot be what makes true 'Tom is sad.' The same goes for the property of being sad. By itself the property cannot be the truthmaker of the sentence in question. (I am assuming, with Armstrong, that properties are immanent universals. Immanent, in that they cannot exist uninstantiated; universal, in that they are repeatable.) Now if Tom exists and sadness exists, then so does the mereological sum Tom + sadness. But this sum cannot be the truthmaker either. For the sum exists whether or not Tom is sad. How so?
Suppose that Tom is not sad, but Shlomo is. If properties are immanent universals, then sadness cannot exist uninstantiated; suppose it exists in virtue of being instantiated by Shlomo. So Tom exists, sadness exists, and their sum exists. But this does not suffice for Tom's being sad. There is a missing ontological ingredient: something to connect sadness to Tom. You might think that the missing ingredient would have to be the worldly correlate of the 'is' of predication. But if you take this correlate to be an exemplification/instantiation relation then you ignite Bradley's relation regress which is unfortunately vicious. Other moves invoking Strawsonian nonrelational ties, Bergmannian nexus, Fregean unsaturated concepts, and benign fact-internal infinite regresses (see Vallicella 2010), are equally unavailing. The unifier of a fact's constituents cannot be a further constituent or anything internal to the fact. This leaves two possibilities: (i) the unifier is external to the fact, which Betti rejects, and (ii) Armstrong's middle-period suggestion that facts are entities in addition to their consituents and it is they who hold fact-appropriate constituents together so that they can exercise the truthmaking function. Betti has mastered the dialectic and considers the least bad solution to be Armstrong's: facts hold their constituents together. Although she doesn't say so, she considers my solution in terms of an external unifier to be the worst. The extant putative solutions to the unity problem of course presuppose that it is a genuine problem. Betti thinks it isn't.
Betti's Dissolution of the Unity Problem
After rejecting the extant putative solutions to the unity problem, Betti proposes to dissolve it by collapsing the distinction between “relations that relate relata and relations that do not: all relations relate relata and carry out their own unifying work.” (95) She means this to apply to properties as well. All properties qualify their bearers and carry out their own qualifying work. Thus there needn't be anything to hold the constituents of a relational or as monadic fact together: nothing internal to the fact, nothing external, and not the fact itself. Betti's point is that there is no need for Armstrongian facts, facts as entities in addition to their constituents. (Cf. Armstrong 1997, 117) Her point is not that there are no facts. There may well be facts; it is just that if there are, they are a special sort of mereological sum. Perhaps we can say that she is an identitarian about compositional facts, not an eliminativist, whereas she is an eliminativist about propositional facts, not an identitarian. More on this in a moment.
What Betti has to do is block a possibility like the following. In the actual world, call it Charley, Tim loves Tina. In a merely possible world w in which Tim and Tina both exist, Tim does not love Tina, but Tim loves Toni. In Charley we have both the relational fact of Tim's loving Tina and the mereological sum Tim + loves + Tina. In w, we have the sum Tim + loves + Tina but not the corresponding fact. This implies that there is more to the fact than the sum of its constituents: the sum can exist without constituting a fact. The something more is that which makes of the constituents a real truthmaking unity. Call it the unifier. Betti thinks that the least bad of the extant proposals as to what the unifier is is Armstrong's: facts hold their constituents together; facts are unmereological complexes over and above their constituents. In short, what Betti needs to do is counter the seductive thought that in an actual relational situation such as that of Tom's loving Tina, the constituents can exist without forming a real truthmaking unity. What she needs to maintain is that, necessarily, if all the constituents exist, then the relatedness exists. If the mere existence of the constituents ensures their connectedness, then there is no need for Armstrongian facts. You would then have real unity on the cheap, real truthmaking unity from mereology alone, or rather from mereology operating upon the right sorts of constituents. The mereological principle of the extensionality of parthood would hold for all complexes. Nice work if you can get it!
Betti can achieve her end if she holds that relations are relata-specific where “A relation is relata-specific if and only if it is in its nature to relate specific relata.” (89) Suppose that the relation loves as it figures in the sum Tom + loves + Tina is necessarily such that, if it exists, then it relates Tom and Tina. Then there would be no distinction in reality between loves as a relating relation and loves as an inert relation that is merely a constituent but not also a unifier of the complex into which it enters.
Betti's contention, then, is that all relations, just in virtue of existing, are relating relations, active ontological ingredients if you will, and none are inert ingredients. A relation cannot exist without actually relating its relata. If so, there cannot be a difference between the mereological sum a + R+ b and the fact of a's standing in R to b. Given the constituents, the fact is given: it is not an ontological extra, something over and above the constituents. There is no possibility of the constituents existing without the fact existing. It follows that there is no need for facts as unmereological compositions, facts as “additions to being,” in a phrase from Armstrong. If a fact just is a mereological complex, then it is an “ontological free lunch,” to employ yet another signature phrase of the late Australian. Of course, not just any old mereological sum is a fact; only those with the right constituents.
And the same goes for properties: all properties, just in virtue of existing, qualify their bearers. There is no need for a tertium quid such as an instantiation relation to tie a property to its bearer. Nor is there any need for monadic facts as entities in addition to their constituents to do this unifying work. There is no difference between the sum a + F-ness and the fact of a's being F. For this to work, all properties have to be “bearer-specific.” “A property is bearer-specific if and only if it is in its nature to be had by specific bearers.” (90) Suppose it is true that Hargle is happy, and that being happy is “bearer-specific.” We can display the property as follows: __(H) being happy. '__' indicates that the property is unsaturated or incomplete or gappy in something like Frege's sense: if it is had by an individual it is had directly without the need of a connector such as an instantiation relation or Strawsonian nonrelational tie or a Bergmannian nexus. '(H)' indicates that the property is bearer-specific or rather bearer-individuated: if the property is had, it is had by Hargle and nothing else. That the property is had follows from its existence: necessarily, if the property exists, then it is had, had by Hargle and nothing else, and had directly without the service of a tertium quid. What this all implies is that the mereological sum Hargle + __(H) being happy suffices as truthmaker of 'Hargle is happy.' There is no need for a fact over and above this sum. Indeed, as Betti points out, the property alone suffices as truthmaker since it cannot exist unless Hargle exists. (101)
Questions and Objections
1. Why is Betti's proposal superior to Armstrong's?
Betti presents us with an alternative way of thinking about truthmaking facts, namely, as mereological sums whose parts include relata-specific relations and bearer-specific properties. Betti's main point is that “mereological complexes are viable as truthmakers; facts are not needed for the role.” (101) When she says that facts are not needed, she means Armstrongian, middle-period facts. She is not denying that there are truthmakers. Nor is she is denying the existence of facts as long as they are assayed as mereological complexes. If a fact is a complex entity that functions as a truthmaker, then her mereological complexes containing relata-specific relations and bearer-dependent properties are facts, though not in Armstrong 's robust sense. She is denying, or rather refusing to countenance on grounds of theoretical economy, facts as unmereological complexes. Her claim is that there is no explanatory need for facts as the middle-period Armstrong conceives of them, namely, as “additions to being.” Betti may bristle at my use of 'facts' in describing her position but surely there is an innocuous and nearly datanic, as opposed to theoretical, use of 'fact' according to which an individual's having a property, or two or more things standing in a relation, is a fact. Indeed, she needs this use of 'fact' just to state her theory, according to which the fact aRb is identical to the sum a + R + b, when R is relata-specific. On her view facts are a proper subset of mereological sums. That is not a denial of facts, but an acceptance of them. Unfortunately, Betti sometimes expresses herself in a misleading way. She tells us, for example, that “the thought that the world is a world without facts – one in which there is no difference between facts and sums – is shown to be perfectly sensible.” (88) This formulation equivocates on 'fact.' What she wants to say is that the world is without Armstrongian facts, not that the world is without truthmaking facts. It is the latter that are no different from sums, namely those sums whose constituents include relata-specific relations and object-dependent properties.
Betti thinks her theory is preferable to Armstrong's. I question whether she is justified in this preference. We face a tough choice. Armstrong's theory violates the extensionality of parthood and countenances unmereological complexes. This is a strike against it. Betti's theory avoids unmereological complexes, thereby upholding the extensionality of parthood, but accepts relata-specific relations and bearer-dependent properties. How plausible is it that all relations are relata- specific and all properties bearer-dependent? Are these notions even coherent? Let's consider the coherence question.
2. Against Relata-Specific Relations and Bearer-Dependent Properties
Suppose Argle is two feet from Bargle. There is nothing in the nature of either relatum to necessitate their standing in this external relation. Each can exist apart from the relation. And as I see it, there cannot be anything in the nature of the relation itself to necessitate that it be precisely these two critters that the relation relates. So on my view a relational situation such as Argle's being two feet from Bargle involves a double externality: there is nothing in the nature of the terms to dictate their standing in the external relation in question, and there is nothing in the nature of the external relation to dictate the terms. But as Betti sees it, it is the nature of this relation to relate Argle and Bargle and nothing else: the relation cannot exist/be instantiated without relating precisely these two. This implies that “as soon as” (105) the relation exists, it relates Argle and Bargle. If this conception is coherent, it has the desired consequence of undercutting Bertrand Russell's distinction between actually relating relations and those same relations as inert, and with it the distinction between a fact as a real unity of fact-appropriate constituents and the 'mere' mereological sum of those very same constituents. If this works, it puts paid to Armstrong's commitment to unmereological complexes: mereology suffices for truthmakers provided the parts of the sums include relata-specific relations or bearer-dependent properties.
It seems to me, however, that the notion of relata-specificity reduces to absurdity by way of the following argument in which R is any relata-specific dyadic external relation, and a and b are its individual relata. (See also my critique of D. W. Mertz in Vallicella 2004.) Generalization beyond the dyadic case is straightforward but unnecessary. Betti's definition of 'external relation' is standard and perfectly serviceable: “A relation is external if and only if it is not grounded in corresponding properties of its relata, that is, is an entity over and above its relata.” (89) An internal relation is then one that is grounded in corresponding properties and is not an entity in addition to its relata. Now to the argument:
P1. R is entirely dependent for its existence on both a and b. (Betti's theory of relata-specificity)
This is because (i) R cannot exist without being instantiated and thus cannot exist without actually relating some pair of individuals or other, and (ii) R cannot, as relata-specific, relate any pair of individuals other than a, b. If dyadic R were an immanent universal, then it could not exist without relating some pair or other; but it would not necessarily have to relate the precise pair, a, b. R's existence would then not depend on its relating a and b. But as it is, R is a particular (an unrepeatable), not a universal (a repeatable); it is a non-transferable relational trope. It is as particular as the particulars it relates. Its being or existence is exhausted by its particular occurrence, unlike an immanent universal the being or existence of which is not exhausted by its instantiation in a particular case. So R, as a relational trope, is entirely dependent for its existence on the exact relata it has: its being or existence is exhausted by its relating of those exact relata, the individuals a and b. Therefore,
C1. R is not distinct in reality from the particular relatedness aRb: R = aRb.
Of course, R can be thought of in abstraction from aRb. But R in reality is identical to aRb. You cannot say that they are different because aRb has constituents a, b while R does not. For R exists when and only when it is relating a and b. Apart from them it is nothing at all.
P2. The particular relatedness or relational fact aRb is identical to the mereological sum a + R + b, given that R is relata-specific. (Betti's theory) Therefore,
C2. R is identical to the sum a + R + b. (from C1 and P2 by Transitivity of Identity)
P3. No proper part of a mereological sum having two or more members is identical to the sum of which it is a proper part. (Principle of mereology) Therefore,
C3. R is not identical to the sum a + R + b. (from P3) Therefore,
C4. R is and is not identical to the sum a + R + b. (from C2, C3) Contradiction! Therefore,
C5. Either P1 or P2 is false; either way, Betti's theory fails.
Betti will presumably reject (C1). But how? She tells us that it is the nature of R to relate exactly a and b. Now if it is the nature of R to relate exactly these relata, then it is intrinsic to R that it do so. But then R is intrinsically relational, relational in and of itself. If this is neither contradictory nor magical, then it involves importing mind (intentionality) into the bowels of R. For if it is intrinsic to R that it relate exactly a and b, then R, quite apart from actually relating a and b, 'pre-selects' a and b as its relata. But this is what mind in its intentional states does. Such states are intrinsically relational: it is their nature to be of or about items that need not exist for the states to be of or about them. But surely there is no intentionality within the non-transferable relational trope R!
But what is the alternative? Will we be told that a and b are constituents of R? But then R is identical to aRb, when it cannot be given that aRb is a + R + b.
Now let's consider bearer-dependent properties. Suppose we grant, along with Armstrong (2004, 49), that some mereological complexes are truthmakers. Is it not also the case that some are not? Suppose that Gargle is lachrymose but Hargle is not. Then the following sum exists: Hargle + __(G)being lachrymose. The sum exists because its two parts exist. But the parts are not connected to form a truthmaker. This implies that on Betti's account there are two sorts of mereological sum: those that are truthmakers and those that are not. It also implies that what makes a mereological sum a truthmaker is not its being a mereological sum. What makes a sum a truthmaker is the nature of its members. Thus what makes Hargle + __(H)being happy a truthmaking sum is its second member.
But this second member has a rather intricate and puzzling structure. It is a bearer-individuated property, a property that exists only if instantiated by Hargle. Hargle can exist without being happy, but the property in question cannot exist unless Hargle exists. It is in the nature of the property to qualify precisely Hargle “as soon as it exists,” (105) i.e., as soon as the property exists. But when does it exist? When Hargle instantiates it. So it is not as if the property has its individuated nature apart from its being instantiated; rather, it receives its individuated nature by being instantiated by Hargle. It is only the existing Hargle that can make the property individuative of precisely Hargle and nothing else. So Hargle supplies the nature that makes the property Hargle-specific, or rather Hargle-individuated.
Does this not smack of absurdity? The nature of an entity is intrinsic to it; it cannot consist in a relation to an item external to it. So it cannot be instantiation by Hargle that gives the property its nature. If, on the other hand, Hargle were a constituent of the property in question, namely, __(H)being happy, then it would make sense to say that it is the nature of the property to be instantiated by Hargle. But Hargle is not a constituent of the property; otherwise the property would not be a property but the fact of Hargle's being happy.
Betti seems to face a dilemma. Either Hargle is not a constituent of the property or he is. If Hargle is not a constituent of the property, then the property has no nature that makes it dependent on precisely Hargle and nothing else. But if Hargle is a constituent of the property, then the property is a fact.
If Betti's account is incoherent, as I have just argued that it is, then it cannot be superior to Armstrong's even if Armstrong's is also incoherent. I should make it clear that I am not defending Armstrong; I admit that his view of facts is problematic. In fact, I argue that it is incoherent in Vallicella 2016. My point is that Betti's theory is not an acceptable replacement for it. Even if her theory is not incoherent, it is problematic as I will now further demonstrate.
3. Digging Deeper: Further Questions about Betti's Theory of Relations
Betti faults me (92-93) for failing to distinguish between externality and relata-unspecificity. A relation is external just in case it is not “grounded in corresponding properties of its relata . . . .” (89) “A rela tion is relata-unspecific if and only if it is not in its nature to relate specific relata.” (90) I fail to distinguish externality from relata-unspecificity in that I hold that, in Betti's words, “A relation is external if and only if it could have related another pair (or triple, quadruple, etc.) of relata.” (93, citing Vallicella 2002, 14-15, 31; 2004, 164). As I see it, no external relation has a nature that dictates that it relate only a particular pair, triple, quadruple, etc. of relata. As against this, Betti envisages the following possibility: an external relation such as being two feet from that holds, if it holds at all, between Argle and Bargle but cannot hold between any other pair of relata. The relation is external in that there is nothing in the natures of the relata that dictates that they stand in the relation in question; the relation is relata-specific in that there is something in the nature of the relation to dictate that, if it holds, it holds only between Argle and Bargle.
Now if Betti's scenario is possible, then I have blundered by conflating externality and relata-unspecificity. But while I grant that Betti's 'possibility' is combinatorially possible given her definitions, it is not metaphysically possible. I gave an argument above. So my conflation of externality and relata-unspecificity strikes me as justified.
I found Betti's theory of relata-specific relations (which draws on the work of her student Jan Willem Wieland) obscure and in need of further development. One intriguing suggestion is that “relata-specific relations can still be universals.” (91) Now there is a wholly uncontroversial sense of 'relata-specific universal' which Betti does not intend. Consider the universal taller than. This is a dyadic relation that is instantiated by ordered pairs of objects, but not just by any old pair. The pairs must be pairs of things having height. Taller than is thus specific to all and only such pairs and not to pairs of numbers or pairs of sets or pairs of propositions or pairs of angels or pairs of acts of thinking. But Betti means something different. She is apparently envisaging the possibility of a relation that is universal but that, say, relates only Guido, Francesca, Giacomo, and Maria in respect of height. Unfortunately, she gives no exemples and I am not sure what she is driving at. She brings this up because she thinks that her solution to the unity problem works whether or not one assays properties as universals or as tropes. (91) But this is all very obscure and here is a lacuna that needs filling.
Conclusion
My interim verdict with respect to compositional facts is that Betti has not provided a viable mereological alternative to the admittedly untenable facts or states of affairs of Armstrong's middle period.
REFERENCES
Armstrong, D. M. 1978. Nominalism and Realism: Universals and Scientific Realism, vol. I. Cambridge: Cambridge University Press.
Armstrong, D. M. 1983. What is a Law of Nature? Cambridge: Cambridge University Press.
Armstrong, D. M. 1989a. Universals: An Opinionated Introduction. Boulder: Westview Press.
Armstrong, D. M. 1989b. A Combinatorial Theory of Possibility. Cambridge: Cambridge University Press.
Armstrong, D. M. 1993. “A World of States of Affairs”. Philosophical Perspectives, vol.7, 429-440.
Armstrong, D. M. 2004a. “How Do Particulars Stand to Universals?” In D. W. Zimmerman, (ed.), Oxford Studies in Metaphysics, vol. 1. Oxford: Oxford University Press, 139-154.
Armstrong, D. M. 2004b. Truth and Truthmakers. Cambridge: Cambridge University Press.
Armstrong, D. M. 2009. “Questions about States of Affairs”. In M. E. Reicher (ed.), States of Affairs. Frankfurt: Ontos Verlag, 39-50.
Armstrong, D. M. 2010a. Sketch for a Systematic Metaphysics. Oxford: Oxford University Press.
Armstrong, D. M. 2010b. “Reinhardt Grossmann's Ontology”. In Cumpa, J. (ed.), Studies in the Ontology of Reinhardt Grossmann. Frankfurt: Ontos Verlag, 29-43.
Baxter, D. 2001. “Instantiation as Partial Identity”. Australasian Journal of Philosophy, 1979, 449-64.
Bergmann, G. 1967. Realism: A Critique of Brentano and Meinong. Madison: The University of Wisconsin Press.
Butchvarov, P. 1979. Being Qua Being: A Theory of Identity, Existence, and Predication. Bloomington: Indiana University Press.
Butchvarov, P. 1986. “States of Affairs”. In Bogdan, R. (ed.), Roderick M. Chisholm. Dordrecht: D. Reidel, 113-133.
Butchvarov, P. 2010. “Facts”. In Cumpa, J. (ed.), Studies in the Ontology of Reinhardt Grossmann. Frankfurt: Ontos Verlag, 71-93.
Chisholm, R 1976. Person and Object: A Metaphysical Study. La Salle: Open Court.
Cumpa, J. and Tegtmeier, E. (eds.), 2009. Phenomenological Realism Versus Scientific Realism: Reinhardt Grossmann-David M. Armstrong Metaphysical Correspondence. Frankfurt: Ontos Verlag.
Frege, G. 1960.”On Concept and Object”. In P. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege. Oxford: Basil Blackwell, 42-55.
Frege, G. 1976. “Der Gedanke”. In G. Patzig (ed.), Logische Untersuchungen. Goettingen:Vandenhoeck and Ruprecht, 30-53.
Grossmann, R. 1974. “Bergmann's Ontology and the Principle of Acquintance”. In Gram, M. S. and Klemke, E. D. (eds.), The Ontological Turn: Studies in the Philosophy of Gustav Bergmann. Iowa City: University of Iowa Press, 89-113.
Grossmann, R. 1983. The Categorial Structure of the World. Bloomington: Indiana University Press.
Grossmann, R. 1984. Phenomenology and Existentialism: An Introduction. London: Routledge and Kegan Paul.
Grossmann, R. 1990. The Fourth Way: A Theory of Knowledge. Bloomington: Indiana University Press.
Grossmann, R. 1992. The Existence of the World: An Introduction to Ontology. London: Routledge.
Mulligan, K., Simons, P. and Smith, B. 2009. “Truth-makers”. In Lowe, E. J. and Rami, A., Truth and Truth-Making. Montreal: McGill-Queen's University Press, 59-86.
Mumford, S. 2007. David Armstrong. Montreal: McGill-Queen's University Press.
Plantinga, A. 1974. The Nature of Necessity. Oxford: Oxford University Press.
Strawson, P. F. 1950. “Truth”. In Aristotelian Society Suplementary Volume 24, 136-137.
Vallicella, W. F. 2000. “From Facts to God: An Onto-Cosmological Argument”. International Journal for the Philosophy of Religion 48, 157-181.
Vallicella, W. F. 2002. A Paradigm Theory of Existence: Onto-Theology Vindicated. Dordrecht: Kluwer Academic Publishers.
Vallicella, W. F. 2004. “Bradley's Regress and Relation-Instances”. The Modern Schoolman, vol. LXXXI, no. 3, 159-183.
Vallicella, W. F. 2010. “Gaskin on the Unity of the Proposition”. Dialectica 64, 265-277.
Vallicella, W. F. 2016. “Facts: An Essay in Aporetics”. In Calemi, Francesco F. ed, Metaphysics and Scientific Realism: Essays in Honour of David Malet Armstrong. Boston/Berlin: Walter de Gruyter, 105-131, esp. 115-126.
1It is an interesting question whether one could be an idealist and also a truthmaker theorist. Consider a Kantian who holds that phenomenal objects and events are “empirically real but transcendentally ideal” to employ a signature Kantian phrase. It seems to me that such a philosopher could maintain a need for truthmakers for some truthbearers, namely those synthetic aposteriori, and thus contingent, judgments about empirical objects and events. It seems one could combine realism about empirical truth with transcendental idealism.
Do you prefer the term 'facts' to 'states of affairs'? I take it you do -- you certainly used the former most. But why, actually, did you use the latter in your Nous article?
Personally, I used 'facts' in my Ph.D. dissertation, but afterwards started using 'state of affairs', very much to be in the spirit of Armstrong, so to speak. But it is quite inconvenient and a little disagreeable-sounding. And one can -- as demonstrated by important philosophers in the area, like you -- perfectly well use 'facts' for worldly entities, as opposed to true propositions. One can also use it for both, in one and the same text, as in Arianna Betti's book, Against Facts (though that might give rise to some problems.)
So I wonder if I should return to using the term 'fact' for my book, which is derived from my dissertation. In my case, it's a terminological question only, so in principle I guess I can postpone deciding on this till later.
In the Nous article I used 'states of affairs' because I was drawing heavily from Armstrong. I now use 'fact' and 'state of affairs' interchangeably, but favor 'fact' on account of its brevity. If facts are truth-makers, however, then we cannot mean by 'fact' what Frege means by Tatsache, namely, a true proposition, where a proposition or thought (Gedanke) is the sense (Sinn) of a context-free declarative sentence (Satz). (Frege 1976, 50) Propositions are either true or false, but no fact is either true or false. A proposition is a truth-bearer, but a fact is a truth-maker. Propositions are bivalent, but there is no corresponding bivalence with respect to facts on the concretist conception. It is not as if some facts obtain and others do not: a fact cannot exist without obtaining.
By my count there are at least three correct uses of 'fact.'
Logical: A fact is a true proposition.
Epistemological: A fact is a proposition either known to be the case or believed on good evidence to be the case.
Ontological: A fact is not a proposition, but a proposition-like entity in external reality that can serve as truth-maker for declarative sentences and the propositions they express. For example, Al's being fat is a fact in the ontological sense, a complex having as primary constituents Al and the property of being fat. This fact in the ontological sense makes true the fact in the logical sense expressed by 'Al is fat.' The fact that Al is fat is made true by the fact ofAl's being fat.
I use 'fact' in the ontological sense. But what reason do we have to posit facts in this ontological sense?
There is more to the truth of a contingent sentence than the sentence that is true. 'Al is fat' is a true contingent declarative sentence. By my lights it cannot just be true: there has to be something external to the sentence that 'makes' it true, that 'grounds' its being true. This external something cannot be another sentence or someone's say-so. This external something is something 'in the world,' i.e., in reality outside mind and language. What's more, this external something cannot be Al construed as an individual. It must be a proposition-like entity, Al's being fat. This is what Armstrong calls a state of affairs and what I call a fact (and sometimes a state of affairs). It is not a proposition though it is proposition-like: it has a structure that mirrors the structure of a proposition. Clarity is served if we refer to such truth-making facts as concrete facts to distinguish them from abstract facts and a abstract states of affairs. As concrete, the fact of Al's being fat is spatially located.
This truth-maker principle goes beyond what we could call the veritas-sequitur-esse principle. The latter says merely that every true contingent sentence/proposition is about something that exists. It says that there are no truths about nonexistent items, contra Meinong. The VSE principle is satisfied by 'Al is fat' if just Al exists in reality or just Al and fatness. The TM principle takes it a step further. It requires Al, fatness, and their togetherness in the fact of Al's being fat.
What follows is largely a summary and restatement of points I make in "The Moreland-Willard-Lotze Thesis on Being," Philosophia Christi, vol. 6, no. 1, 2004, pp. 27-58. It is a 'popular' or 'bloggity-blog' version of a part of that lengthy technical article. First I summarize my agreements with J. P. Moreland. Then I explain and raise two objections to this theory. I post the following on account of hearing from a student of Moreland who is himself now a professor of philosophy. He has some criticisms to make. I should like to hear them in the ComBox. Another student of Moreland says he agrees with me. He may wish to chime in as well. The other day a third student of Moreland surfaced. The Moreland text I have under my logical microscope is pp. 134-139 of his 2001 Universals (McGill-Queen's University Press).
Common Ground with Moreland on Existence
We agree on the following five points (which is not to say that Moreland will agree with every detail of my explanation of these five points):
Existence is attributable to individuals. The cat that just jumped into my lap exists. This very cat, Manny, exists. Existence belongs to it and is meaningfully attributable to it. Pace Frege and Russell, 'Manny exists' is a meaningful sentence, and it is meaningful as it stands, as predicating existence of an individual. It is nothing like 'Manny is numerous.' To argue that since cats are numerous, and Manny is a cat, that therefore Manny is numerous is to commit the fallacy of division. Russell held that the same fallacy is committed by someone who thinks that since cats exist, and Manny is a cat, that therefore Manny exists. But Russell was mistaken: there is no fallacy of division; there is an equivocation on 'exists.' It has a general or second-level use and a singular or first-level use.
There are admissible first-level uses of '. . .exist(s).' It is not the case that only second-level uses are admissible. And it is only because Manny, or some other individual cat, exists that the concept cat is instantiated. The existence of an individual cannot be reduced to the being-instantiated of a property or concept. If you like, you can say that the existence of a concept is its being instantiated. We sometimes speak like that. A typical utterance of 'Beauty exists,' say, is not intended to convey that Beauty itself exists, but is intended to convey that Beauty is exemplified, that there are beautiful things. But then one is speaking of general existence, not of singular existence.
Clearly, general existence presupposes singular existence in the following sense: if a first-level concept or property is instantiated, then it is instantiated by an individual, and this individual must exist in order to stand in the instantiation nexus to a concept or property. From here on out, by 'existence' I mean 'singular existence.' There is really no need for 'general existence' inasmuch as we can speak of instantiation or of someness, as when we say that cats exist if and only something is a cat. The fundamental error of what Peter van Inwagen calls the 'thin theory' of existence is to imagine that existence can be reduced to the purely logical notion of someness. That would be to suppose, falsely, that singular existence can be dispensed with in favor of general existence. Existence is not a merely logical topic ; existence is a metaphysical topic.
Existence cannot be an ordinary property of individuals. While existence is attributable to individuals, it is no ordinary property of them. There are several reasons for this, but I will mention only one: you cannot add to a thing's description by saying of it that it exists. Nothing is added to the description of a tomato if one adds 'exists' to its descriptors: 'red,' round,' ripe,' etc. As Kant famously observed, "Being is not a real predicate," i.e., being or existence adds nothing to the realitas or whatness of a thing. Contrary to popular scholarly opinion, Kant did not anticipate the Frege-Russell theory. He does not deny that 'exist(s)' is an admissible first-level predicate. (See my "Existence: Two Dogmas of Analysis" in Novotny and Novak, eds. Neo-Aristotelian Perspectives in Metaphysics, Routledge 2014, pp. 45-75, esp. 48-50.)
Existence is not a classificatory concept or property. The reason is simple: there is no logically prior domain of items classifiable as either existent or nonexistent. Pace Meinong, everything exists. There are no nonexistent items. On Meinong's view, some items actually have properties despite having no Being at all.
Existence makes a real difference to a thing that exists. In one sense existence adds nothing to a thing. It adds nothing quidditative. In another sense it adds everything: if a thing does not exist, it is nothing at all! To be or not to be -- not just a question, but the most 'abysmal' difference conceivable. In this connection, Moreland rightly speaks of a "real difference between existence and non-existence." (137)
Existence itself exists. This is not the trivial claim that existing things exist. It is the momentous claim that that in virtue of which existing things exist itself exists. It is a logical consequence of (4) in conjunction with (3). As Moreland puts it, "[i]f existence itself does not exist, then nothing else could exist in virtue of having existence." (135)
The above five points are criteria of adequacy for a theory of existence: any adequate theory must include or entail each of these points. Most philosophers nowadays will not agree, but I think Moreland will. So he and I stand on common ground. I should think that the only fruitful disputes are those that play out over a large chunk of common ground.
But these criteria of adequacy also pose a problem: How can existence belong to individuals without being a property of them? Existence belongs to individual as it would not belong to them if it were a property of properties or concepts; but it is not a property of individuals.
Moreland's Theory
Moreland's theory gets off to a good start: "existence is not a property which belongs, but is the belonging of a property." (137) This insight nicely accommodates points (1) and (2) above: existence is attributable to individuals without being an ordinary property of them. Indeed, it is not a property at all. I infer from this that existence is not the property of having properties. It is rather the mutual belongingness of a thing and its properties. Moreland continues:
Existence is the entering into the exemplification nexus . . . . In the case of Tony the tiger, the fact [that] the property of being a tiger belongs to something and that something has this property belonging to it is what confers existence. (137)
I take this to mean that existence is the mutual belonging together of individual and property. It is 'between' a thing and its properties as that which unifies them, thereby tying them into a concrete fact or state of affairs. The existence of Tony is not one of his properties; nor is it Tony. And of course the existence of Tony is not the being-exemplified of some such haecceity property as identity-with-Tony. Rather, the existence of Tony, of that very individual, is his exemplifying of his properties. The existence of a (thick) individual in general is then the exemplification relation itself insofar as this relation actually relates (thin) individual and properties.
Moreland implies as much. In answer to the question how existence itself exists, he explains that "The belonging-to (exemplification, predication) relation is itself exemplified . . ." (137) Thus the asymmetrical exemplification relation x exemplifies P is exemplified by Tony and the property of being a tiger (in that order). Existence itself exists because existence itself is the universal exemplification relation which is itself exemplified. It exists in that it is exemplified by a and F-ness, a and G-ness, a and H-ness, b and F-ness, b and G-ness, b and H-ness, and so on. An individual existent exists in that its ontological constituents (thin particular and properties) exemplify the exemplification relation which is existence itself.
The basic idea is this. The existence of a thick particular such as Tony, that is, a particular taken together with all its monadic properties, is the unity of its ontological constituents. (This is not just any old kind of unity, of course, but a type of unity that ties items that are not facts into a fact.) This unity is brought about by the exemplification relation within the thick particular. The terms of this relation are the thin particular on the one hand and the properties on the other.
Moreland's theory accommodates all five of the desiderata listed above which in my book is a strong point in its favor.
A Bradleyan Difficulty
A sentence such as 'Al is fat' is not a list of its constituent words. The sentence is either true or false, but neither the corresponding list, nor any item on the list, is either true or false. So there is something more to a declarative sentence than its constituent words. Something very similar holds for the fact that makes the sentence true, if it is true. I mean the extralinguistic fact of Al's being fat. The primary constituents of this fact, Al and fatness, can exist without the fact existing. The fact, therefore, cannot be identified with its primary constituents, taken either singly, or collectively. A fact is more than its primary constituents. But how are we to account for this 'more'?
On Moreland's theory, as I understand it, this problem is solved by adding a secondary constituent, the exemplification relation, call it EX, whose task is to connect the primary constituents. This relation ties the primary constituents into a fact. It is what makes a fact more than its primary constituents. Unfortunately, this proposal leads to Bradley's Regress. For if Al + fatness do not add up to the fact of Al's being fat, then Al + fatness + EX won't either. If Al and fatness can exist without forming the fact of Al's being fat, then Al and fatness and EX can all exist without forming the fact in question. How can adding a constituent to the primary constituents bring about the fact-constituting unity of all constituents? EX has not only to connect a and F-ness, but also to connect itself to a and to F-ness. How can it do the latter? The answer to this, presumably, will be that EX is a relation and the business of a relation is to relate. EX, relating itself to a and to F-ness, relates them to each other. EX is an active ingredient in the fact, not an inert ingredient. It is a relating relation, and not just one more constituent that needs relating to the others by something distinct from itself. For this reason, Bradley's regress can't get started.
The problem, however, is that EX can exist without relating the relata that it happens to relate in a given case. This is because EX is a universal. If it were a relation-instance as on D. W. Mertz's theory, then it would be a particular, an unrepeatable, and could not exist apart from the very items it relates. Bradley's regress could not then arise. But if EX is a universal, then it can exist without relating any specific relata that it does relate, even though, as an immanent universal, it must relate some relata or other. This implies that a relation's relating what it relates is contingent to its being the relation it is. For example, x loves y contingently relates Al and Barbara, which implies that the relation is distinct from its relating. The same goes for EX: it is distinct from its relating. It is more than just a constituent of any fact into which it enters; it is a constituent that does something to the other constituents, and in so doing does something to itself, namely, connect itself to the other constituents. Relating relations are active ingredients in facts, not inert ingredients. Or we could say that a relating relation is ontologically participial in addition to its being ontologically substantival. And since the relating is contingent in any given case, the relating in any given case requires a ground. What could this ground be?
My claim is that it cannot be any relation, including the relation, Exemplification. More generally, no constituent of a fact can serve as ontological ground of the unity of a fact's constituents. For any such putatively unifying constituent will either need a further really unifying constituent to connect it to what it connects, in which case Bradley's regress is up and running, or the unifying constituent will have to be ascribed a 'magical' power, a power no abstract object could possess, namely, the power to unify itself with what it unifies. Such an item would be a self-grounding ground: a ground of unity that grounds its unity with that which it unifies. The synthetic unity at the heart of each contingent fact needs to be grounded in an act of synthesis that cannot be brought about by any constituent of a fact, or by the fact itself.
My first objection to Moreland's theory may be put as follows. The existence of a thick particular (which we are assaying as a concrete fact along the lines of Gustav Bergmann and David Armstrong) cannot be the fact's constituents' standing in the exemplification relation. And existence itself, existence in its difference from existents, cannot be identified with the exemplification relation.
Can Existence Exist Without Being Uniquely Self-Existent?
I agree with Moreland that existence itself exists. One reason was supplied by Reinhardt Grossmann: "If existence did not exist, then nothing would exist." (Categorial Structure of the World, 405) But I have trouble with the notion that existence itself is the exemplification relation. Existence as that which is common to all that exists, and as that in virtue of which everything exists cannot be just one more thing that exists. Existence cannot be a member of an extant category that admits of multiple membership, such as the category of relations. For reasons like these such penetrating minds as Martin Heidegger, Roman Ingarden, and Panayot Butchvarov have denied that existence itself exists.
In my 2002 existence book I proposed a synthesis of these competing theses: Existence exists as a paradigm existent, one whose mode of existence is radically different from the mode of existence of the beings ontologically dependent on it. From this point of view, Moreland has a genuine insight, but he has not taken it far enough: he stops short at the dubious view that existence is the relation of exemplification. But if you drive all the way down the road with me you end up at Divine Simplicity, which Moreland has good reasons for rejecting.
Facts are the logical objects corresponding to whole declarative sentences, or rather to some of them. When it comes to facts, Butchvarov appreciates the strengths and weaknesses of both realism and anti-realism. For the realist, there are facts. For the anti-realist, there are no facts. Let us briefly review why both positions are attractive yet problematic. We will then turn to semirealism as to a via media between Scylla and Charybdis.
Take some such contingently true affirmative singular sentence as 'Al is fat.' Surely with respect to such sentences there is more to truth than the sentences that are true. There must be something external to the sentence that contributes to its being true, and this external something is not plausibly taken to be another sentence or the say-so of some person, or anything like that. 'Al is fat' is true because there is something in extralinguistic and extramental reality that 'makes' it true. There is this short man, Al, and the guy weighs 250 lbs. There is nothing linguistic or mental about the man or his weight. Here is the sound core of correspondence theories of truth. Our sample sentence is not just true; it is true because of the way the world outside the mind and outside the sentence is configured. The 'because' is not a causal 'because.' The question is not the empirical-causal one as to why Al is fat. He is fat because he eats too much. The question concerns the ontological ground of the truth of the sentential representation, 'Al is fat.' Since it is obvious that the sentence cannot just be true -- given that it is not true in virtue either of its logical form or ex vi terminorum -- we must posit something external to the sentence that 'makes' it true. I myself, a realist, don't see how this can be avoided even though I admit that 'makes true' is not perfectly clear.
Now what is the nature of this external truth-maker? It can't be Al by himself, and it can't be fatness by itself. Nor can it be the pair of the two. For it could be that Al exists and fatness exists, but the first does not instantiate the second. What's needed, apparently, is the fact of Al's being fat. So it seems we must add the category of fact to our ontology, to our categorial inventory. Veritas sequitur esse is not enough. It is not enough that 'Al' and 'Fat' have worldly referents; the sentence as a whole needs a worldly referent. Truth-makers cannot be 'things' or collections of same, but must be entities of a different categorial sort. (Or at least this is so for the simple predications we are now considering.)
The argument I have just sketched, the truth-maker argument for facts, is very powerful, but it gives rises to puzzles and protests. There is the Strawsonian protest that facts are merely hypostatized sentences, shadows genuine sentences cast upon the world. Butchvarov quotes P. F. Strawson's seminal 1950 discussion: “If you prise the sentences off the world, you prise the facts off it too. . . .” (Anthropocentrism, 174) Strawson again: “The only plausible candidate for what (in the world) makes a sentence true is the fact it states; but the fact it states is not something in the world.” (174)
Why aren't facts in the world? Consider the putative fact of my table's being two inches from the wall. Obviously, this fact is not itself two inches from the wall or in any spatial position. The table and the wall are in space; the fact is not. One can drive a nail into the table or into the wall, but not into the fact, etc. Considerations such as these suggest to the anti-realist that facts are not in the world and that they are but sentences reified. After all, to distinguish a fact from a non-fact (whether a particular or a universal) we must have recourse to a sentence: a fact is introduced as the worldly correlate of a true sentence. If there is no access to facts except via sentences, as the correlates of true sentences, then this will suggest to those of an anti-realist bent that facts are hypostatizations of true declarative sentences.
One might also cite the unperceivability of facts as a reason to deny their existence. I see the table, and I see the wall. It may also be granted that I see that the desk is about two inches from the wall. But does it follow that I see a relational fact? Not obviously. If I see a relational fact, then presumably I see the relation two inches from. But I don't see this relation. And so, Butchvarov argues (175), one does not see the relational fact either. The invisibility of relations and facts is a strike against them. Another of the puzzles about facts concerns how a fact is related to its constituents. Obviously a fact is not identical to its constituents. This is because the constituents can exist without the fact existing. Nor can a fact be an entity in addition to its constituents, something over and above them, for the simple reason that it is composed of them. We can put this by saying that no fact is wholly distinct from its constituents. The fact is more than its constituents, but apart from them it is nothing. A third possibility is that a fact is the togetherness of its constituents, where this togetherness is grounded in a a special unifying constituent. Thus the fact of a's being F consists of a, F-ness, and a nexus of exemplification. But this leads to Bradley's regress.
A fact is not something over and above its constituents but their contingent unity. This unity, however, cannot be explained by positing a special unifying constituent, on pain of Bradley's regress. So if a fact has a unifier, that unifier must be external to the fact. But what in the world could that be? Presumably nothing in the world. It would have to be something outside the (phenomenal) world. It would have to be something like Kant's transcendental unity of apperception. I push this notion in an onto-theological direction in my book, A Paradigm Theory of Existence: Onto-Theology Vindicated. But by taking this line, I move away from the realism that the positing of facts was supposed to secure. Facts are supposed to be ontological grounds, extramental and extralinguistic. If mind or Mind is brought in in any form to secure the unity of a truth-making fact, then we end up with some form of idealism, whether transcendental or onto-theological, or what have you.
So we are in an aporetic pickle. We have good reason to be realists and we have good reason to be anti-realists. (The arguments above on both sides were mere sketches; they are stronger than they might appear. ) Since we cannot be both realists and anti-realists, we might try to mediate the positions and achieve a synthesis. My book was one attempt at a synthesis. Butchvarov's semi-realism is another. I am having a hard time, though, understanding how exactly Butchvarov's semi-realism achieves the desired synthesis. Butchvarov:
Semirealism regarding facts differs from realism regarding facts by denying that true sentences stand for special entities, additional to and categorially different from the entities mentioned in the sentences, that can be referred to, described, and analyzed independently of the sentences. [. . .] But semirealism regarding facts also differs from antirealism regarding facts by acknowledging that there is more to truth than the sentences . . . that are true. (180)
In terms of my simple example, semirealism about facts holds that there is no special entity that the sentence 'Al is fat' stands for that is distinct from what 'Al and 'fat' each stand for. In reality, what we have at the very most are Al and fatness, but not Al's being fat. Semirealism about facts also holds, however, that a sentence like 'Al is fat' cannot just be true: if it is true there must be something that 'makes' it true, where this truth-maker cannot be another sentence (proposition, belief, judgment, etc.) or somebody's say-so, or something merely cultural or institutional or otherwise conventional. And let's not forget: the truth-maker cannot be Al by himself or fatness by itself or even the pair of the two. For that pair (ordered pair, set, mereological sum . . .) could exist even if Al is not fat. (Suppose Al exists and fatness exists in virtue of being instantiated by Harry but not by Al.)
How can semirealism avoid the contradiction: There are facts and there are no facts? If the realist says that there are facts, and that anti-realist says that there aren't, the semi-realist maintains that 'There are facts' is an “improper proposition” (178) so that both asserting it and denying it are improper. In explaining the impropriety, Butchvarov relies crucially on Wittgenstein's distinction between formal and material concepts and his related distinction between saying and showing. Obscurum per obscurius? Let's see.
The idea seems to be that while one can show that there are facts by using declarative sentences, one cannot say or state that there are facts by using declarative sentences, or refer to any particular fact by using a declarative sentence. If there are facts, then we should be able to give an example of one. 'This page is white is a fact,' won't do because it is ill-formed. (179) We can of course say, in correct English, 'That this page is white is a fact.' But 'that this page is white' is not a sentence, but a noun phrase. Not being a sentence, it cannot be either true or false. And since it cannot be either true or false, it cannot refer to a proposition-like item that either obtains or does not obtain. So 'that this page is white' does not refer to a fact. We cannot use this noun phrase to refer to the fact because what we end up referring to is an object, not a fact. Though a fact is not a sentence or a proposition, it is proposition-like: it has a structure that mirrors the structure of a proposition. No object, however, is proposition-like. To express the fact we must use the sentence. Using the sentence, we show what cannot be said.
On one reading, Butchvarov's semirealism about facts is the claim that there are facts but they cannot be named. They cannot be named because the only device that could name them would be a sentence and sentences are not names. On this reading, Butchvarov is close to Frege. Frege held that there are concepts, but they cannot be named. Only objects can be named, and concepts are not objects. If you try to name a concept, you will not succeed, for what is characteristic of concepts, and indeed all functions, is that they are unsaturated (ungesaettigt). And so we cannot say either
The concept horse is a concept
or
The concept horse is not a concept.
The first, though it looks like a tautology, is actually false because 'The concept horse' picks out an object. The second, though it looks like a contradiction, is actually true for the same reason. Similarly, we cannot say either
The fact that snow is white is a fact
or
The fact that snow is white is not a fact.
The first, though it looks like a tautology, is actually false because 'The concept horse' picks out an object. The second, though it looks like a contradiction, is actually true for the same reason.
It is the unsaturatedness of Fregean concepts that makes them unnameable, and it is the proposition-like character of facts that makes them unnameable.
Semirealism about facts, then, seems to be the view that there are facts, but that we cannot say that there are: they have a nature which prevents us from referring to them without distorting them. But then the position is realistic, and 'semirealism' is not a good name for it: the 'semirealism' is more epistemological/referential than ontological.
Other things Butchvarov says suggest that he has something else in mind with 'semirealism about facts.' If he agrees with Strawson that facts are hypostatized declarative sentences, and argues against them on the ground of their unperceivability, then he cannot be saying that there are facts but we cannot say that there are. He must be denying that there are facts. But then why isn't he a flat-out antirealist?
Can you help me, Butch? What am I not understanding? What exactly do you mean by 'semirealism about facts'?
This is indeed troubling, but there is worse to come. According to McBrayer, the kiddies are taught that claims are either facts or opinions, where the disjunction is exclusive. And to make it even worse, the little rascals are further indoctrinated that every value claim is an opinion!
And so 'Cheating on tests is wrong' is an opinion, not a fact, hence neither true nor provable, and therefore something someone merely thinks, feels, or believes. God help us! Yet another argument for private schools and home-schooling.
I will now give you my considered opinion on how best to think about this topic.
First of all, it is a major mistake to think that an opinion cannot be true because it is an opinion. Some opinions are true and some are false. In this respect, opinions are no different from beliefs: some are true and some are false. It follows that some opinions are facts, on one use of 'fact.' I distinguish among three uses of 'fact':
Logical Use: A fact is a truth, whether a true proposition, a true judgment, a true belief, a true opinion, a true statement, a true declarative sentence, etc. In general, a fact is a true truth-bearer. If this is what we mean by 'fact,' then it is obvious that some opinions are facts. For example, my opinion (and presumably yours too) that the Moon is uninhabited is a fact. It is a fact because it is true. But much of what is true is true because of the way the world is. So we note a different but related use of 'fact,' namely, the
Ontological Use: A fact is an obtaining (concrete) state of affairs that can serve as a truth-maker of a truth. When a famous philosopher opined that the world is the totality of facts, not of things, he was not putting forth the view that the world is the totality of truths, nor the totality of what is known. (Ludwig Wittgenstein, Tractatus Logico-Philosophicus 1.1)
Epistemological Use: A fact is an obtaining state of affairs known to be the case or believed to be the case on evidence. It is important not to confuse what is known to be the case with what is the case. Everything one knows to be the case is the case; but there is plenty that is the case that no one of us knows to be the case.
The foregoing should make it obvious that a second major mistake is to think that only what is testable or provable is a fact. To make that mistake is to confuse the logical and the ontological on the one side with the epistemological on the other. There are facts (truths) that cannot be empirically tested or verified, but also cannot be proven by deduction from other truths. The Law of Non-Contradiction (LNC) is an example: No proposition is both true and not true. LNC is true and known to be true, but it is not known to be true on the basis of empirical observation or experiment. It is also not known by inference from propositions already accepted. How then do we know it to be true? A reasonable answer is that it is self-evident, objectively self-evident. One enjoys a direct intellectual insight into its truth.
If so, then some facts are objectively self-evident despite the fact that they are neither empirically verifiable nor provable by non-circular deductive inference from propositions known to be true. And so it may well be that a proposition like Setting bums on fire for fun is morally wrong is an objective fact (truth) and therefore not a mere opinion. Or perhaps a better example would be a proposition from which the foregoing is derivable, to wit, Causing severe pain to sentient beings for the sheer fun of it is morally wrong. The graphic depicts a homeless, mentally unstable, Pakistani set afire for blasphemy by adherents of the religion of peace. Now either you see (morally intuit) that doing such a thing is a grave moral wrong, or you don't, and if the latter then you are either morally obtuse or a liberal, which may well come to the same thing.
Without getting too deep into the topic of moral realism, all I want to say at the moment is that there is at least a very serious set of questions here, questions that cannot be ignored once one avoids the elementary confusions into which contemporary liberals tend to fall. Not every contemporary liberal, of course, but enough to justify my issuing a general warning against their slopheadedness.
Liberals typically confuse opinions with mere opinions. They confuse truths with known truths. They confuse the property of being believed by some person or group of persons with the property of being true. They confuse making moral judgments with being judgmental. They confuse merely subjective judgments of taste with moral judgments.
Men in bow ties look ridiculous. Or so say I. That is a merely subjective sartorial opinion of mine, and I recognize it as such. There is no fact of the matter here and so if you say the opposite you are not contradicting me, logically speaking. Note that It strikes me that men in bow ties look ridiculous is an objective statement of fact about how certain sartorial matters seem to me. But from this objectively true statement one cannot infer the former subjective statement. If you can't distinguish those two sentences, then you are not thinking clearly.
Too many liberals cannot see the incoherence of maintaining that we must respect other cultures because judgments as to right and wrong are culturally relative. They fail to see that if such judgments are indeed relative, then there cannot be any objective moral requirement that members of a given culture respect other cultures. If all such moral judgments are culturally relative, then the members of a culture who believe that the strong have the right to enslave the weak are perfectly justified in enslaving the weak. For if right and wrong are culturally relative, then they have all the justification they could possibly have for enslaving them.
Me to Josh: "Could Al be the truth-maker of 'Al is fat'? Arguably not. What is needed is a state of affairs, Al's being fat."
Josh to me: Yes, I think Al is the truth-maker of "Al is fat," but could be persuaded otherwise. I'm not sure what objections you have in mind for that position.
Here is an excerpt from a forthcoming article of mine to appear in a volume honoring the late David M. Armstrong, widely regarded as Australia's greatest philosopher:
II. The Truth-Maker Argument for Facts
The central and best among several arguments for facts is the Truth-Maker Argument. Take some such contingently true affirmative singular sentence as 'Al is fat.' Surely with respect to such sentences there is more to truth than the sentences that are true. There must be something external to a true sentence that grounds its being true, and this external something is not plausibly taken to be another sentence or the say-so of some person. 'Al is fat' is not just true; it is true because there is something in extralinguistic and extramental reality that 'makes' it true, something 'in virtue of which' it is true. There is this short man, Al, and the guy weighs 250 lbs. There is nothing linguistic or mental about the man or his weight. Here is the sound core, at once both ancient and perennial, of correspondence theories of truth. Our sample sentence is not just true; it is true because of the way the world outside the mind and outside the sentence is configured. The 'because' is not a causal 'because.' The question is not the empirical-causal one as to why Al is fat. He is fat because he eats too much. The question concerns the ontological ground of the truth of the sentential representation, 'Al is fat.' Since it is obvious that the sentence cannot just be true -- given that it is not true in virtue of its logical form or ex vi terminorum -- we must posit something external to the sentence that 'makes' it true. I don't see how this can be avoided even though I cheerfully admit that 'makes true' is not perfectly clear. That (some) truths refer us to the world as to that which makes them true is so obvious and commonsensical and indeed 'Australian' that one ought to hesitate to reject the idea because of the undeniable puzzles that it engenders. Motion is puzzling too but presumably not to be denied on the ground of its being puzzling.
Now what is the nature of this external truth-maker? If we need truth-makers it doesn't follow straightaway that we need facts. This is a further step in the argument. Truth-maker is an office. Who or what is a viable candidate? It can't be Al by himself, if Al is taken to be ontologically unstructured, an Armstrongian 'blob,' as opposed to a 'layer cake,' and it can't be fatness by itself.1 (Armstrong 1989a, 38, 58) If Al by himself were the truth-maker of 'Al is fat' then Al by himself would make true 'Al is not fat' and every sentence about Al whether true or false. If fatness by itself were the truth-maker, then fatness exemplified by some other person would be the truth-maker of 'Al is fat.' Nor can the truth-maker be the pair of the two. For it could be that Al exists and fatness exists, by being exemplified by Sal, say, but Al does not instantiate fatness. What is needed, apparently, is a proposition-like entity, the fact of Al's being fat. We need something in the world to undergird the predicative tie. So it seems we must add the category of fact to our ontology, to our categorial inventory. Veritas sequitur esse – the principle that truth follows being, that there are no truths about what lacks being or existence – is not enough. It is not enough that all truths are about existing items pace Meinong. It is not enough that 'Al' and 'fat' have worldly referents; the sentence as a whole needs a worldly referent. In many cases, though perhaps not in all, truth-makers cannot be 'things' – where a thing is either an individual or a property – or collections of same, but must be entities of a different categorial sort. Truth-making facts are therefore 'an addition to being,' not 'an ontological free lunch,' to employ a couple of signature Armstrongian phrases. For the early Armstrong at least, facts do not supervene upon their constituents. This yields the following scheme. There are particulars and there are universals. The Truth-Maker Argument, however, shows or at least supports the contention that there must also be facts: particulars-instantiating-universals.2 There are other arguments for facts, but they cannot be discussed here. And there are other candidates for the office of truth-maker such as tropes and Husserlian moments (Mulligan et al. 2009) but these other candidates cannot be discussed here either. Deeper than any particular argument for facts, or discussion of the nature of facts, lies the question whether realism about facts even makes sense. To this question we now turn.
______________
1If Al is a blob, then he lacks ontological structure; but that is not to say that he lacks spatial or temporal parts. It is obvious that he has spatial parts; it is not obvious that he has ontological 'parts.' Thin particulars, properties, and nexus count as ontological 'parts.' Layer cakes have both spatiotemporal and ontological structure.
2Are facts or states of affairs then a third category of entity in addition to particulars and universals? Armstrong fights shy of this admission: “I do not think that the recognition of states of affairs involves introducing a new entity. . . . it seems misleading to say that there are particulars, universals, and states of affairs.” (Armstrong 1978, 80) Here we begin to glimpse the internal instability of Armstrong's notion of a state of affairs. On the one hand, it is something in addition to its constituents: it does not reduce to them or supervene upon them. On the other hand, it is not a third category of entity. We shall see that this instability proves disastrous for Armstrong's ontology.
Here is a white cube. Call it 'Carl.' 'Carl is white' is true. But Carl, though white, might not have been white. (He would not have been white had I painted him red.) So 'Carl is white' is contingently true. There is no necessity that Carl be white. By contrast, 'Carl is three-dimensional' is necessarily true. It is metaphysically necessary that he be three-dimensional. Of course, the necessity here is conditional: given that Carl exists, he cannot fail to be three-dimensional. But Carl might not have existed. So Carl is subject to a two-fold contingency, one of existence and one of property-possession. It is contingent that Carl exists at all -- he is not a necessary being -- and with respect to some of his properties it is contingent that he has them. He exists contingently and he is white contingently. Or, using 'essence' and 'accident,' we can say: Carl is a contingent being that is accidentally white but essentially three-dimensional. By contrast, the number 7 is a necessary being that accidentally enjoys the distinction of being Poindexter's favorite number, but is essentially prime.
Some truths need truth-makers. 'Carl is white' is one of them. Grant me that some truths need truth-makers. My question is this: Can a trope do the truth-making job in a case like this or do we need a concrete fact?
Carl is white. That is given. Some say that (at least some of) the properties of particulars are themselves particulars (unrepeatables). Suppose you think along those lines. You accept that things have properties -- Carl, after all, is white extralinguistically -- and therefore that there are properties, but you deny that properties are universals. Your nominalism is moderate, not extreme. Suppose you think of Carl's whiteness as a trope or as an Husserlian moment or as an Aristotelian accident. (Don't worry about the differences among these items.) That is, you take the phrase 'Carl's whiteness' to refer, not to the fact of Carl's being white, which is a complex having Carl himself as a constituent, but to a simple item: a bit of whiteness. This item depends for its existence on Carl: it cannot exist unless Carl exists, and, being particular, it cannot exist in or at any other thing such as Max the white billiard ball. Nor is it transferrable: the whiteness of Carl cannot migrate to Max.
The truth-maker of a truth is an existing thing in virtue of whose existence the truth is true. Why can't Carl's whiteness trope be the truth-maker of 'Carl is white'? That very trope cannot exist unless it exists 'in' Carl as characterizing Carl. So the mere existence of that simple item suffices to make true the sentence 'Carl is white.' Or so it seems to some distinguished philosophers.
If this is right, then there is no need that the truth-maker of a truth have a sentence-like or proposition-like structure. (For if a proposition-like truth-maker is not needed in a case like that of Carl the cube, then presumably there is no case in which it is needed.) A simple unrepeatable bit of whiteness has no internal structure whatsoever, hence no internal proposition-like structure. A concrete fact or state of affairs, however, does: Carl's being white, for example, has at a bare minimum a subject constituent and a property constituent with the former instantiating the second.
My thesis is not that all truth-makers are proposition-like, but that some are. Presumably, the truth-maker of 'Carl is Carl' and 'Carl exists' is just Carl. But it seems to me that the truth-maker of 'Carl is white' cannot be the particular whiteness of Carl. In cases like this a simple item will not do the job. Why not?
1. If it is legitimate to demand an ontological ground of the truth of a truth-bearer, whether it be a sentence or a proposition or a judgment or whatever, then it is legitimate to demand an ontological ground of the contingency of the truth of a truth-bearer. If we have a right to ask: what makes 'Carl is white' true, then we also have a right to ask: What makes 'Carl is white' contingently or accidentally true as opposed to essentially true? Truth and contingent truth are not the same. And it is contingent truth that needs explaining. If a truth-bearer is necessarily true, it may be such in virtue of its logical form, or because it is true ex vi terminorum; in either case it is not clear that the is any need for a truth-maker. Does 'Bachelors are male' need a truth-maker? Not as far as I can see. But 'Tom is a bachelor' does. Unlike David Armstrong, I am not a truth-maker maximalist. See Truthmaker Maximalism Questioned.
2. The trope Carl's whiteness can perhaps explain why the sentence 'Carl is white' is true, but it cannot explain why it is accidentally true as opposed to essentially true. For the existence of the trope is consistent both with Carl's being essentially white and Carl's being accidentally white. If F is a trope, and F exists, then F is necessarily tied to a concrete individual (this is the case whether one is a trope bundle theorist or a trope substratum theorist like C. B. Martin), and so the concrete indiviual exists and is characterized by F. But this is so whether the concrete individual is essentially F or accidentally F.
3. To explain the contingency of a contingent truth it is not enough that the truth-maker be contingent; there must also be contingency within the truth-maker. Or so it seems to me. The fact theory can accommodate this requirement. For in the fact of Carl's being white, the fact itself is contingent, but so also is the connection between Carl and whiteness. Carl and whiteness can exist without the fact existing. (This assumes that whiteness is a universal) The contingency of the connection of the constituents within the fact accounts for the contingency of the truth of 'Carl is white.' But no trope is contingently connected to any concrete individual of which it is the trope.
What exactly is the distinction between a universal and a particular? Universals are often said to be repeatable entities, ones-over-many or ones-in-many. Particulars, then, are unrepeatable entities. Now suppose the following: there are universals; there are particulars; particulars instantiate universals; first-order facts are instantiations of universals by particulars.
One and the same universal, F-ness, is repeated in the following facts: Fa, Fb, Fc. But isn't one and the same particular repeated in Fa, Ga, Ha? If so, particulars are as repeatable as universals, in which case repeatability cannot be the mark of the universal. How can it be that all and only universals are repeatable? I stumbled upon this problem the other day. But Frank Ramsey saw it first. See his "Universals," Mind 34, 1925, 401-17.
Instantiation as holding between particulars and universals is asymmetric: if a instantiates F-ness, then F-ness does not instantiate a. (Instantiation is not in general asymmetric, but nonsymmetric: if one universal instatiates a second, it may or may not be the case that the second instantiates the first.) The asymmetry of first-level instantiation may provide a solution to the Ramsey problem. The asymmetry implies that particulars are non-instantiable: they have properties but cannot themselves be properties. By contrast, universals are properties and have properties.
So we can say the following. The repeatability of a universal is its instantiability while the unrepeatability of a particular is its non-instantiability. So, despite appearances, a is not repeated in Fa, Ga, and Ha. For a is a particular and no particular is instantiable (repeatable).
Solve a problem, create one or more others. I solved the Ramsey problem by invoking the asymmetry of instantiation. But instantiation is a mighty perplexing 'relation' (he said with a nervous glance in the direction of Mr. Bradley). It is dyadic and asymmetric. But it is also external to its terms. If a particular has its properties by instantiating them, then its properties are 'outside' it, external to it. Note first that to say that a is F is not to say that a is identical to F-ness. The 'is' of predication is not the 'is' of identity. (For one thing, identity is symmetric, predication is not.) It would seem to follow that a is wholly distinct from F-ness. But then a is connected to F-ness by an external relation and Bradley's regress is up and running. But let's set aside Bradley's regress and the various responses to it to focus on a different problem.
If a and F-ness are external to each other, then it is difficult to see how a could have any intrinsic (nonrelational) properties. Suppose a is an apple and that the apple is red. Being red is an intrinsic property of the apple; it is not a relational property like being in my hand. But if a is F in virtue of standing in an external instantiation relation to the universal F-ness, then it would seem that F-ness cannot be an intrinsic property of a. So an antinomy rears its ugly head: a is (intrinsically) F and a is not (intrinsically) F.
Call this the Problem of the Intrinsically Unpropertied Particular. If there are particulars and universals and these are mutually irreducible categories of entity, then we have the problem of bringing their members together. Suppose it is contingently true that a is F. We cannot say that a is identical to F-ness, nor, it seems, can we say that a and F-ness are wholly distinct and connected by the asymmetric, external tie of instantiation. Is there a way between the horns of this dilemma?
David Armstrong at the end of his career suggested that instantiation is partial identity. The idea is that a and F-ness overlap, are partially identical. This bring a and F-ness together all right, but it implies that the connection is necessary. But then the contingency of the connection is lost. It also implies that instantiation is symmetrical! But then Ramsey is back in the saddle.
Let's begin by reviewing some grammar. 'Walking' is the present participle of the infinitive 'to walk.' Present participles are formed by adding -ing to the verb stem, in our example, walk. Participles can be used either nominally or adjectivally. A participle used nominally is called a gerund. A gerund is a verbal noun that shares some of the features of a verb and some of the features of a noun. Examples:
Walking is good exercise. Sally enjoys walking. Tom prefers running over walking. Rennie loves to talk about running.
As the examples show, gerunds can occur both in subject and in object position.
Participles can also be used adjectivally as in the following examples:
The boy waving the flag is Jack's brother. Sally is walking. The man walking is my neighbor. The man standing is my neighbor Bob; the man sitting is his son Billy Bob. The Muslim terrorist cut the throat of the praying journalist.
Fused Participles
Now what about the dreaded fused participles against which H. W. Fowler fulminates? In the following example-pairs the second item features a fused participle:
She likes my singing. She likes me singing.
John's whistling awoke her. John whistling awoke her.
Sally hates Tom's cursing. Sally hates Tom cursing.
If you have a good ear for English, you will intuitively reject the second item in these pairs. They really should grate against your linguistic sensibility even if you don't know what it means to say that gerunds take the possessive. That is, a word immediately preceding a gerund must be in the possessive case. A fused participle, then, is a participle used as a noun preceded by a modifier, whether a noun or a pronoun, that is not in the possessive.
Fused participles, most of them anyway, are examples of bad grammar. But why exactly? Is it just a matter of non-standard, 'uneducated,' usage? 'I ain't hungry' is bad English but it is not illogical. Fused participles are not just bad usage, but logically bad inasmuch as they elide a distinction, confusing what is different.
This emerges when we note that the members of each of the above pairs are not interchangeable salva significatione. It could be that she likes my singing, but she doesn't like me. And if she doesn't like me, then she doesn't like me singing or doing anything else.
In the second example, it could be that the first sentence is false but the second true. It could be that John, who was whistling, awoke her, but it was not his whistling that awoke her, but his thrashing around in bed.
The third example is like the first. It could be that Sally hates the sin, not the sinner. She hates Tom's cursing but she loves Tom, who is cursing.
Is every use of a fused particular avoidable? This sentence sports a fused participle:
The probability of that happening is near zero.
The fused participle is avoided by rewriting the sentence as
The probability of that event's happening is near zero.
But is the original sentence ungrammatical without the rewriting? Technically, yes. One should write
The probability of that's happening is near zero
although that is perhaps not as idiomatic as the original. In any case, one would have to be quite the grammar nazi to spill red ink over this one.
According to Panayot Butchvarov, "Fused participles are bad logic, not just bad usage." ("Facts" in Cumpa, ed., Studies in the Ontology of Reinhardt Grossmann, Ontos Verlag, 2010, p. 87.) In Skepticism in Ethics, Butch claims that a fused participle such as 'John flipping the switch' is as "grammatically corrupt" as 'I flipping the switch.' (Indiana UP, 1989, p. 14.)
I think Butch goes too far here. Consider the sentence I wrote above:
And if she doesn't like me, then she doesn't like me singing or doing anything else.
I don't agree that this sentence is grammatically corrupt. It strikes me as grammatically acceptable, fused participle and all. It expresses a clear thought, one that is different from the thought expressed by
And if she doesn't like me, then she doesn't like my singing or my doing anything else.
The first is true, the second false. If she doesn't like me, then she doesn't like me when I am singing, shaving, showering, or doing the third of the three 's's.
So we ought not say that every use of a fused participle is grammatically corrupt. We ought to say that fused participles are to be avoided because they elide the distinctions illustrated by the above three contrasts. The trouble with 'I hate my daughter flunking the exam' is not that it is ungrammatical but that it fails to express the thought that the speaker (in the vast majority of contexts) has in mind, namely, that the object of hatred is the flunking not the daughter.
Ontological Relevance?
What does this have to do with ontology?
Some of us maintain that a contingent sentence such as 'John is whistling' cannot just be true: it has need of an ontological ground of its being true. In other words, it has need of a truth-maker. Facts are popular candidates for the office of truth-maker. Thus some of us want to say that the truth-maker of 'John is whistling' is the fact of John's whistling. Butchvarov, however, rejects realism about facts. One of his arguments is that we have no way of referring to them. Sentence are not names, and so cannot be used to refer to facts.
But 'John's whistling' fares no better. It stands for a whistling which is an action or doing. It does not stand for a fact. For this reason, some use fused participles to refer to facts. Thus, the fact of John whistling. Butch scotches this idea on the ground that fused participles are "bad logic" and "grammatically corrupt."
I don't find Butchvarov's argument compelling. As I argued above, there are sentences featuring fused participles that are perfectly grammatical and express definite thoughts. My example, again, is 'If she doesn't like me, then she doesn't like me singing or doing anything else.' So I don't see why 'John whistling' cannot be used as a name of the fact that is the truth-maker of 'John is whistling.'
As magnificent a subject as philosophy is, grappling as it does with the ultimate concerns of human existence, and thus surpassing in nobility any other human pursuit, it is also miserable in that nothing goes uncontested, and nothing ever gets established to the satisfaction of all competent practitioners. (This is true of other disciplines as well, but in philosophy it is true in excelsis.) Suppose I say, as I have in various places:
That things have properties and stand in relations I take to be a plain Moorean fact beyond the reach of reasonable controversy. After all, my cat is black and he is sleeping next to my blue coffee cup. ‘Black’ picks out a property, an extralinguistic feature of my cat.
Is that obvious? Not to some. Not to the ornery and recalcitrant critter known as the ostrich nominalist. My cat, Max Black, is black. That, surely, is a Moorean fact. Now consider the following biconditional and consider whether it too is a Moorean fact:
1. Max is black iff Max has the property of being black.
As I see it, there are three main ways of construing a biconditional such as (1):
A. Ostrich Nominalism. The right-hand side (RHS) says exactly what the left-hand side (LHS) says, but in a verbose and high-falutin' and dispensable way. Thus the use of 'property' on the RHS does not commit one ontologically to properties beyond predicates. (By definition, predicates are linguistic items while properties are extralinguistic and extramental.) Predication is primitive and in need of no philosophical explanation. On this approach, (1) is trivially true. One needn't posit properties, and in consequence one needn't worry about the nature of property-possession. (Is Max related to his blackness, or does Max have his blackness quasi-mereologically by having it as an ontological constituent of him?)
B. Ostrich Realism. The RHS commits one ontologically to properties, but in no sense does the RHS serve to ground or explain the LHS. On this approach, (1) is false if there are no properties. For the ostrich realist, (1) is true, indeed necessarily true, but it is not the case that the LHS is true because the RHS is true. Such notions as metahysical grounding and philosophical explanation are foreign to the ostrich realist, but not in virtue of his being a realist, but in virtue of his being an ostrich.
C. Non-Ostrich Realism. On this approach, the RHS both commits one to properties, but also proffers a metaphysical ground of the truth of the LHS: the LHS is true because (ontologically or metaphysically speaking) the concrete particular Max has the property of being black, and not vice versa.
Note 1: Explanation is asymmetrical; biconditionality is symmetrical.
Note 2: Properties needn't be universals. They might be (abstract) particulars (unrepeatables) such as the tropes of D. C. Williams and Keith Campbell. Properties must, however, be extralinguistic and extramental, by definition.
Note 3: Property-possession needn't be understood in terms of instantiation or exemplification or Fregean 'falling-under'; it might be construed quasi-mereologically as constituency: a thing has a property by having it as a proper ontological part.
Against Ostrich Nominalism
On (A) there are neither properties, nor do properties enter into any explanation of predication. Predication is primitive and in need of no explanation. In virtue of what does 'black' correctly apply to Max? In virtue of nothing. It just applies to him and does so correctly. Max is black, but there is no feature of reality that explains why 'black' is true of Max, or why 'Max is black' is true. It is just true! There is nothing in reality that serves as the ontological ground of this contingent truth. Nothing 'makes' it true. There are no truth-makers and no need for any.
I find ostrich nominalism preposterous. 'Black' is true of Max, 'white' is not, but there is no feature of reality, nothing in or at or about Max that explains why the one predicate is true of him and the other is not!? This is not really an argument but more an expression of incomprehension or incredulity, an autobiographical comment, if you will. I may just be petering out, pace Professor van Inwagen.
Can I do better than peter? 'Black' is a predicate of English. Schwarz is a predicate of German. If there are no properties, then Max is black relative to English, schwarz relative to German, noir relative to French, and no one color. But this is absurd. Max is not three different colors, but one color, the color we use 'black' to pick out, and the Krauts use schwarz to pick out. When Karl, Pierre, and I look at Max we see the same color. So there is one color we both see -- which would not be the case if there were no properties beyond predicates. It is not as if I see the color black while Karl sees the color schwarz. We see the same color. And we see it at the cat. This is not a visio intellectualis whereby we peer into some Platonic topos ouranos. Therefore, there is something in, at, or about the cat, something extralinguistic, that grounds the correctness of the application of the predicate to the cat.
A related argument. I say, 'Max is black.' Karl says, Max ist schwarz. 'Is' and ist are token-distinct and type-distinct words of different languages. If there is nothing in reality (no relation whether of instantiation or of constituency, non-relational tie, Bergmannian nexus, etc.) that the copula picks out, then it is only relative to German that Max ist schwarz, and only relative to English that Max is black. But this is absurd. There are not two different facts here but one. Max is the same color for Karl and me, and his being black is the same fact for Karl and me.
Finally, 'Max is black' is true. Is it true ex vi terminorum? Of course not. It is contingently true. Is it just contingently true? Of course not. It is true because of the way extralinguistic reality is arranged. It is modally contingent, but also contingent upon the way the world is. There's this cat that exists whether or not any language exists, and it is black whether or not any language exists.
Therefore, I say that for a predicate to be contingently true of an individual, (i) there must be individuals independently of language; (ii) there must be properties independently of language; and there must be facts or truth-making states of affairs independently of language. Otherwise, you end up with (i) total linguistic idealism, which is absurd; or (ii) linguistic idealism about properties which is absurd; or (iii) a chaos, a world of disconnected particulars and properties.
The above is a shoot-from-the hip, bloggity-blog exposition of ideas that can be put more rigorously, but it seems to to me to show that ostrich nominalism and ostrich realism for that matter are untenable -- and this despite the fact that a positive theory invoking facts has its own very serious problems.
Metaphilosophical Coda: If a theory has insurmountable problems, these problems are not removed by the fact that every other theory has problems. For it might be that no theory is tenable,while the poroblem itself is genuine.
(Note to Peter L: This begins our discussion of metaphysical grounding and metaphysical explanation, topics of common interest. We need, over a series of posts, to uncover and discuss as many examples as we can find. My aim, and perhaps yours as well, is to demonstrate that metaphysical grounding and metaphysical explanation are legitimate topics, and that metaphysics is not a going enterprise unless they are legitimate topics. This is connected with our presumably common opposition to scientism and our presumably common defense of the autonomy of philosophy.)
Let 'Tom' name a particular tomato. Let us agree that if a predicate applies to a particular, then the predicate is true of the particular. Predicates are linguistic items. If Tom is red, then 'red' is true of Tom, and if 'red' is true of Tom, then Tom is red. This yields the material biconditional
1. Tom is red iff 'red' is true of Tom.
Now it seems to me that the following question is intelligible: Is Tom red because 'red' is true of Tom, or is 'red' true of Tom because Tom is red? 'Because' here does not have a causal sense. So the question is not whether Tom's being red causes 'red' to be true of Tom, or vice versa. So I won't speak of causation in this context. I will speak of metaphysical/ontological grounding. The question then is what grounds what, not what causes what. Does Tom's being red ground the application (the being-applied) of 'red' to Tom, or does the appplication (the being-applied) of 'red' to Tom ground Tom's being red?
I am not primarily concerned with the correct answer to this question, but with meaningfulness of the question.
Grounding is asymmetrical: if x grounds y, then y does not ground x. (It is also irreflexive and transitive.) Now if there is such a relation as grounding, then there will be a distinctive form of explanation we can call metaphysical/ontological explanation. (Grounding, though not causation, is analogous to c ausation, and metaphysical explanation, though distinct from causal explanation, is analogous to causal explanation.)
Explaining is something we do: in worlds without minds there is no explaining and there are no explanations, including metaphysical explanations. But I assume that, if there are any metaphysical grounding relations, then in every world metaphysical grounding relations obtain. (Of course, there is no grounding of the application of predicates in a world without languages and predicates, but there are other grounding relations.)
Grounding is not causation. It is not a relation between event tokens such as Jack's touching a live wire and Jack's death by electrocution. Grounding is also not a relation between propositions. It is not the relation of material implication, nor is it entailment (the necessitation of material implication), nor any other semantic relation wholly situated at the level of propositions. Propositions, let us assume, are the primary truth-bearers.
In our example, grounding is not a relation between propositions -- it is not a logical relation -- since neither Tom nor 'red' are propositions.
I want to say the following. Tom's being red grounds the correctness of the application of 'red' to Tom. 'Red' is true of Tom because (metaphysically, not causally or logically) Tom is red, and not vice versa. 'Red' is true of Tom in virtue of Tom's being red. Tom's being red is metaphysically prior to the truth of 'Tom is red' where this metaphysical priority cannot be reduced to some ordinary type of priority, whether logical, causal, temporal, or what have you. Tom's being red metaphysically accounts for the truth of 'Tom is red.'
I conclude that there is at least one type of metaphysical grounding relation, and at least one form of irreducibly metaphysical explanation.
Last Thursday, Steven N. and I had a very enjoyable three-hour conversation with ASU philosophy emeritus Ted Guleserian on Tempe's Mill Avenue. We covered a lot of ground, but the most focused part of the discussion concerned the subject matter of this post. If I understood Guleserian correctly, he was questioning whether there is any such problem as the problem of the unity of a fact. I maintained that there is such a problem and that it is distinct from the problem of order.
................
The problem of order arises for relational facts and relational propositions in which there is a relation R that is either asymmetrical or nonsymmetrical. If dyadic R is asymmetrical, and x stands in R to y, then it follows that y does not stand in R to x. For example, greater than and taller than are asymmetrical relations. If I am taller than you, then you are not taller than me. If dyadic R is nonsymmetrical, and x stands in R to y, then it does not follow, though it may be the case, that y stands in R to x. For example, loves and hates are nonsymmetrical relations. If I love you, it does not follow that you love me, nor does it follow that you do not love me. But if I weigh the same as you, then you weigh the same as me: 'weigh the same as' picks out a symmetrical relation.
Well, suppose R is either asymmetrical or nonsymmetrical. Then the relational facts Rab and Rba will be distinct. For example, Al's loving Bill, and Bill's loving Al are distinct facts. A fact is a complex. Now the following principle seems well-nigh self-evident:
P. If two complexes, K1 and K2, differ numerically, then there exists a constituent C such that C is an element of K1 but not of K2, or vice versa.
In other words, if two complexes differ, then they differ in a constituent. 'Complex' is intended quite broadly. Mathematical sets are complexes and it is clear that they satisfy the principle. There cannot be two sets that have all the same members. Ditto for mereological sums.
Now if Rab and Rba are distinct, then, by principle (P), they must differ in a constituent. But they seem to have all the same constituents. Both consist of a, b, and R, and if you think there must also be a triadic nexus of exemplification present in the fact, then that item too is common to both. And if you think there is a benign infinite regress of exemplification nexuses in the fact, then those items too are common to both. Since both facts have all the same constituents, what is the ontological ground of the numerical difference of the two facts? What makes them different? The question is not whether they differ; it is obvious that they do. The question concerns the ground of their difference. What explains their difference? Of course, I am not asking for an explanation in terms of empirical causes. Consider {1, 2} and {1, 2, 3}. What is the ontological ground of the difference of these two sets? It would be a poor answer to say that they just differ, that their difference is a factum brutum. The thing to say is that they differ in virtue of one set's having a member the other doesn't have. When I say that 3 makes the difference between the two sets I am obviously not giving a causal explanation. I am specifying a factor in reality that 'makes' the two entities numerically different.
So what, if anything, is the ontological ground of the difference between aRb and bRa when R is either asymmetrical or nonsymmetrical? This, I take it, the problem of order, or, in the jargon of Gustav Bergmann, the problem of providing an 'assay' of order. It may be that no assay is possible. It may be that the difference is a brute difference. But that cannot be assumed at the outset.
It seems to me that the problem of unity is different although related. What is the difference between the fact aRb and the set or sum of its constituents? If a contingently stands in R to b, then it is possible that a, R, and b all exist without forming a relational fact. So what is the difference between aRb and {a, R, b}? Here we have two complexes that share all their constituents, but they are clearly different complexes: one is a fact while the other is not. What is the ground of fact-unity, that peculiar form of unity found in facts but not it other types of complex?
Suppose you deny that they share all constituents. Suppose you maintain that the fact includes a triadic exemplification nexus that is not present in the set. I will then re-formulate the problem as follows. What is the difference between aRb and {a, R, NEX, }?
The problem of order is different from the problem of unity. The latter is the problem of accounting for the peculiar unity of those complexes that attract such properties as truth, falsity, and obtaining. For some of these complexes, no problem of order arises. For example, a monadic fact of the form, a's being F, precisely because it is nonrelational does not give rise to any problem of order. Since the problem of unity can arise in cases where the problem of order does not arise, the two problems are distinct.
The unity problem is the more fundamental of the two. The question as to the ground of the difference of a fact and the mere collection of its consituents is more fundamental than the question as to the ground of the difference between two already constituted facts which appear to share all their constituents.
1. Ernst Mach Spies a Shabby Pedagogue. In The Analysis of Sensations (Dover, 1959, p. 4, n. 1) Ernst Mach (1838-1916) offers the following anecdote:
Not long ago, after a trying railway journey by night, when I was very tired, I got into an omnibus, just as another man appeared at the other end. 'What a shabby pedagogue that is, that has just entered,' thought I. It was myself; opposite me hung a large mirror. The physiognomy of my class, accordingly, was better know to me than my own.
When Mach got on the bus he saw himself, but not as himself. His first thought was one expressible by 'The man who just boarded is a shabby pedagogue.' 'The man who just boarded' referred to Mach. Only later did Mach realize that he was referring to himself, a thought that he might have expressed by saying, 'I am a shabby pedagogue.'
Clearly, the thought expressed by 'The man who just boarded is shabby' is distinct from the thought expressed by 'I am shabby.' After all, Mach had the first thought but not the second. So they can't be the same thought. And this despite the fact that the very same property is ascribed to the very same person by both sentences. The difference emerges quite clearly if we alter the example slightly. Suppose Mach sees that the man who has just got on the bus has his fly open. He thinks to himself: The man who has just boarded has his fly open, a thought that leads to no action on Mach's part. But from the thought, I have my fly open, behavioral consequences ensue: Mach buttons his fly. Since the two thoughts have different behavioral consequences, they cannot be the same thought, despite the fact that they attribute the very same property to the very same person.
But if they attribute the same property to the same person, what exactly is the difference between the two thoughts?
Linguistically, the difference is that between a definite description ('the man who just boarded') and the first person singular pronoun 'I.' Since the referent (Frege's Bedeutung) is the same in both cases, namely Mach, one will be tempted to say that the difference is a difference in sense (Frege's Sinn) or mode of presentation (Frege's Darstellungsweise). Mach refers to himself in two different ways, a 3rd-person objective way via a definite description, and a 1st-person subjective way via the first-person singular pronoun.
If this is right, then although there are two different thoughts or propositions, one indexical and the other non-indexical, it might seem that there need only be one fact in the world to serve as truth-maker for both, the fact of Mach's being shabby. This is a non-indexical fact. It might seem that reality is exhausted by non-indexical facts, and that there are no such indexical or perspectival facts as those expressed by 'I am shabby' or 'I am BV' or 'I am the man who just got on the bus.' Accordingly, indexicality is merely a subjective addition, a projection: it belongs to the world as it appears to us, not to the world as it is in reality. On this approach, when BV says or thinks 'I,' he refers to BV in the first-person way with the result that BV appears to BV under the guise of 'I'; but in reality there is no fact corresponding to 'I am BV.'
2. But is this right? There are billions of people in the world and one of them is me. Which one? BV. But if the view sketched above is correct, then it is not an objective fact that one of these people is me. That BV exists is an objective fact, but not that BV is me. BV has two ways of referring to himself but there is only one underlyingobjective fact. Geoffrey Maddell strenuously disagrees:
If I am to see the world in a certain way, then the fact that the world seen in this way is apprehended as such by me cannot be part of the content of that apprehension. If I impose a subjective grid on the world, then it is objectively the case that I do so. To put it bluntly, it is an objective fact about the world that one of the billions of people in it is me. Mind and Materialism, 1988, p. 119.)
Maddell's point is that the first-person point of view is irreducibly real: it itself cannot be a subjective addition supplied from the first-person point of view. It makes sense to say that secondary qualities are projections, but it makes no sense to say that the first-person point of view is a projection. That which first makes possible subjective additions cannot itself be a subjective addition.
Consider the phenomenal redness of a stop sign. It makes sense to say that this secondary quality does not belong to the sign itself in reality, but is instead a property the sign has only in relation to a perceiver. In this sense, secondary qualities are subjective. But to say that subjectivity itself, first-person perspectivity itself, is a subjective projection is unintelligible. It cannot belong to mere appearance, but must exist in reality. As Madell puts it, "Indexical thought cannot be analysed as a certain 'mode of presentation', for the fact that reality is presented to me in some particular way cannot be part of the way in which it is presented." (p. 120)
3. Trouble for materialism. According to materialism, reality is exhausted by non-indexical physical facts. But we have just seen that indexical thoughts are underpinned by indexical facts such as the fact of BV's being me. These facts are irreducibly real, but not physically real. Therefore, materialism is false: reality is not exhausted by non-indexical physical facts.
An obituary by his Indiana University colleague, Nino Cocchiarella.
"Grossmann was well known among his colleagues for his eagerness to discuss philosophical problems and to engage in sustained debate on fundamental positions." Sounds right. When I, a stranger, wrote Grossmann sometime in the '80s and posed some questions for him, he responded in a thorough and friendly manner. May peace be upon him.
Here is another obituary by Javier Cumpa and Erwin Tegtmeier. It ends with a tantalizing reference to the book Grossmann was working on when felled by a massive stroke: Facts. I hope Grossmann's literary executors make the manuscript available.
The summer of '84 found me in Bloomington, Indiana. Thanks to the largesse of the American taxpayer, I was a 'seminarian' in Hector-Neri Castaneda's NEH Summer Seminar. One afternoon we repaired to a bar where we encountered Professor Grossmann. He told a story about the 19th century German philosopher Kuno Fischer, who was a big name in his day and a professor at Heidelberg. One day some workmen were making a racket outside his apartment. This incensed the good professor and he warned the workmen: "If you don't stop making this noise, I will leave Heidelberg!" The workmen stopped. Grossmann remarked that if Quine were to have lodged a similar complaint, the workmen would have laughed and bid him goodbye.
This post takes up where Butchvarov Against Facts left off. See the latter post for bibliographical data concerning the essay "Facts" which I presently have under my logical microscope. And if you are a fan of Butch's work, all of my Butchvarov posts are collected in the aptly entitled Butchvarov category.
(The following is also highly relevant to the discussion currently in progress with the Londonistas, David Brightly and Edward the Ockhamist in the combox to this post.)
Butch's position is a nuanced one as one would expect. He appreciates the strengths and weaknesses of both realism and anti-realism. For the realist, there are facts. For the anti-realist, there are no facts. Let us briefly review why both positions are both attractive yet problematic. We will then turn to semi-realism as to a via media between Scylla and Charybdis.
1. Take some such contingently true affirmative singular sentence as 'Al is fat.' Surely with respect to such sentences there is more to truth than the sentences that are true. There must be something external to the sentence that contributes to its being true, and this external something is not plausibly taken to be another sentence or the say-so of some person, or anything like that. 'Al is fat' is true because there is something in extralinguistic and extramental reality that 'makes' it true. There is this short slacker dude, Al, and the guy weighs 250 lbs. There is nothing linguistic or mental about that. Here is the sound core of correspondence theories of truth. Our sample sentence is not just true; it is true because of the way the world outside the mind and outside the sentence is configured. The 'because' is not a causal 'because.' The question is not the empirical-causal one as to why Al is fat. He is fat because he eats too much. The question concerns the ontological ground of the truth of the sentential representation, 'Al is fat.' Since it is obvious that the sentence cannot just be true -- given that it is not true in virtue of its logical form or ex vi terminorum -- we must posit something external to the sentence that 'makes' it true. I don't see how this can be avoided even though I admit that 'makes true' is not perfectly clear.
2. Now what is the nature of this external truth-maker? It can't be Al by himself, and it can't be fatness by itself. Nor can it be the pair of the two. For it could be that Al exists and fatness exists, but the first does not instantiate the second. What's needed, apparently, is the fact of Al's being fat. So it seems we must add the category of fact to our ontology, to our categorial inventory. Veritas sequitur esse is not enough. It is not enough that 'Al' and 'Fat' have worldly referents; the sentence as a whole needs a worldly referent. Truth-makers cannot be 'things' or collections of same, but must be entities of a different categorial sort. (Or at least this is so for the simple predications we are now considering.)
3. The argument I have just sketched, the truth-maker argument for facts, is very powerful, but it gives rises to puzzles and protests. There is the Strawsonian protest that facts are merely hypostatized sentences, shadows genuine sentences cast upon the world. Butchvarov quotes Strawson's seminal 1950 discussion: "If you prise the sentences off the world, you prise the facts off it too. . . ." ("Facts," 73-74) Strawson again: "The only plausible candidate for what (in the world) makes a sentence true is the fact it states; but the fact it states is not something in the world."
Why aren't facts in the world? Consider the putative fact of my table's being two inches from the wall. Obviously, this fact is not itself two inches from the wall or in any spatial position. The table and the wall are in space; the fact is not. One can drive a nail into the table or into the wall, but not into the fact, etc. Considerations such as these suggest to the anti-realist that facts are not in the world and that they are but sentences reified. After all, to distinguish a fact from a non-fact (whether a particular or a universal) we must have recourse to a sentence: a fact is introduced as the worldly correlate of a true sentence. If there is no access to facts except via sentences, as the correlates of true sentences, then this will suggest to those of an anti-realist bent that facts are hypostatizations of true declarative sentences.
One might also cite the unperceivability of facts as a reason to deny their existence. I see the table, and I see the wall. It may also be granted that I see that the desk is about two inches from the wall. But does it follow that I see a relational fact? Not obviously. If I see a relational fact, then presumably I see the relation two inches from. But I don't see this relation. And so, Butchvarov argues (84-85), one does not see the relational fact either. Their invisibility is a strike against them. A careful examination of this argument would make a nice separate post. And indeed it did.
Another of the puzzles about facts concerns how a fact is related to its constituents. Obviously a fact is not identical to its constituents. This is because the constituents can exist without the fact existing. Nor can a fact be an entity in addition to its constituents, something over and above them, for the simple reason that it is composed of them. We can put this by saying that no fact is wholly distinct from its constituents. The fact is more than its constituents, but apart from them it is nothing. A third possibility is that a fact is the togetherness of its constituents, where this togetherness is grounded in a a special unifying constituent. Thus the fact of a's being F consists of a, F-ness, and a nexus of exemplification. But this leads to Bradley's regress.
A fact is not something over and above its constituents but their contingent unity. This unity, however, cannot be explained by positing a special unifying constituent, on pain of Bradley's regress. which is, pace Richard Gaskin, vicious. So if a fact has a unifier, that unifier must be external to the fact. But what could that be? It would have to be something like Kant's transcendental unity of apperception. I push this notion in an onto-theological direction in my book, A Paradigm Theory of Existence: Onto-Theology Vindicated. But by taking this line, I move away from the realism that the positing of facts was supposed to secure. Facts are supposed to be ontological grounds, extramental and extralinguistic. If mind or Mind is brought in in any form to secure the unity of a truth-making fact, then we end up with some form of idealism, whether transcendental or onto-theological, or what have you.
4. So we are in an aporetic pickle. We have good reason to be realists and we have good reason to be anti-realists. (The arguments above on both sides were mere sketches; they are stronger than they might appear. ) Since we cannot be both realists and anti-realists, we might try to mediate the positions and achieve a synthesis. My book was one attempt at a synthesis. Butchvarov's semi-realism is another. I am having a hard time, though, understanding what exactly Butchvarov's semi-realism is supposed to be.
If the realist says that there are facts, and that anti-realist says that there aren't, the semi-realist maintains that 'There are facts' is an "Improper proposition" (87) so that both asserting it and denying it are improper.
Butchvarov relies crucially on Wittgenstein's distinction between formal and material concepts and his related distinction between saying and showing. Object is an example of a formal concept, while book is an example of a material concept. That there are books can be said. That there are objects cannot be said. Instead, it is shown by the use of names.
'This is an object,' unlike 'This is white,' is a pseudo-proposition. This is because it attempts to say what can only be shown. 'This is an object' does not say anything. "It shows the logical category to which the item belongs." (75)
Fact, like object, is a formal concept. It follows that 'There are facts' and 'A sentence expresses a fact' are pseudo-propositions. They are pseudo because they attempt to say what can only be shown. But why , exactly, does 'A sentence expresses a fact' not say or state anything? Presumably because ". . . it presupposes what it purports to say because 'fact' is the philosophical term for what sentences express." (76)
The following cannot be said: 'This page is white is a fact.' It cannot be said because it is ill-formed. (88) We can of course say, 'That this page is white is a fact.' But 'that this page is white' is not a sentence, but a noun phrase. We cannot use this noun phrase to refer to the fact because what we end up referring to is an object, not a fact. Though a fact is not a sentence or a proposition, it is proposition-like: it has astructure that mirrors the structure of a proposition. No object, however, is proposition-like. To express the fact we must use the sentence. Using the sentence, we show what cannot be said.
Butchvarov's discussion from p. 88 to the end of his article is extremely murky and unsatisfactory. His semi-realism is not a clear alternative to realism and anti-realism. Butch sees the problem with crystal clarity, but I cannot see what exactly his solution is.
He tells us that semi-realism with respect to facts differs from anti-realism by acknowledging that there is more to the truth of true sentences than the sentences that are true. (88) Excellent! This is a non-negotiable 'datanic' point. If it is true that Jack loves Jill, then there must be something in the world that makes this true, and it cannot be Jack, or Jill, or loves, or the set or sum of all three. If these three items are what the sentence 'Jack loves Jill' are about, then the truth-maker has to be distinct from each and from the set or sum of all. (88)
But Butch also tells us that semi-realism about facts differs from realism by refusing to countenance a special category of entity, the category of fact, the members of which are the referents of declarative sentences. What bothers Butchvarov is that "facts cannot be referred to or described independently of the sentences expressing them" (88) a consideration which renders antirealim about facts plausible and the correspondence theory of truth implausible. (88)
So what is Butch's third way? How does he get between realism and anti-realism. He seems to be saying that there are facts but that they cannot be said, only shown. But of course this cannot be what he is saying if one cannot say that there are facts!
If there is something that cannot be said but only shown, and what is shown are the referents of sentences, then he is saying that there are the referents of sentences in which case he is saying that there is what he says can only be shown.
This is highly unsatisfactory and barely coherent if coherent at all. I am tempted to say to Butch, "Look, either there are facts or there aren't. Which is it? Bringing in Wittgenstein's saying v. showing distinction only muddies already troubled waters."
So I don't see that semi-realism about facts is a viable position. I suggest we admit that we are stuck with a genuine aporia.
Edward, the proprietor of Beyond Necessity, presents an infinite regress argument against truth-makers. Here it is:
. . . I reject the idea of a truthmaker altogether. If there is such a truthmaker, let it be A, it comes into existence when Socrates sits down, and ceases to exist when he stands up. If it were something real – let’s say a candle flame, which comes into existence when we light the candle, and ceases to exist when we blow it out – then there would have to be a further truthmaker for A existing. I.e. the sentence “A exists” can be true or false, and so requires a further truthmaker B, that makes it true when B exists. But then “B exists” requires yet another truthmaker, and so on ad infinitum. That is absurd. Therefore, there are no truthmakers.
I am not sure Ed understands what a truth-maker is. Here is a Philosophy 101 explanation. Suppose we have some true contingent declarative sentence such as 'Tom is tired.' The truth-maker theorist maintains that for contingent true sentences, there is more to the sentence than its being true. There must be something external to the sentence, something that is not a sentence, that 'makes it true.' If you deny this, then you are saying that the sentence is just true and that there is no explanation of its being true in terms of anything extralinguistic. And surely that is absurd, assuming you are not some sort of linguistic idealist. 'Tom is tired' cannot just be true; it is true because there exists a man to whom 'Tom' refers and this man is in a certain state.
Could Tom by himself be the truth-maker of 'Tom is tired'? No. For if he were, then he would also be the truth-maker of 'Tom is manic' -- which is absurd. This is why truth-maker theorists (not all but most) introduce facts or states of affairs as truth-makers. David Armstrong is a prominent contemporary example.
Now what are we to make of Edward's argument? The argument seems to be that if sentence s has a truthmaker t, then the sentence 't exists' must also have a truth-maker, call it t*. But then the sentence 't* exists' must itself have a truth-maker, t**, and so on ad infinitum.
Now this is a terrible, a thoroughly and breath-takingly rotten, argument which is why no one in the literature (to the best of my knowledge) has ever made it. Suppose that 'Tom is tired' is made-true by the fact of Tom's being tired. Call this fact F. If 'Tom is tired' is true, then F exists, whence it follows that 'F exists' is true. (This of course assumes that there is the sentence 'F exists,' an assumption I will grant arguendo.) Since 'F exists' is contingent, we can apply the truth-maker principle and ask for its truth-maker. But surely its truth-maker is just F. So there is no regress at all, let alone an infinite regress, let alone a vicious infinite regress. (Please note that only vicious infinite regresses have the force of refutations.) 'Tom is tired' has F as its truth-maker, and 'F exists' has the very same F as its truth-maker. Tom's being tired makes true both 'Tom is tired' and 'Tom's being tired exists.' No regress.
So Ed's argument is a complete non-starter. There are, however, plausible arguments against facts as truth-makers. See my Facts category.
There are good reasons to introduce facts as truth-makers for contingently true atomic sentences. (Some supporting reasoning here.) But if there are facts, and they make-true contingent atomic sentences, then what is the semantic relation between these declarative sentences and their truth-makers? It seems we should say that such sentences name facts. But some remarks of Leo Mollica suggest that this will lead to trouble. Consider this aporetic triad:
1. 'Al is fat' is the name of the fact of Al's being fat. 2. 'Al is fat' has a referent only if it is true. 3. Names are essentially names: a name names whether or not it has a referent.
Each limb of the triad is very plausible, but they can't all be true. The conjunction of (1) and (3) entails the negation of (2). Which limb should we abandon? It cannot be (1) given the cogency of the Truth Maker Argument and the plausible assumption that the only semantic relation between a sentence and the corresponding fact is one of naming.
(2) also seems 'ungiveupable.' There are false sentences, and there may be false (Fregean) propositions: but a fact is not a truth-bearer but a truth-maker. It is very hard to swallow the notion that there are 'false' or nonobtaining facts. If 'Al is fat' is false it is because Al and fatness do not form a fact. The existence of a fact is the unity of its constituents. Where there is the unity of the right sort of constituents you have a fact; where there is not, you don't.
As for (3), suppose that names are only accidentally names, than a name names only on condition that it have a referent. We would then have to conclude that if the bearer of a name ceases to exist, that the name ceases to be a name. And that seems wrong. When Le Verrier put forth the hypothesis of an intra-Mercurial planent that came to be called 'Vulcan,' he did not know whether there was indeed such a planet, but he thought he had good evidence of its existence. When it was later decided that there was no good evidence of the planet in question, 'Vulcan' did not cease to be a name. If we now say, truly, that Vlucan does not exist we employ a name whose naming is not exhausted by its having a referent.
So it seems that names name essentially. This is the linguistic analog of intentionality: one cannot just think; if one thinks, then necessarily one thinks of something, something that may or may not exist. If I am thinking of something, and it ceases to exist, my thinking does not cease to be object-directed. Thinking is essentially object-directed. Analogously, names are essentially names.
So far, then, today's triad looks to be another addition the list of insolubilia. The limbs of the triad are more reasonably accepted than rejected, but they cannot all be true. A pretty pickle.
'The table is against the wall.' This is a true contingent sentence. How do I know that it is true except by seeing (or otherwise sense perceiving) that the table is against the wall? And what is this seeing if not the seeing of a fact, where a fact is not a true proposition but the truth-maker of a true proposition? This seeing of a fact is not the seeing of a table (by itself), nor of a wall (by itself), nor of the pair of these two physical objects, nor of a relation (by itself). It is the seeing of a table's standing in the relation of being against a wall. It is the seeing of a truth-making fact. (So it seems we must add facts to the categorial inventory.) The relation, however, is not visible, as are the table and the wall. So how can the fact be visible, as it apparently must be if I am to be able to see (literally, with my eyes) that the table is against the wall? That is our problem.
Let 'Rab' symbolize a contingent relational truth about observables such as 'The table is against the wall.' We can then set up the problem as an aporetic pentad:
1. If one knows that Rab, then one knows this by seeing that Rab (or by otherwise sense-perceiving it). 2. To see that Rab is to see a fact. 3. To see a fact is to see all its constituents. 4. The relation R is a constituent of the fact that Rab 5. The relation R is not visible (or otherwise sense-perceivable).
The pentad is inconsistent: the conjunction of any four limbs entails the negation of the remaining one. To solve the problem, then, we must reject one of the propositions. But which one?
(1) is well-nigh undeniable: I sometimes know that the cat is on the mat, and I know that the cat is on the mat by seeing that she is. How else would I know that the cat is on the mat? I could know it on the basis of the testimony of a reliable witness, but then how would the witness know it? Sooner or later there must be an appeal to direct seeing. (5) is also undeniable: I see the cat; I see the mat; but I don't see the relation picked out by 'x is on y.' And it doesn't matter whether whether you assay relations as relation-instances or as universals. Either way, no relation appears to the senses.
Butchvarov denies (2), thereby converting our pentad into an argument against facts, or rather an argument against facts about observable things. (See his "Facts" in Javier Cumpa ed., Studies in the Ontology of Reinhardt Grossmann, Ontos Verlag 2010, pp. 71-93, esp. pp. 84-85.) But if there are no facts about observable things, then it is reasonable to hold that there are no facts at all.
So one solution to our problem is the 'No Fact Theory.' One problem I have with Butchvarov's denial of facts is that (1) seems to entail (2). Now Butch grants (1). (That is a loose way of saying that Butch says things in his "Facts' article that can be reasonably interpreted to mean that if (1) were presented to him, then would grant it.) So why doesn't he grant (2)? In other words, if I can see (with my eyes) that the cat is on the mat, is not that excellent evidence that I am seeing a fact and not just a cat and a mat? If you grant me that I sometimes see that such-and-such, must you not also grant me that I sometimes see facts?
And if there are no facts,then how do we explain the truth of contingently true sentences such as 'The cat is on the mat'? There is more to the truth of this sentence than the sentence that is true. The sentence is not just true; it is true because of something external to it. And what could that be? It can't be the cat by itself, or the mat by itself, or the pair of the two. For the pair would exist if the sentence were false. 'The cat is not on the mat' is about the cat and the mat and requires their existence just as much as 'The cat is on the mat.' The truth-maker, then, must have a proposition-like structure, and the natural candidate is the fact of the cat''s being on the mat. This is a powerful argument for the admission of facts into the categorial inventory.
Another theory arises by denying (3). But this denial is not plausible. If I see the cat and the mat, why can't I see the relation -- assuming that I am seeing a fact and that a fact is composed of its constituents, one of them being a relation? As Butch asks, rhetorically, "If you supposed that the relational fact is visible, but the relation is not, is the relation hidden? Or too small to see?" (85)
A third theory comes of denying (4). One might think to deny that R is a constituent of the fact of a's standing in R to b. But surely this theory is a nonstarter. If there are relational facts, then relations must be constituents of some facts.
Our problem seems to be insoluble. Each limb makes a very strong claim on our acceptance. But they cannot all be true.
In his essay, "Facts," (Studies in the Ontology of Reinhardt Grossmann, Javier Cumpa, ed., Ontos Verlag, 2010, p. 83) Panayot Butchvarov generously cites me as a defender of realism and a proponent of facts. He credits me with doing something William P. Alston does not do in his theory of facts, namely, specifying their mode of reality:
However, William Vallicella, also a defender of realism, does. He argues that true propositions require "truth-making facts." And he astutely points out that facts could be truth-making only if they are "proposition-like," "structured in a proposition-like way" -- only f a fact has a structure that can mirror the the structure of a proposition." (A Paradigm Theory of Existence, 13, 166-7,192-3) Vallicella's view is firmly in the spirit of Wittgenstein's account in the Tractatus of the notions of fact and correspondence to fact, but his formulation of it may invite deflationist attacks like Strawson's.
Butchvarov, however, is firmly against adding the category of facts to our ontological inventory. This post will consider one of his arguments. Butchvarov tells us (p. 86) that
The metaphysical notion of fact is grounded in our use of declarative sentences, and the supposition that there are facts in the world depends at least in part on the assumption that sentences must correspond to something in the world, that somehow they must be names. But this assumption seems absurd. Sentences are not even nouns, much less names. They cannot serve as grammatical subjects or objects of verbs, which is the mark of nouns. [. . .] Notoriously, "p is true," if taken literally, is gibberish. "Snow is white is true" is just ill-formed. "'Snow is white' is true" is not, but its subject-term is not a sentence -- it is the name of a sentence.
Here is what I take to be Butchvarov's argument in the above passage and surrounding text:
1. If there are facts, then some declarative sentences are names. 2. Every name can serve as the grammatical subject of a verb. 3. No declarative sentence can serve as the grammatical subject of a verb. Therefore 4. No declarative sentence is a name. (2, 3) Therefore 5. There are no facts. (1, 4)
The friend of facts ought to concede (1). If there are truth-making facts, then some declarative sentences refer to them, or have them as worldly correspondents. The realist holds that if a contingent sentence such as 'Al is fat' is true, then that is not just a matter of language, but a matter of how the extralinguistic world is arranged. The sentence is true because of Al's being fat. Note that Al by himself cannot be the truth-maker of the sentence, nor can fatness by itself, nor can the set, sum, or ordered pair of the two do the job. If {Al, fatness} is the truth-maker of 'Al is fat,' then it is also the truth-maker of 'Al is not fat' -- which is absurd.
As for (2), it is unproblematic. So if the argument is to be neutralized -- I prefer to speak of 'neutralizing' rather than 'refuting' arguments -- we must give reasons for not accepting (3). So consider this argument for the negation of (3).
6. 'Snow is white' is true. 7. No name is true or false. Therefore 8. 'Snow is white' is not a name. 9. Anything either true or false is a declarative sentence. Therefore 10. 'Snow is white' is a declarative sentence. Therefore 11. 'Snow is white' serves as the grammatical subject of the verb 'is a declarative sentence.' Therefore 12. Some declarative sentences can serve as the grammatical subjects of a verb. Therefore ~3. It is not the case that no declarative sentence can serve as the grammatical subject of a verb.
The argument just given seems to neutralize Butchvarov's argument.
The Paradox of the Horse and 'the Paradox of Snow'
Butchvarov's view is deeply paradoxical. He holds that 'Snow is white ' in (6) is not a sentence but the name of a sentence. The paradox is similar to the paradox of the horse in Frege. Frege notoriously held that the concept horse is not a concept. Butchvarov is maintaining that the sentence 'Snow is white' is not a sentence.
What is Frege's reasoning? He operates with an absolute distinction between names and predicates (concept words). Corresponding to this linguistic distinction there is the equally absolute ontological distinction between objects and concepts. Objects are nameable while concepts are not. So if you try to name a concept you willy-nilly transform it into an object. Since 'the concept horse' is a name, its referent is an object. Hence the concept horse is not a concept but an object.
Similarly with Butchvarov. To refer to a sentence, I must use a name for it. To form the name of a sentence, I enclose it in quotation marks. Thus the sentence 'snow is white' is not a sentence, but a name for a sentence.
Butchvarov finds it "absurd" that a sentence should name a fact. His reason is that a sentence is not a name. But it strikes me as even more absurd to say that the sentence 'Snow is white' is not a sentence, but a name.
My tentative conclusion is that while realism about facts is dubious, so is anti-realism about them. But there is also what Butchvarov calls "semi-realism" which I ought to discuss in a separate post.
Note to Steven Nemes: Tell me if you find this totally clear, and if not, point out what is unclear. Tell me whether you accept my overall argument.
The day before yesterday in conversation Steven Nemes presented a challenge I am not sure I can meet. I have maintained (in my book, in published articles, and in these pages) that the difference between a fact and its constituents cannot be a brute difference and must therefore have a ground or explanation. But what exactly is my reasoning?
Consider a simple atomic fact of the form, a's being F. This fact has two primary constituents, the individual a, and the monadic property F-ness, which a possesses contingently. But surely there is more to the fact than these two primary constituents, and for at least two reasons. I'll mention just one, which I consider decisive: the constituents can exist without the fact existing. The individual and the property could each exist without the former exemplifying the second. This is so even if we assume that there are no propertyless individuals and no unexemplified properties. Consider a world W which includes the facts Ga and Fb. In W, a is propertied and F-ness is exemplified; hence there is no bar to saying that both exist in W. But Fa does not exist in W. So a fact is more than its primary constituents because they can exist without it existing.
A fact is not its constituents, but those constituents unified in a particular way. Now if you try to secure fact-unity by introducing one or more secondary constituents such an exemplification relation, then you will ignite Bradley's regress. For if the constituents include a, F-ness, and EX, then you still have the problem of their unity since the three can exist without constituting a fact.
So I take it as established that a fact is more than its constituents and therefore different from its constituents. A fact is different from any one of its constituents, and also from all of them taken collectively, as a mereological sum, say. The question is: What is the ontological ground of the difference? What is it that makes them different? That they are different is plain. I want to know what makes them different. It won't do to say that one is a fact while the other is not since that simply underscores that they are different. I'm on the hunt for a difference-maker.
To feel the force of the question consider what makes two different sets different. If S1 and S2 are different sets, then it is reasonable to ask what makes them different, and one would presumably not accept the answer that they are just different, that the difference is a brute difference. Let S1 be my singleton and S2 the set consisting of me and Nemes. It would not do to say that they are just different. We need a difference-maker. In this case it is easy to specify: Nemes. He is what makes S1 different from S2. Both sets contain me, but only one contains him. Generalizing, we can say that for sets at least,
DM. No difference without a difference-maker.
So I could argue that the difference between a fact and (the sum of) its constituents cannot be a brute difference because (i) there is no difference without a difference-maker and (ii) facts, sets, and sums, being complexes, are relevantly similar. (I needn't hold that the numerical difference of two simples needs a difference-maker.) But why accept (DM) in full generality as applying to all types of wholes and parts? Perhaps the principle, while applying to sets, does not apply to facts and their constituents. How do I answer the person who argues that the difference is brute, a factum brutum, and that therefore (DM), taken in full generality, is false? As we say in the trade, one man's modus ponens is another's modus tollens.
Can I show that there is a logical contradiction in maintaining that facts and their constituents just differ? That was my strategy in the book on existence. The strategy is to argue that without an external ground of unity -- an external unifer -- one lands in a contradiction, or rather cannot avoid a contradiction. That the unifier, if there is one, must be external as opposed to internal is established by showing that otherwise a vicious infinite regress ensues of the Bradley-type. I cover this ground in my book and in articles in mind-numbing detail; I cannot go over it again here. But I will refer the reader to my 2010 Dialectica article which discusses a fascinating proposal according to which unity is constituted by an internal infinite, but nonvicious, regress. But for now I assume that the unifier, if there is one, must be external. If there is one, then the difference between a fact and its constituents cannot be brute. But why must there be a unifier?
Consider this aporetic triad:
1. Facts exist. 2. A fact is its constituents taken collectively. 3. A fact is not its constituents taken collectively.
What I want to argue is that facts exist, but that they are contradictory structures in the absence of an external unifier that removes the contradiction. Since Nemes agrees with me about (1), I assume it for present purposes. (The justification is via the truth-maker argument).
Note that (2) and (3) are logical contradictories, and yet each exerts a strong claim on our acceptance. I have already argued for (3). But (2) is also exceedingly plausible. For if you analyze a fact, what will you uncover? Its constituents and nothing besides. The unity of the constituents whereby it is a fact as opposed to a nonfact like a mereological sum eludes analysis. The unity cannot be isolated or located within the fact. For to locate it within the fact you would have to find it as one of the constituents. And that you cannot do.
Note also that unity is not perceivable or in any way empirically detectable. Consider a simple Bergmann-style or 'Iowa' example, a red round spot. The redness and the roundness are perceivable, and the spot is perceivable. But the spot's being red and round is not perceivable. The existence of a fact is the unity of its constituents. So what I am claiming is equivalent to claiming that existence is not perceivable, which seems right: existence is not an empirical feature like redness and roundness.
So when we consider a fact by itself, there seems to be nothing more to it than its constituents.
Each limb of the triad has a strong claim on our acceptance, but they cannot all be true as formulated. The contradiction can be removed if we ascend to a higher point of view and posit an external unifier. What does that mean?
Well, suppose there is a unifier U external to the fact and thus not identifiable with one or more of its primary or secondary constituents. Suppose U brings together the constituents in the fact-making way. U would then be the sought-for ground of the fact's unity. The difference between a fact and its constituents could then be explained by saying that the difference is due to U's 'activity': U operates on the constituents to produce the fact. Our original triad can then be replaced by the following all of whose limbs can be true:
1. Facts exist 2*. A fact, considered analytically, is its constituents taken collectively. 3. A fact is not its constituents taken collectively.
This triad is consistent. The limbs can all be true. And I think we have excellent reason to say that each IS true. The truthmaker argument vouches for (1). (2*) looks to be true by definition. The argumentation I gave for (3) above strikes me as well-night irresistible.
But if you accept the limbs of the modified triad, then you must accept that there is something external to facts which functions as their unifier. Difficult questions about what U is and about whether U is unique and the same for all facts remain; but that U exists is 'fallout' from the modified triad. For if each limb is true, then a fact's being more than its constituents can be accounted for only by appeal to an external unifier.
But how exactly does this show that the difference between a fact and its constituents is not a brute difference? The move from the original to the modified triad is motivated by the laudable desire to avoid contradiction. So my argument boils down to this: If the difference is brute, then we get a logical contradiction. So the difference is not brute.
But it all depends on whether or not there are facts. If facts can be reasonably denied, then my reasoning to a unifer can be reasonably rejected. But that's a whole other can of worms: the truthmaker argument.
Analytically considered, a fact is just its constituents. But holistically considered it is not. Unity eludes analysis, and yet without unities there would be nothing to analyze! Analytic understanding operates under the aegis of two distinctions: whole/part, and complex/simple. Analysis generates insight by reducing wholes to their parts, and complex parts to simpler and simpler parts, and possibly right down to ultimate simples (assuming that complexity does not extend 'all the way down.') But analysis is a onesided epistemic procedure. For again, without unities there would be nothing to analyze. To understand the being-unified of a unity therefore requires that we ascend to a point of view external to the unity under analysis.
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.
Could a concrete individual such as the man Peter function as a truthmaker? Peter Lupu and I both find this idea highly counterintuitive. And yet many contemporary writers on truth and truthmaking have no problem with it. They have no problem with the notion that essential predications about x are made true by x itself, for any x. Assume that the primary truthbearers are Fregean propositions and consider the Fregean proposition *Peter is human.* (Asterisks around a declarative sentence form a name of the Fregean proposition expressed by the sentence.) Being human is an essential property of Peter: it is a property he has in every possible world in which he exists. It follows that there is no world in which Peter exists and *Peter is human* is not true. Hence Peter himself logically suffices for the truth of *Peter is human.* Similarly for every essential predication involving our man. Why then balk at the notion that a concrete individual can serve as a truthmaker?
Here is an argument in support of balking:
1. Every asymmetric relation is irreflexive. (Provable within first-order predicate logic. Exercise for the reader: prove it!)
2. Truthmaking is an asymmetric relation. If T makes true *p*, then *p* does not make true T.
3. Truthmaking is irreflexive. (From 1, 2)
4. Whatever makes true a proposition admitting of existential generalization also makes true the proposition which is its existential generalization. For example, if Peter makes true *Peter is human,* then Peter makes true the existential generalization *There are humans.* And if *Peter is human* makes true **Peter is human* is a proposition,* then *Peter is human* makes true *There are propositions.* (It is a universally accepted axiom of truthmaking that one and the same truthmaker can make true more than one truthbearer. Truthmaking is not a one-to-one relation.)
5. If a concrete individual, by itself and in virtue of its mere existence, can make a true an essential predication about it, then an entity of any ontological category can, by itself and in virtue of its mere existence, make true an essential predication about it. And conversely. For example, if Peter makes true *Peter is human,* then *Peter is human* makes true **Peter is human* is a proposition* and also **Peter is human* is an abstract object,* etc. And conversely: if *Peter is human* makes true **Peter is human* is a proposition,* then Peter makes true *Peter is human.*
6. *There are propositions* is essentially a proposition.
7. A concrete individual, by itself and in virtue of its mere existence, can make true an essential predication about it.
8. *There are propositions* is made true by *Peter is human* and indeed by any proposition, including *There are propositions.* (From 4, 5, 6, 7. To spell it out: Peter makes true *Peter is human* by 7; *Peter is human* makes true **Peter is human* is a proposition* by 5 and 6. *There are propositions* is the existential generalization of **Peter is human* is a proposition.* *Peter is human* makes true *There are propositions* by 4. *Peter is human,*, however, can be replaced by any proposition in this reasoning. Therefore, *There are propositions* is made true by any proposition including *There are propositions.*
9. *There are propositions* has itself as one of its truthmakers. (From 8)
10. It is not the case that truthmaking is irreflexive. (From 9. Note that when we say of a relation that it has a property such as symmetry or irreflexivity, we mean that that has this property essentially.)
11. (10) contradicts (3).
12. One of the premises is false. (From 11)
13. The only premises that are even remotely controvertible are (2) and (7).
14. (2), which affirms the asymmetry of truthmaking, cannot be reasonably denied. Why not? Well, the whole point of truthmaking is to provide a metohysical, not empirical, explanation of the truth of truthbearers. Explanation, however, is asymmetric by its very nature: if x explains y, then y does not explain x.
15. (7) is false: it it not the case that a concrete individual, by itself, can serve as a truthmaker.
Credit where credit is due: The above is my attempt to put into a rigorous form some remarks of Marian David which point up the tension between the asymmetry of truthmaking and the notion that concrete individuals, by themselves, can serve as the truthmakers for essential predications about them. See his essay "Truth-making and Correspondence" in Truth and Truth-Making, eds. Lowe and Rami. McGill 2009, 137-157, esp. 152-154.
For Peter Lupu discussions with whom helped me clarify my thoughts on this topic.
0. What David Armstrong calls Truthmaker Maximalism is the thesis that every truth has a truthmaker. Although I find the basic truthmaker intuition well-nigh irresistible, I have difficulty with the notion that every truth has a truthmaker. Thus I question Truthmaker Maximalism.
1. Compare *Peter is tired* and *Every concretum is self-identical.* I will argue that propositions like the first have truthmakers while propositions like the second do not. (A declarative sentence enclosed in asterisks names the Fregean proposition expressed by the sentence. I will assume that the primary truthbearers are Fregean propositions. By definition, a truth is a true truthbearer.)
2. Intuitively, the first truth is in need of something external to it that 'makes' it true or determines it to be true, or serves as the ontological ground of its truth. By 'external to it,' I don't just mean that the truthmaker of a truth must be distinct from it: this condition is satisfied by a distinct proposition that entails it. What I mean is that the truthmaker must be both distinct from the truthbearer and not, like the truthbearer, a 'representational entity' where the latter term covers such items as sentences, contents of judgments, and Fregean propositions (the senses of context-free sentences in the indicative mood.) In other words, a truthmaker of a first-order truth such as *Peter is tired* must be outside the sphere of representations: it must be extralinguistic, extramental, and extra-propositional. Truthmakers, then, are 'in the world' in one sense of 'world.' They are ontological grounds of truth. Thus the truthmakers of propositions like *Peter is tired* cannot belong to the category of propositions. The ontological ground of such a proposition cannot be an entity within the sphere of propositions.
Some recent attempts (by G. Oppy, J. Brower, A. Pruss and perhaps others) at making sense of the doctrine of divine simplicity (DDS) have invoked the truthmaker principle (TMP). I made heavy use of TMP in my A Paradigm Theory of Existence (Kluwer 2002), though not in defense of DDS. Being a self-critical sort, I am now re-examining the case for TMP. Note that acceptance of TMP does not straightaway commit one to acceptance of any particular category of entity as truthmakers such as concrete states of affairs. One could accept TMP and hold that truthmakers are tropes. And there are other possibilities. So before we can address the truthmaker defense of DDS we must (i) argue for TMP and then (ii) decide on what can and cannot function as truthmakers. In this post I consider some of what can be said for and against truthmaking in general. It looks like we might be in for a long series of posts on this fascinating but difficult topic.
1. One of the entailments of the doctrine of divine simplicity (DDS) is that God is identical to: God's omniscience, God's omnipotence, and in general God's X-ness, where 'X' ranges over the divine attributes. And it is easy to see that if God = God's F-ness, and God = God's G-ness, then (by transitivity of identity) God's F-ness = God's G-ness. I suggest that we use 'divine attribute' to refer to those properties of God that are both essential and intrinsic. The problem, of course, is to make sense of these identities given the fact that, prima facie, they do not make sense. The pattern is the same as with Trinity and Incarnation. These doctrines imply identities which, on the face of it, beggar understanding. It thus falls to the philosopher of religion to try to render coherent that which, on the face of it, is incoherent.
2. One of the questions that arise when we try to make sense of DDS concerns which category of entity such phrases as 'God's omniscience' pick out. One possibility is that such phrases pick out properties, whether universal (multiply exemplifiable) properties or particular (not multiply exemplifiable) properties, also known as tropes. But this leads to trouble as Brower points out. For if God is identical either to omniscience or to his omniscience, then God is identical to a property -- which sounds absurd: how can God, a person, be a property? Properties are predicable entities, but God is an individual and so not predicable. Properties are exemplifiable entities (whether multiply or non-multiply); but God is an individual and so not exemplifiable. Properties are abstract (causally inert) whereas God is concrete (causally active/passive). No property is a person, but God is a person. No property creates or knows or loves. These are some hastily sketched reasons for thinking that God cannot be identical to his properties.
3. Jeffrey E. Brower forwards an interesting proposal. He suggests that such phrases as 'God's nature,' 'God's goodness' and 'God's power' refer to "entities of a broadly functional type -- namely, truthmakers." (Simplicity and Aseity, sec. 2) The idea is that 'God's omniscience' refers to the trruthmaker of 'God is omniscient' or perhaps to the truthmaker of the proposition expressed by 'God is omniscient.' If (Fregean) propositions are the primary truthbearers, then (tokenings of) declarative sentences that express such propositions can be said to be secondary truthbearers. I trust that it is clear that truthbearers and truthmakers are not to be confused. One key difference is that while some truthbearers are are false, no truthmaker is false. Truth and falsity are properties of certain representations (propositions, declarative sentences, beliefs, judgments, etc.) whereas truthmakers are the ontological grounds of some true truthbearers. If I understand Brower's view, it is not only that truthmakers are neither true nor false -- every TM theorist will hold this -- but also that truthmakers are not at all proposition-like. By contrast, I follow D. M. Arstrong in holding that truthmakers must have a proposition-like structure. But more on this in a moment.
4. Roughly, a truthmaker is whatever plays a certain role or performs a certain function; it is whatever makes true a true truthbearer. The 'truthmaker intuition' -- which I share with Brower -- is that a sentence such as 'Tom is blogging' cannot just be true; there is need of some worldly entity to 'make' it true, to serve as the ontological ground of its truth, to 'verify' it in an ontological, not epistemological, sense of this term. To say that some or all truthbearers need truthmakers is not yet to specify which sort of entity plays the truthmaker role. Among philosophers who accept the need for truthmakers there is disagreement about the ontological category to which they belong.
Brower says rather incautiously that the functional characterization of truthmakers "places no restriction on the specific nature or ontological category to which a truthmaker can belong." (sec 2.1) That can't be right. Surely there are some restrictions. For one thing, a truthmaker cannot be a Fregean proposition for the simple reason that such items are among the items made true by truthmakers. And the same goes for declarative sentences, beliefs, and judgments. My belief that the cat is asleep is either true or false and as such is a truthbearer. It is in need of a truthmaker but is not itself one. Of course, the fact of my believing that the cat is asleep can serve as truthmaker for the sentence ' BV now believes that the cat is asleep' if concrete facts are admitted as truthmakers -- but that is something else again. So not just anything can be a truthmaker. Charitably interpreted, what Brower is telling us is that TM theorists are allowed some ontological latitude when it comes to specifying which category of entity is fit to play the truthmaker role.
5. Let us note that if a true Fregean proposition p entails a Fregean proposition q, then one could say that the first 'makes true' the second. And so one could speak of the first as a 'truthmaker' of the second. But this is not what is meant by 'truthmaking' in these discussions despite the fact that p broadly logically necessitates q. What is intended is a relation of broadly logical necessitation that connects a nonpropositional entity (but on some theories a proposition-like entity) to a propositional entity, or more precisely, to an entity that can serves as the bearer or vehicle of a truth-value. As I see it, the entailment relation and the truthmaking relation are species of broadly logical necessitation; but truthmaking is not entailment. Entailment will never get you 'outside the circle of propositions'; but that is exactly what truthmaking is supposed to do. A truthmaker is an ontological, not propositional or representational truth-ground. Philosophers who are attracted to truthmakers typically have a realist sense that certain of our representations need to be anchored in reality.
Brower sees it a little differently. He would agree with me that entailment and truthmaking cannot be identical, but he thinks of it as "a form of broadly logical necessitation or entailment" and says that entailment is necessary but not sufficient for truthmaking. (Sec. 2.1) So Brower seems to be maintaining that while there is more to truthmaking than entailment, every truthmaker entails the truth it makes true. But this makes little or no sense. Entailment is a relation defined on propositions. If x entails y, then you can be sure that x and y are propositions or at least proposition-like entities, whether these be sentences or judgments or beliefs or even concrete states of affairs such as the fact of (not the fact that) Peter's being tired, which concrete fact contains Peter himself as constituent, warts and all. But for Brower, as we will see in a moment, concrete individuals such as Socrates, entities that are neither propositions nor proposition-like, can serve as truthmakers. As far as I can see, it makes no sense to say that Socrates entails a proposition. It makes no sense because entailment is defined in terms of truth, and no individual can be true or false. To say that p entails q is to say that it is impossible that p be true and q false. Since it makes no sense to say of an individual that it is true, it makes no sense to say of an individual that it entails a proposition. So truthmaking cannot be a type or species of entailment if individuals are truthmakers.
6. But setting aside for the moment the above worry, if it makes sense to say that God is the truthmaker of 'God is omniscient,' and if 'God's omniscience' refers to this truthmaker, then it will be clear how God can be identical to God's omniscience. For then 'God is identical to his omniscience' is no more problematic than 'God is God.' It will also be clear how God's omniscience can be identical to God's omnipotence.
7. But can it really be this easy to show that DDS is coherent? Although I agree with Brower that some truthbearers need truthmakers, I don't see how truthmakers could be ontologically structureless individuals or 'blobs' as opposed to 'layer-cakes' in Armstrong's terminology. By 'ontologically structureless' I mean lacking in propositional or proposition-like structure. Consider the following true intrinsic essential predicative sentences: 'Socrates is human,' 'Socrates is an animal,' Socrates is a material object,' 'Socrates exists,' and 'Socrates is self-identical.' (It is not obvious that 'Socrates exists' is an essential predication inasmuch as Socrates exists contingently, but let's not enter into this thorny thicket just now.)
Brower's claim is that in each of these cases (which parallel the true intrinsic essential predications of divine attributes) the truthmaker is the concrete individual Socrates himself. Thus Socrates is the truthmaker of 'Socrates is human' just as God is the truthmaker of 'God is omniscient.' Unfortunately, no individual lacking propositional or proposition-like structure can serve as a truthmaker as I argued in #5 above. Just as it makes no sense to say that Socrates is true, it makes no sense to say that Socrates entails the proposition expressed by 'Socrates is human.'
There is more to say, but tomorrow's another day. Time to punch the clock.
Ed Feser has a very useful post which clears up some unfortunately common confusions with respect to talk about facts and opinions. I agree with what he says but would like to add a nuance. Feser distinguishes two senses of 'fact,' one metaphysical (I prefer the term 'ontological') the other epistemological:
Fact (1): an objective state of affairs
Fact (2): a state of affairs known via conclusive arguments, airtight evidence, etc.
I suggest that we distinguish within the metaphysical Fact(1) between facts-that, which are true propositions, and facts-of, which are worldly states of affairs that function as the truth-makers of true propositions. If I say that table salt is NaCl, what I say is a fact in the epistemological sense of being something known to be the case, but it is also a fact in two further senses. Uttering 'Table salt is NaCl' I express a true proposition. (I take a Fregean line on propositions: they are the senses of context-free declarative sentences.) Clearly, the proposition expressed by my utterance is true whether or not anyone knows it. So this is an ontological use of 'fact.' But it is arguable that (contingent) propositions, which are truth-bearers, have need of truth-makers. Truth-makers are plausibly taken to be worldly (concrete) states of affairs. (Not to be confused with the abstract states of affairs of Chisholm and Plantinga.) Thus the proposition expressed by 'Table salt is NaCl' is made-true by the concrete state of affairs, the fact-of, table salt's being sodium chloride.
One way to see the difference between a proposition, a truth-bearer, and its truth-maker is by noting that Tom himself, all 200 lbs of him, is not a constituent of the Fregean proposition expressed by 'Tom is tired,' whereas Tom himself is a constituent of the fact-of Tom' s being tired. More fundamentally, if you have realist intuitions, it should seem self-evident that a true proposition cannot just be true; it is in need of an ontological ground of its truth. It is true that my desk is littered with books, but this truth (true proposition) doesn''t hang in the air so to speak, it is grounded in a truth-making fact involving concrete books and a desk.
Many, many questions can be raised about truth-bearers, truth-makers, and so on, but all that comes later. For now, the point is merely to sketch a prima facie three-fold distinction that one ought to be aware of even if, later down the theoretical road one decides that facts-that can be identified with facts-of, or that a conflation of facts in the epistemological sense with facts-that can be justified, or whatever. Such theoretical identifications and conflations presuppose for their very sense such preliminary prima facie distinctions as I have just made.
From a comment thread:
Here is an excerpt from a forthcoming article of mine to appear in a volume honoring the late David M. Armstrong, widely regarded as Australia's greatest philosopher:
II. The Truth-Maker Argument for Facts
The central and best among several arguments for facts is the Truth-Maker Argument. Take some such contingently true affirmative singular sentence as 'Al is fat.' Surely with respect to such sentences there is more to truth than the sentences that are true. There must be something external to a true sentence that grounds its being true, and this external something is not plausibly taken to be another sentence or the say-so of some person. 'Al is fat' is not just true; it is true because there is something in extralinguistic and extramental reality that 'makes' it true, something 'in virtue of which' it is true. There is this short man, Al, and the guy weighs 250 lbs. There is nothing linguistic or mental about the man or his weight. Here is the sound core, at once both ancient and perennial, of correspondence theories of truth. Our sample sentence is not just true; it is true because of the way the world outside the mind and outside the sentence is configured. The 'because' is not a causal 'because.' The question is not the empirical-causal one as to why Al is fat. He is fat because he eats too much. The question concerns the ontological ground of the truth of the sentential representation, 'Al is fat.' Since it is obvious that the sentence cannot just be true -- given that it is not true in virtue of its logical form or ex vi terminorum -- we must posit something external to the sentence that 'makes' it true. I don't see how this can be avoided even though I cheerfully admit that 'makes true' is not perfectly clear. That (some) truths refer us to the world as to that which makes them true is so obvious and commonsensical and indeed 'Australian' that one ought to hesitate to reject the idea because of the undeniable puzzles that it engenders. Motion is puzzling too but presumably not to be denied on the ground of its being puzzling.
Now what is the nature of this external truth-maker? If we need truth-makers it doesn't follow straightaway that we need facts. This is a further step in the argument. Truth-maker is an office. Who or what is a viable candidate? It can't be Al by himself, if Al is taken to be ontologically unstructured, an Armstrongian 'blob,' as opposed to a 'layer cake,' and it can't be fatness by itself.1 (Armstrong 1989a, 38, 58) If Al by himself were the truth-maker of 'Al is fat' then Al by himself would make true 'Al is not fat' and every sentence about Al whether true or false. If fatness by itself were the truth-maker, then fatness exemplified by some other person would be the truth-maker of 'Al is fat.' Nor can the truth-maker be the pair of the two. For it could be that Al exists and fatness exists, by being exemplified by Sal, say, but Al does not instantiate fatness. What is needed, apparently, is a proposition-like entity, the fact of Al's being fat. We need something in the world to undergird the predicative tie. So it seems we must add the category of fact to our ontology, to our categorial inventory. Veritas sequitur esse – the principle that truth follows being, that there are no truths about what lacks being or existence – is not enough. It is not enough that all truths are about existing items pace Meinong. It is not enough that 'Al' and 'fat' have worldly referents; the sentence as a whole needs a worldly referent. In many cases, though perhaps not in all, truth-makers cannot be 'things' – where a thing is either an individual or a property – or collections of same, but must be entities of a different categorial sort. Truth-making facts are therefore 'an addition to being,' not 'an ontological free lunch,' to employ a couple of signature Armstrongian phrases. For the early Armstrong at least, facts do not supervene upon their constituents. This yields the following scheme. There are particulars and there are universals. The Truth-Maker Argument, however, shows or at least supports the contention that there must also be facts: particulars-instantiating-universals.2 There are other arguments for facts, but they cannot be discussed here. And there are other candidates for the office of truth-maker such as tropes and Husserlian moments (Mulligan et al. 2009) but these other candidates cannot be discussed here either. Deeper than any particular argument for facts, or discussion of the nature of facts, lies the question whether realism about facts even makes sense. To this question we now turn.
______________
1If Al is a blob, then he lacks ontological structure; but that is not to say that he lacks spatial or temporal parts. It is obvious that he has spatial parts; it is not obvious that he has ontological 'parts.' Thin particulars, properties, and nexus count as ontological 'parts.' Layer cakes have both spatiotemporal and ontological structure.
2Are facts or states of affairs then a third category of entity in addition to particulars and universals? Armstrong fights shy of this admission: “I do not think that the recognition of states of affairs involves introducing a new entity. . . . it seems misleading to say that there are particulars, universals, and states of affairs.” (Armstrong 1978, 80) Here we begin to glimpse the internal instability of Armstrong's notion of a state of affairs. On the one hand, it is something in addition to its constituents: it does not reduce to them or supervene upon them. On the other hand, it is not a third category of entity. We shall see that this instability proves disastrous for Armstrong's ontology.