Category: Facts

An Infinite Regress Argument Against Truth-Makers?

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. 

Sentences as Names of Facts: An Aporetic Triad

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.

By the way, I insist on the primacy of the intentional over the linguistic.

Are Facts Perceivable? An Aporetic Pentad

'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.  

Butchvarov Against Facts

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.

Is the Difference Between a Fact and Its Constituents a Brute Difference?

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. 

Truthmaking and the Ontological Assay of Concrete Individuals

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 be a Truthmaker?

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.

Truthmaker Maximalism Questioned

IMG_0677 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.

Continue reading “Truthmaker Maximalism Questioned”

Troubles With Truthmaking: The Truthmaker and Veritas Sequitur Esse Principles

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.

Continue reading “Troubles With Truthmaking: The Truthmaker and Veritas Sequitur Esse Principles”

Divine Simplicity and Truthmakers: Notes on Brower

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.

Three Senses of ‘Fact’

Facts 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.