Defending the Distinctio Realis Against Anthony Kenny

This post defends the real distinction between essence and existence.  For some background, see Geach on the Real Distinction I.

In Aquinas on Being (Oxford 2002, p. 45), Anthony Kenny writes, "Peter's continuing to exist is the very same thing as Peter's continuing to possess his essence; if he ceases to exist, he ceases to be a human being and vice versa."

What Kenny is doing in this passage and the surrounding text is rejecting the real distinction between essence and (individual) existence.  Thus in a cat, a dog, or a man, there is no distinction in reality between its essence or nature and its existence.  In general, for items of kind K, to exist is to be a K.  Thus for Socrates to exist is for Socrates to be a man; for Socrates to continue to exist is for Socrates to continue to be a man; and for Socrates to cease to exist is for Socrates to cease being a man.

The claim that for items of kind K, to exist is to be a K, is to be understood, not as a logical or metaphysical equivalence, but as an identity that sanctions a reduction: the existence of Ks just is (identically) their K-ness.  Individual (as opposed to what Kenny calls specific) existence reduces to nature.  But that is just to say that there is no real distinction in a thing between its individual existence and its nature.  For example, there is no non-notional or real distinction in Socrates between him and his existence. 

I have three objections to this broadly Aristotelian theory of existence according to which individual existence reduces to nature.

An Argument from Contingency

Socrates might never have existed.  If so, and if, for Socrates,
who is a man, to exist = to be a man, then Socrates might never have been a man. This
implies that a certain man, Socrates, might never have been a man, which
is absurd. Therefore, it is not the case that, for Socrates, to exist =
to be a man.

The first premise ought to be uncontroversial.  Speaking tenselessly,
Socrates exists and Socrates is a man.  But there is no logical or
metaphysical necessity that the man Socrates exist.  So, Socrates, though he exists, is
possibly such that he does not exist. (This is equivalent to saying that
he is a contingent being.)   So, given that to exist = to be a man,
the man Socrates is possibly such that he is not a man.  But this
contradicts the fact that Socrates is essentially a man.  For if he is essentially a man, then he is necessarily such that he is a man.  Therefore, it
is not the case that, for Socrates, to exist = to be a man.

Convinced?  Here is another way of looking at it.  I point to Socrates and say, 'This might not have existed.'  I say something true.  But if I point to him and say, 'This might not have been a man,' I say something false.  Therefore, for Socrates, to exist is not to be a man.  Of course, he cannot exist without being a man, and he cannot BE a man without BEING.  But that is not the question.  The question is whether Socrates' being or existence is reducible to his being a man.  I have just shown that it is not. Therefore, there is a real distinction between essence and existence in Socrates.

What holds for Socrates holds for every man.  No man's very existence is reducible to his being a man.  And in general, no individual K's individual existence is reducible to its being a K.

An Argument from Reference

If for Socrates to exist is for Socrates to be a man, then, when he ceases to exist, he ceases to be a man.   But then the proper name 'Socrates' used after the philosopher's death does not refer to a man. But it does refer.  For I can make true statements about Socrates, e.g., 'Socrates taught Plato.'   And the name refers to a man.  When Socrates ceased to exist, 'Socrates' did not commence referring to some other thing, a jelly fish say, or a valve-lifter in a '57 Chevy, or more plausibly, a corpse.  A man taught Plato, not a corpse, or a pile of ashes.  Therefore, it is not the case that for Socrates to exist is for Socrates to be a man.

To understand this argument, please note that it is not being denied that, necessarily, at every time at which Socrates is alive, Socrates exists if and only if he is a man.  Socrates cannot exist without being a man, and he cannot be a man without existing.  What is being denied, or rather questioned, is the identification of Socrates' existing with his being a man.  As I have pointed out many times before, logical equivalences do not sanction reductions. 

A Third Argument

We cannot say that to exist = to be a cat, for then only cats could exist.  We, or rather the Aristotelian,  has to say that, for cats, to exist = to be a cat.  In general, for K-items, to exist = to be a K.  But why stop here?  Can we stop here?  There are no cats in general.  There are only particular cats, any two of which are numerically distinct, and each of which has its own existence. Consider Max and Manny, two cats of my acquaintance.  Each has his own existence, but they share the nature, cat.  So if each exists in virtue of being a cat, then each exists in virtue of being the very cat that it is, which is to say:  for Max to exist is for Max to be Max, and for Manny to exist is for Manny to be Manny.  But then, generalizing, to exist = to be self-identical. The theory we began with collapses into the existence =  self-identity theory.

But while each thing is self-identical  — this is just the Law of Identity — no contingent thing is identical to its own existence.  For if Max were identical to his own existence, then Max would necessarily exist.  If God exists, then God is identical to his own existence.  But Max is not God. Therefore, existence cannot be reduced to self-identity in the case of contingent beings.

Of course, given that contingent things exist, they must be self-identical, and they cannot BE self-identical unless they ARE or exist.  But there might not have been any contingent things at all.  So the existence of a thing cannot be reduced to the self-identity it could have only if it exists.  Get it?  If yes, then you understand the real distinction.

Incarnation, Substance, and Supposit

I am still digesting the discussions in Prague.  In this post I present part of the rambling and over-long paper I delivered, beefed up somewhat, in an attempt to formulate more clearly my main points.


BV reading paper at PragueThe orthodox view of the Incarnation is that God the Son, the second person of the Trinity, the Word or Logos, becomes man in Jesus of Nazareth. Although the Word becomes flesh and dwells among us as we read in the New Testament, the Word does not merely assume a human body, nor does it acquire a universal property, humanity; the Word assumes a particularized or individualized human nature, body and soul. The eternal Word assumes or 'takes on' a man, an individual man, with an intellectual soul and an animal body. And it does this without prejudice to its divine nature.  But now a problem looms, one that can be articulated in terms of the following aporetic tetrad:

 

 


a. A person is a (primary) substance of a rational nature. (Boethian definition)
b. There is only one person in Christ, the Word, the Second Person of the Trinity. (Rejection of the heresy of Nestorius, according to which in Christ there are two persons in two natures rather than one person in two natures, as orthodoxy maintains.)
c. The individual(ized) human nature of Christ is a primary substance of a rational nature.
d. Every (primary) substance is its own supposit, which implies that every substance of a rational nature has its own personhood.

The tetrad is logically inconsistent: any three limbs taken in conjunction entail the negation of the remaining one. Thus the conjunction (a) & (c) & (d) entails the negation of (b). The solution to the tetrad is to deny (d). One does this by maintaining that, while the individualized human nature of Christ is a substance, it is not a substance that supports itself: it has an alien supposit, namely, the Second Person of the Trinity. If the Incarnation as Chalcedonian orthodoxy understands it is actual, then it is possible. If so, alien supposition is possible, which straightaway entails a distinction between substance and supposit: while every substance has or is a supposit, not every substance has or is its own supposit. The individualized human nature of Christ is a supposited substance but is not a supposit.

Given the substance-supposit distinction, we can secure the coherence of both the Incarnation and Trinity doctrines.  Christ is one person (one supposit) in two natures while God is one nature in three persons (three supposits). 


MonokroussosIn correspondence, Dennis Monokroussos writes, "(c) is unacceptable to the orthodox Christian. There are two natures in the Word, but not two primary substances."  I admit that I should have said something in defence of (c).  But I think it is clear that on orthodoxy the Son's assumption of human nature is the assumption of a particular(ized) human nature with all that that entails, namely, a particular human soul and a particular human body with the very materia signata that a human body must have to be a concrete physical entity.  Thus, in the Incarnation  the Son becomes one with a particular human concrete primary substance. It is not the case that the Son assumes human nature in the abstract, whether human nature as a universal or human nature as particularized but taken in abstraction from matter and existence. The Son of God become man, a man, a living, breathing, suffering man mit Haut und Haar, skin and hair. So, contra Monkroussos, there are two distinct primary substances, the Son, and the man Jesus.  There are two individual natures and two individual primary substances.  But there is, on orthodoxy, for soteriological reasons that needn't detain us, only one person, only one supposit of a rational nature.

The distinction between substance and supposit can now be explained as follows.  Since there are primary substances that are their own supposits and primary substances that are not, to be a primary substance and to be a (metaphysical as opposed to logical) supposit are not the same.  The man Jesus is not a primary substance that is its own supposit: it has an alien supposit, namely, the Second Person of the Trinity.  (I borrow the phrase 'alien supposit' from Marilyn McCord Adams.)

The problem that needs solving is this.  If there are two individualized natures, one divine, the other human, and both including rationality, then there are two persons (assuming the Boethian definition of person.)  But orthodoxy requires that there be only one person.  The contradiction is avoided in the time-honored manner by making a distinction, in this case the distinction between substance and supposit.  The distinction allows that an individualized rational nature needn't be its own personal supposit.

The main point of my paper is that the substance-supposit distinction is ad hoc because crafted for the precise purpose of removing theological contradictions.  What makes it ad hoc is that there are no non-theological examples of the distinction. 

You might grant me that the distinction is ad hoc, but then ask: what is wrong with that?  What is wrong with it is that it does not advance the project of understanding how the doctrines in question (Trinity and Incarnation) are  rationally acceptable.  If the theological doctrines are rendered intelligible by a distinction crafted for that very purpose, then  we are turning in a very tight circle:  the doctrines in question are intelligible because the substance-supposit distinction is valid, and the distinction is valid because the doctrines are intelligible. In other words, the doctrines and the distinction stand and fall together. Hence the distinction, which has no application apart from the theological doctrines, does nothing to show how the doctrines are possible or intelligible to our finite, discursive reason.

If my problem is to understand how it is possible that two individualized rational natures be one person, you are not helping me if you make a distinction the validity of which presupposes the possibility in question.

"Look, the Incarnation as orthodoxy understands it is actual; therefore it is possible: esse ad posse valet illatio."

To which I respond: the precise question is whether the doctrine can satisfy a necessary condition of rational acceptability, namely, freedom from contradiction.  For if it is not free of contradiction, then it cannot be actual.  If such freedom is purchased in the coin of a distinction that is as questionable as the doctrine it is meant to validate, then no progress is made. 

Nothing I have said entails that the Incarnation is not actual.  For our inablity to understand how it is possible does not entail that it is not possible.  (Compare: our inability decisively to refute Zeno and demonstrate how motion is possible is consistent with motion's being actual.)  One can make a mysterian move here: the Incarnation (and the Trinity) are actual, but our cognitive architecture is such as to prevent us from ever understanding how they are possible.  What is unintelligible to us, might be intelligible to angelic intellects or to God.

Compare the mysterianism of Colin McGinn.  He maintains that consciousness is wholly natural, a brain-function, but that our cognitive architecture is such as to prevent us from every understanding how it could be a brain function.  That naturalism is true, he takes 'on faith,' relying (apparently) on the magisterium, the teaching authority of Science, while insisting (rightly in my opinion) that it is utterly unintelligible to us how meat could give rise to consciousness.  How could  meat mean?  Gushing over the complexity of brain meat cuts no ice, to mix some metaphors.

On the other hand, if we cannot understand how X is possible, is that not some sort of reason for suspecting that it is not possible?

Some Favorable Citations of Suárez by Schopenhauer

Franciscus_Suarez,_S_I__(1548-1617)During a delightful rural ramble outside Prague, I mentioned to Daniel Novotný that Arthur Schopenhauer had a high opinion of Francisco Suárez (1548-1617).  Daniel said he had heard as much but wondered where Schopenhauer had indicated  his high regard for the scholastic philosopher.  Here are some passages, though I have the sense that I am overlooking a more striking quotation than any of the ones I have just now managed to locate.

1. There is a place in the early On the Four-Fold Root of the Principle of Sufficient Reason where Schopenhauer is speaking of the four causes mentioned by Aristotle at Analyt. Post., II, 11.  Schopenhauer describes the Metaphysical Disputations of Suárez as diesem wahren Kompendio der Scholastik, "this true compendium of scholasticism."  (Ueber die vierfache Wurzel des Satzes vom zureichenden Grunde, Zweites Kapitel, sec. 6, Felix Meiner Verlag, Hamburg, p. 15.)

If the index to Schopenhauer's magnum opus, The World as Will and Representation (two vols., tr. Payne, Dover) is to be trusted, there are exactly six references to Suárez all of them in the first volume.

2."It was known even to the scholastics [note 24: Suarez, Disputationes metaphysicae, disp. III, sect. 3, tit. 3.] that, because the syllogism requires two premisses, no science can start from a single main principle that cannot be deduced further; on the contrary, it must have several, at least two, of these." (p. 63)

3. "Consequently, time and space are the principium individuationis, the subject of so many subtleties and disputes among the scholastics which are found collected in Suárez (Disp. 5, sect. 3)." (p. 113)

4. "That which for man is his unfathomable character, presupposed in every explanation of his actions from motives, is for every inorganic body precisely its essential quality, its manner of acting, whose manifestations are brought about by impressions from outside, while it itself, on the other hand, is determined by nothing outside it, and is thus inexplicable.  Its particular manifestations, by which alone it becomes visible, are subject to the principle of sufficient reason; it itself is groundless.  In essence this was correctly understood by the scholastics, who described it as forma substantialis. (Cf. Suárez, Disputationes Metaphysicae, disp. XV, sect. 1.) (p. 124)


Schopenhauer stamp5. P. 152, fn. 21: "The scholastics therefore said quite rightly: Causa finalis movet non secundum suum esse reale, sed secundum esse cognitum.  See Suárez, Disp. Metaph., disp. XXIII, sect. 7 et 8. ('The final cause operates not according to its real being, but only according to its being as that is known.' [Tr.]"

6. The following excerpt is from "Criticism of the Kantian Philosophy," an appendix to the first volume of WWR, pp. 422-423, emphasis added):

We may regard as the third point the complete overthrow of the Scholastic philosophy, a name by which I wish here to denote generally the whole period beginning with Augustine, the Church Father, and ending just before Kant. For the chief characteristic of Scholasticism is, indeed, that which is very correctly stated by Tennemann, the guardianship of the prevailing national religion over philosophy, which had really nothing left for it to do but to prove and embellish the cardinal dogmas prescribed [pg 013] to it by religion. The Schoolmen proper, down to Suárez, confess this openly; the succeeding philosophers do it more unconsciously, or at least unavowedly. It is held that Scholastic philosophy only extends to about a hundred years before Descartes, and that then with him there begins an entirely new epoch of free investigation independent of all positive theological doctrine. Such investigation, however, is in fact not to be attributed to Descartes and his successors,  but only an appearance of it, and in any case an effort after it. Descartes was a man of supreme ability, and if we take account of the age he lived in, he accomplished a great deal. But if we set aside this consideration and measure him with reference to the freeing of thought from all fetters and the commencement of a new period of untrammelled original investigation with which he is credited, we are obliged to find that with his scepticism still lacking in true earnestness, and thus abating and passing away so quickly and so completely,  he has the appearance of wishing to discard all at once all the fetters of the early implanted opinions belonging to his age and nation; but does so only apparently and for a moment, in order to assume them again  and hold them all the more firmly; and it is just the same  with all his successors down to Kant.

7. "The word 'Idea,' first introduced by Plato, has retained ever since, through twenty-two centuries, the meaning in which he used it; for not only all the philosophers of antiquity, but also all of the scholastics, and even the Church Fathers, and the theologians of the Middle Ages, used it only with that Platonic meaning, in the sense of the Latin word exemplar, as Suárez expressly mentions in his twenty-fifth Disputation, Sect. 1." (p. 488)

Avicenna’s God and the Queen of England

For a long time now I have been wanting to study Frederick D. Wilhelmsen's hard-to-find The Paradoxical Structure of Existence.  Sunday I got lucky at Bookman's and found the obscure treatise for a measly six semolians.  I've read the first five chapters and and they're good.  There is a lack of analytical rigor here and there, but that is par for the course with the old-school scholastic philosophers.  They would have benefited from contact with analytic philosophers.  Unfortunately, most of the analysts of Wilhelmsen's generation were anti-metaphysical, being  logical positivists, or fellow travellers of same, a fact preclusive of mutual respect, mutual understanding, and mutual benefit  Imagine the response of a prickly positivist to one of Jacques Maritain's more effusive tracts.  But I digress.

Wilhelmsen (1923-1996) must have been a successful teacher: he has a knack for witty and graphic comparisons.  To wit:

Avicenna's God might be compared to the Queen of England, to a figurehead monarch.  No law in England has validity unless it bears the Queen's signature.  Until that moment the law is merely "possibly a law."  But Parliament writes the laws and the Queen signs them automatically.  Avicenna's order of pure essence is the Parliament of Being.  Avicenna's God gives the royal signature of existence; but this God, like England's majesty, is stripped of all real power and liberty of action.  (Preserving Christian Publications, 1995, p. 43.  First published in 1970 by U. of Dallas Press.)

 

On Primary Substances and Accidental Unities

I asked genuinely, not rhetorically : What is the difference between an Aristotelian primary substance and a supposit (hypostasis, suppositum)?  The latter figures prominently in the  philosophy of the School, as some call it, and I need to get clear about what supposits are, how they differ from primary substances, and whether there are any non-theological reasons for making the distinction.  In pursuit of the first question I thought it advisable to state what I understand a primary substance to be.  So I wrote:

By 'substance' I mean an Aristotelian primary substance, an individual or singular complete concrete entity together with its accidents.  Among the characteristics of substances are the following: substances, unlike universal properties, cannot be exemplified or instantiated; substances, unlike accidents, cannot inhere in anything; substances, unlike heaps and aggregates, are per se unities. Thus Socrates and his donkey are each a substance, but the mereological sum of the two is not a substance.

I thought that was tolerably clear, but as so often happens, a commenter, ignoring my question, took issue with my set-up.  That is, he questioned my characterization of primary substance. Nothing wrong with that, of course.

In his last comment, John the Astute Commenter wrote,

. . . I *am* saying that Socrates taken together with his accidents is not strictly identical to Socrates taken in abstraction from his accidents. But that point is obvious. What I am adding is this: Socrates taken together with his accidents is not a substance, but an accidental unity of a substance and some accidents. So I deny your claim that "it is only Socrates together with his accidents that is a complete concrete individual primary substance." Socrates together with his accidents may well be the only complete concrete individual, but he is not a primary substance. Nor is he prime matter; as you say, he is a compound of prime matter and substantial form, although in conjunction with his accidents he plays the *role* of matter in the accidental unity between him and his accidents. This would seem to be a debate about Aristotelian exegesis, so I'll leave it there and not continue to hijack your discussion. As I said, I thought the discussion in Z.4-Z.6 would prove relevant to that discussion, but it would seem that I was mistaken on that score, for which I apologize.      

I will now continue in the second person.

No need  to apologize, John.  You have raised an interesting challenge which I ought to be able to meet.  But I want to avoid the labyrinth of Aristotle exegesis to the extent that that is possible, for, lacking as we do the latter-day equivalent of Ariadne's thread,  once we enter we are unlikely ever to find our way out again.

The disagreement seems to be as follows.  I claim that, from a broadly Aristotelian perspective, which is the perspective of Aquinas, Scotus, Ockham and other medievals who speak of substances and supposita, Socrates is a concrete, complete, individual, primary substance at a time t only when taken  together with his accidents at t.  I don't deny that a primary substance can be considered in abstraction from its accidents.  What I am claiming is that in concrete, mind-independent reality Socrates must have some set of accidents or other, and that, only when he is taken together with his accidents is he a primary substance.

Your claim is that Socrates together with his accidents (at a time, presumably, if I may interpret you a bit) is not a primary substance but an accidental unity, a hylomorphic compound the 'matter' of which is Socrates as primary substance and the form of which is something like the conjunction of his accidents.  To put the disagreement as sharply as possible, I am claiming that Socrates counts as a primary substance only when taken together with his accidents, whereas you are claiming that Socrates so counts only when he is not taken together with his accidents, but taken in abstraction from his accidents.  For one your view, Socrates taken together with his accidents is an accidental unity, not a primary substance.  To get beyond a stand-off we need to consider some arguments.

Argument for My View

1. Every primary substance is ontologically basic, where ontologically basic entities are those that exist per se or independently  unlike secondary substances and accidents.

2. Every ontologically basic entity is complete.

Definition:  x is complete =df for every predicate F, either x is F or x is not F.  (This is rough since some restrictions will have to be placed on the range of the predicate F.  But it is good enough for a blog post.)  Thus either Socrates is either seated at t or he is not.  If he is neither seated nor not seated at t, then he is an incomplete object.  But if he is an incomplete object, then he cannot exist.  Now every ontologically basic entity is possibly such that it exists.  Therefore, every ontologically basic entity is complete.  Every ontologically basic entity satisfies the predicate version of the Law of Excluded Middle.  (I don't think the converse is true, but then I am not affirming the converse.)

 Therefore

3. Every primary substance is complete. (from 1, 2)

4. No primary substance minus its accidents is complete.

5. No primary substance minus its accidents is a primary substance. (from 3,4)

Argument for John's View

A. The complete individual Socrates is a hylomorphic compound of matter and form (Premise).
B. The [primary] substance Socrates is the matter of the complete individual Socrates (Premise).
C.  For all x and for all y, if x is a hylomorphic compound and y is the matter of x, then x is not strictly identical to y.
Therefore,
D. The complete individual Socrates is not strictly identical to the [primary] substance Socrates.

Read charitably, John's argument is an enthymeme the suppressed or tacit premise of which is:

S. The complete individual Socrates is an accidental unity of Socrates + his accidents. 

Without suppressed premises (S), (B) is obviously false and the argument is unsound.  But with (S), John's argument begs the question.

Here is another wrinkle.  Some accidents are said to be 'proper.'  These are accidents that are entailed by the nature (essence) of the thing that has the nature, but they are, for all that, accidents.   A proper accident of a substance is one the substance cannot exist without.  To put it paradoxically, a proper accident of a substance is an accident that is 'essential' and therefore not 'accidental' to the substance whose accident it is.  But a better way to put it would be to say that a proper accident, though no part of the essence, is de re necessary to the substance having the essence. 

To adapt an example from John J. Haldane, if my cat Max is lounging by the fire, he becomes warm.  His warmth is an accident but not a proper accident or proprium.  Max is warm both temporarily and contingently in virtue of his proximity to the fire.  But the warmth that flows from his metabolic processes is a proper accident without which Max could not exist. 

Now let's suppose that this distinction is not a mere scholastic Spitzfindigkeit but 'holds water.'  Then, clearly, and pace John, Socrates together with his proper accidents cannot be an accidental unity.  So Socrates as primary substance must include at least his proper accidents.  

What is the Difference Between a Substance and a Supposit?

I need to answer three questions.  This post addresses the first.

1. What is the difference between an Aristotelian primary substance and a supposit (hypostasis, suppositum)?

2. Is there any non-theological basis for this distinction? 

3. If the answer to (2) is negative, is the addition of suppposita to one's Aristotelian ontology  a case of legitimate metaphysical revision or a case of an ad hoc theoretical patch job?  According to Marilyn McCord Adams, "Metaphysical revision differs from ad hoc theoretical patching insofar as it attempts to make the new data systematically unsurprising in a wider theoretical context." ("Substance and Supposits," p. 40)

The First Question

By 'substance' I mean an Aristotelian primary substance, an individual or singular complete concrete entity together with its accidents.  Among the characteristics of substances are the following: substances, unlike universal properties, cannot be exemplified or instantiated; substances, unlike accidents, cannot inhere in anything; substances, unlike heaps and aggregates, are per se unities.  Thus Socrates and his donkey are each a substance, but the mereological sum of the two is not a substance.

Now what is a supposit?  Experts in medieval philosophy — and I am not one of them, nota bene — sometimes write as if there is no distinction between a substance and a supposit.  Thus Richard Cross: "Basically a supposit is a complete being that is neither instantiated or exemplified, nor inherent in another."  ("Relations, Universals, and the Absue of Tropes," PAS 79, 2005, p. 53.) And Marilyn McCord Adams speaks of Socrates and Plato as "substance individuals" and then puts "hypostases or supposits" in apposition to the first phrase. (PAS 79, 2005, p. 15)

My first question, then is:  Is there any more-than-verbal difference between a substance and a supposit, and if so, what is it?

One answer that suggests itself is that, while every substance has a supposit, some substances have alien supposits.  (I take this phrase from Adams, p. 31 et passim.)  A substance has an alien supposit iff it is not its own supposit.  I understand Aristotle to maintain or at least be committed to the proposition that every (primary) substance is essentially its own supposit.  If so, then no substance is possibly such as to have an alien supposit.  If alien supposition is metaphysically or broadly logically possible, however, then we have a ground for a more-than-terminological distinction between substances and supposits.  Whether the converse of this conditional holds is a further question.  For it may be that there is a ground for the distinction even if alien supposition is not possible.

Incarnation, Trinity, and the separated soul's survival between death and resurrection are theological examples of alien supposition.  Whether there are non-theological examples is a further, and very important question, one the answer to which has consequences for questions (2) and (3) above.

The Incarnation is an example of alien supposition as I will now try to explain.

The orthodox view is that God the Son, the second person of the Trinity, the Word, becomes man in Jesus of Nazareth.  Although the Word becomes flesh and dwells among us as we read in the NT, the Word does not merely assume a human body, nor does it acquire a universal property, humanity; the Word assumes a particularized  human nature, body and soul.  The eternal Word assumes or 'takes on' a man, an individual man, with an intellectual  soul and and animal body.  But now a problem looms, one that can be articulated in terms of the following aporetic tetrad:

a. A person is a (primary) substance of a rational nature. (Boethian definition)

b. There is only one person in Christ, the Word, the Second Person of the Trinity.  (Rejection of the heresy of Nestorius, according to which in Christ there are two persons in two natures rather than one person in two natures.)

c. The individual(ized) human nature of Christ is a primary substance of a rational nature.

d. Every (primary) substance is its own supposit, which implies that every substance of a rational nature has its own personhood.

The tetrad is logically inconsistent: any three limbs taken in conjunction entail the negation of the remaining one.  Thus the conjunction (a) & (c) & (d) entails the negation of (b).  The solution to the tetrad is to deny (d).  One does this by maintaining that, while the individualized human nature of Christ is a substance, it is not a substance that supports itself: it has an alien supposit, namely, the Second Person of the Trinity.

If the Incarnation as Chalcedonian orthodoxy understands it is actual, then it is possible.  If so, alien supposition is possible, which straightaway entails a distinction between substance and supposit: while every substance has or is a supposit, not every substance has or is its own supposit.  The individualized human nature of Christ is a supposited substance but is not a supposit.

Let me now say a bit about the Trinity.  Here too a problem looms that can be cast in the mold of an aporetic tetrad.

a. A person is a (primary) substance of a rational nature. (Boethian definition) 

e. There are exactly three divine persons, Father, Son, Holy Ghost .  (Rejection of 'Quaternity')

f.  The individualized nature of God is a primary substance  of a rational nature.

d. Every (primary) substance is its own supposit, which implies that every substance of a rational nature has its own personhood.

Again, the tetrad is inconsistent, and again the solution is to reject (d) by saying that, while the individualized divine nature is a primary substance, it is not one that supposits itself: it has three alien supposits, Father, Son, and Holy Ghost.

The Son is thus the alien supposit of both God's divine nature and Christ's human nature.

My first question concerned the difference between a substance and supposit.  My tentative answer is that  while only substances can be supposits, there are substances that are not their own supposits nor are they supposits for anything else, an example being the individualized human nature of Christ.

Is there a non-theological basis for the distinction?  if not, then the suspicion arises that the distinction is purely ad hoc, crafted to save tenets of orthodox Christian theology.  But this is a question for another occasion.

Trying to Understand Ockham on Supposita in Light of the Incarnation

I am presently working through Marilyn McCord Adams, "Aristotelian Substance and Supposits" (Proceedings of the Aristotelian Society, supplementary volume 79, 2005, 15-72).  The Czech scholastics and sometime MavPhil commenters Novak, Novotny, Vohanka, et al. have kindly invited me to read a paper at a conference on the Trinity in Prague this September and now I am under the gun to write something worth their time and attention. 

Adams writes, p. 39, "(Ockham is willing to conclude that 'A human supposit can be assumed' is true, even though 'A human supposit is assumed' is contradictory; just as 'A white can be black' is true,  even though 'A white is black' is impossible.)"

My present purpose is to make sense of this quotation.

I give 'A white can be black' a de re reading as follows:

1. A white thing is (logically) possibly such that it is not white.

For example, here is a piece of white paper.  Heeding Mick Jagger's injunction, I can paint it black.  But I wouldn't be able to do this if it were not logically possible for this thing that is actually white to be non-white. Although, necessarily, nothing white is non-white, the piece of paper is contingently white.

I give 'A white is black' a de dicto reading:

2. It is not (logically) possible that a white thing be non-white.

On these readings, both (1) and (2) come out true.  (1) is about a thing (res) and ascribes a modal property to it; (2) is about a proposition (dictum) and ascribes a modal property to it.

I give 'A human supposit can be assumed' a de re reading:

3. A human supposit is (logically) possibly such that it is assumed.

From the opening page of Adams' paper, I gather that a supposit is an Aristotelian primary (individual) substance.  So Socrates and Plato are human supposits, while a donkey is a supposit that is not human.  And from her gloss on Boethius, I gather that a person is a primary substance of a rational nature.  So Socrates and Plato are persons while a donkey is not.

Now if God incarnate is one person in two natures, as Chalcedonian orthodoxy has it, then God cannot assume a man.  For a man is a supposit of a rational nature, hence a person.  If God were to assume a man, then God the Son — a person — would be assuming a second person.  But pace Nestorious, there are not two natures and two persons in Christ, but one person in two natures.  So what is assumed in the Incarnation is not a supposit but a particularized human nature.  This is why 'A human supposit is assumed' is contradictory. That is, in de dicto terms,

4. It is (logically) impossible that a human supposit be assumed.

(3) and (4) can both be true.  It is impossible that a human supposit be assumed, for it it were it wouldn't be a supposit; but something that is a human supposit is possibly such that it is assumed. But this has the strange consequence that human supposits are only contingently supposits.  So Socrates is not essentially a supposit,  and if a supposit is a primary substance, the Socrates is not essentially a primary substance.

Thus Adams ascribes to Ockham the view that "The property of being a supposit is not essential to any creatable/created thing, because any creatable/created thing whatever can exist wthout it." (p. 39)  So whatever is a supposit might not have been.  Or rather whatever is a supposit might not have been its own supposit: every supposit is possibly such as to have an 'alien supposit,' namely God.

What is curious here is how very specific theological doctrines are allowed to drive the general ontology. 

Defining ‘Accident’

In a comment thread, I offered this definition of 'accident':

D1. A is an accident of substance S =df (i) A is a particular; (ii) A is dependent for its existence and identity on S; (iii) A is predicable of S.

A particular, by definition, is an unrepeatable item.  So a substance and one of its accidents are both particulars.  To mark the difference between, say, Socrates and his pallor, we can say that the substance is a concrete particular while the accident is an abstract particular.  A universal, by definition, is a repeatable item.

David Brightly responds:

Bill,  I'm worried about condition (iii).  I'm not sure what it means for a particular to be predicable of a substance.  I understand what it means for a universal U to be predicable of a substance s, viz, s might instantiate U.  But since particulars are unrepeatable no substance can instantiate a particular.  For me the notions of universality and instantiation are bound together like opposite poles of a diameter (but perhaps I'm wrong on this).  So 'predicable' applied to particulars must mean something else. Does 'p is predicable of s' simply mean that s 'has' p or that p is 'in' s?   If this is right another question arises.  What work does (iii) do that isn't already built into (i) and (ii) together?  Can you give an example where (i) and (ii) hold for particular p and substance s yet p is not an accident of s because p is not predicable of s?    

When I say 'My coffee cup is blue,' I am predicating a property of my cup.  We predicate properties using predicates.  The predicate is a linguistic item, 'blue.'  If I were speaking German the predicate would be different, 'blau.'  But the property predicated would be the same.  When I predicate in overt English speech, I produce a token of the word-type 'blue.' The property, however, is an extralinguistic item.  I don't produce it. I am just assuming (though I could easily argue for it) that we cannot get by with predicates alone: we need properties.  Properties, or at least some properties, do not depend on the existence of English or any language, not do they depend on the existence of minds.

D2.  F-ness is a property =df F-ness is a predicable entity.

D3. Property F-ness is predicable of individual a =df a is F.

D4. The predicate 'F' is true of a =df a is F.

D5. The indicative sentence 'Fa' is true =df a is F.

Given that there are properties, the question arises whether they are universals  or particulars.  Note that there is nothing in the notion of a property defined as a predicable entity to require that properties be universals.  The definition leaves open whether they are universals or particulars.

If blueness is a universal, and not a constituent of the cup, then we can say that the cup instantiates blueness.

D6. U is a nonconstituent universal =df U is possibly instantiated.

If blueness is a particular, and not a constituent of the cup, and is therefore an accident of the cup, then we can say that blueness inheres in the cup.

D7.  A is an accident of substance S =df A inheres in S.

Note: not 'possibly inheres,' but 'inheres.'  Let us refer to instantiation and inherences as 'ties.'  Obviously, they are very different ties. 

I think these definitions answer Brightly's first question.  If properties are accidents,then properties are predicable without being instantiable. 

The second question concerns the work that (iii) does in (D1).  Could a particular be dependent on a substance without being predicable of it?  I think so.  A bulge in a carpet satisfies the first two conditions but not the third. 

Admittedly, the sentence, 'The carpet is bulged' predicates bulgedness of the carpet.  Bulgedness is a property of the carpet.  Bulgedness, however, is not the same as the bulge in the carpet.  Suppose the carpet has two bulges in it.  Then we have one accident *bulgedness* but two bulges.  The accident is a property of the carpet; the bulges are not.  If Socrates is freckled, then he has many freckles.  But his *freckledness* is one accident. 

On the Nature of Accidents: Objections and Replies

Lukas Novak comments and I respond.

Bill, what follows is what I consider the most important objection against your theory. It seems to me that in order to keep the basic meaning of "universal" and "particular" the following definitions must be assumed:

1. A universal is that which is (truly) predicable of many particular instances.  BV: I agree if 'many' means two or more.  I would add that a universal is a repeatable entity.  But I suspect Novak will not agree with my addition.  I suspect his view is that there are no universals in extramental reality.  Universals are concepts.  Hence I would expect him to balk at 'entity.'

2. X is an instance of a given universal U iff U is predicated of X.  BV: I would say 'predicable' instead of 'predicated.'  Predication is something we do in thought and with words.  A universal can have an instance whether or not any predication is taking place.

3. U1 is subordinate to U2 iff all instances of U1 are instances of U2. This is expressed in language in the form "Every U1 is an U2" – for example, "Every man is an animal".  BV: OK.

4. Every universal has at least some possible instances, unless it is intrinsically inconsistent.  Now whiteness and color are universals. By common sense, color is  superordinate to whiteness. So, every whiteness is a color. Peter's whiteness, on the other hand, is a particular. We must assume that Peter's whiteness is an instance of whiteness, and also of color – since whiteness and color are not intrinsically inconsistent and there are no more plausible candidates to [be] their instances than Peter's whiteness, Bob's blackness etc.  BV: So far, so good!

But here comes the problem. If Peter's whiteness contains whiteness, then Peter's color contains color as its constituent.   BV:  It is true that Peter is white, and it is true that if Peter is white, then he is colored.  But it doesn't follow that there is the accident Peter's coloredness.  Accidents are real (extramental) items.  Peter really exists and his whiteness really exists.  But there is not, in addition to Peter's whiteness, the accident Peter's coloredness. 

Argument 1: It is accidental that Peter is white (or pale) due perhaps to a deficiency of sunlight.  But it is not accidental that Peter is colored.  Peter is a concrete material particular, and necessarily, every such particular has some color or other.  Therefore, being colored is not an accident of Peter. Being colored is essential to Peter.

Argument 2:  The truth-maker of 'Peter is white' is Peter's being white.  But Peter's being white is also the truth-maker of 'Peter is colored.'  Therefore, there is no need to posit in reality, besides Peter's being white, Peter's being colored.

I therefore say that there is no such accident as Peter's being colored.  Consequently, the rest of Novak's reasoing is moot. 

You may perhaps say that Peter's whiteness also contains color because whiteness contains color, but certainly color does not contain whiteness in that case (else they would coincide), and therefore Peter's color does not contain whiteness.

BV: We have to be careful not to equivocate on 'contain.'  In one sense of 'contain,' whiteness contains color or coloredness.  We could call this conceptual inclusion:  whiteness includes coloredness as a part.  In a second sense of 'contain, ' if x is an ontological constituent of y, then y contains x.  Thus the accidental compound [Peter + whiteness]  contains the substance Peter and the accident whiteness, but does not contain them in the way whiteness contains color. 

Consequently, Peter's color is not an instance of whiteness. But this contradicts the fact that Peter's color just is Peter's whiteness, because Peter's whiteness is a color (by def. 3, assuming that whiteness is subordinate to color), and there is no other color in Peter than his whiteness (let us so stipulate).

Put very simply: if Peter's whiteness is just Peter+whiteness+NE+time, then Peter's color is just Peter+color+NE+time, but then Peter's whiteness is not Peter's color. But this is wrong since whiteness is subordinate to color and so any instance of whiteness must be identical to an instance of color.    

BV: Novak's argument could be put as follows:

a. If Peter's whiteness is a complex having among its constituents the universal whiteness, then Peter's coloredness is a complex having among its constituents  the universal coloredness.  

b. These are numerically distinct complexes.

Therefore

c. Peter's whiteness is not Peter's coloredness.

d. (c) is false.

Therefore

e. Peter's whiteness is not a complex.

By my lights, the argument is unsound because (a) is false as I already explained: there is no such complex as Peter's coloredness.

Substance and Accident: The Aporetics of Inherence

1.If substance S exists and accident A exists, it does not follow that A inheres in S.  An accident cannot exist without existing in some substance or other, but if A exists it does not follow that A exists in S.  If redness is an accident, it cannot exist except in some substance; but if all we know is that redness exists and that Tom exists, we cannot validly infer that Tom is red, i.e., that redness inheres in Tom.

2. So if A inheres in S, this inherence  is something in addition to the existence of S and the existence of A.  There is more to Tom's being red than Tom and redness.  We must distinguish three items: S, A, and the tie of inherence.  S and A are real (mind-independent) items.  Presumably the tie of inherence is as well.  Presumably we don't want to say that A inheres in S in virtue of a mental synthesis on our part.

3. My question: what is inherence?  What is the nature of this tie?  That the accident of a substance is tied to it, and indeed necessarily tied to it, is clear.  The nature, not the existence, of the tie is what is in question.

4. Inherence is not an external relation on pain of Bradley's regress. 

5. Inherence is not identity.  This was argued earlier.

6.  A is not a part of S.  This too was argued earlier.

7.  Is S a part of A?   For Brentano, an accident is a whole a proper part of which is the substance itself — but there is no other proper part in addition to the substance!  Every part of the accident is either the substance or a part of the substance.  This I find bizarre.  Suppose a chocolate bar is both brown and sticky.  What distinguishes the brownness accident from the stickiness accident if both have as sole proper part the chocolate bar?  (For a very clear exposition of Brentano's theory, see R. Chisholm, "Brentano's Theory of Substance and Accident" in his Brentano and Meinong Studies.)

8.  I made a similar suggestion, namely, that S is a part of A, except that I assayed accidents as akin to facts.  This has its own difficulties.

9. Here is Dr. Novak's scholastic suggestion:

I take the connexion between S and A to be that of a receptive potency and its corresponding act. S contains an intrinsic relation of "informability" to all its possible accidents, and A contains an intrinsic relation of informing toward S. Together these two constitute an accidental whole of which they are not just parts but complementary intrinsic causes: S is its material cause and A its formal cause. They are unified in jointly intrinsically co-causing the one accidental composite.

This implies that we must distinguish among three items: the substance (Peter, say), his accidents (being hot, being sunburned, being angry, being seated etc.) and various accidental wholes each composed of the substance and one accident. 

So it seems that Novak is committed to accidental compounds such as [Socrates + seatedness] where Socrates is the material cause of the compound and seatedness the formal cause.  Moreover, the substance has the potentiality to be informed in various ways, and each accident actualizes one such potentiality.

Recall that what we are trying to understand is accidental change.  And recall that I agree with Novak that we cannot achieve a satisfactory analysis in terms of just a concrete particular, universals, and an exemplification relation.  If Peter changes in respect of F-ness, and F-ness is a universal, then of course there are two times t and t* such that Peter exemplifies F-ness at t but does not exemplify F-ness at t*.  But this is not sufficient for real accidental change in or at Peter.  For the change is not relational but intrinsic to Peter. So, whether or not we need universals, we need a category of entities to help us explain real change.  As Novak appreciates, these items must be particulars, not universals.

What we have been arguing about is the exact nature of these particulars.  I suggested earlier that they are property-exemplifications.  Novak on the basis of the above quotation seems to be suggesting that they are accidental compounds.

Suppose Socrates goes from seated to standing to seated again.  In this case of accidental change we have one substance, three accidents, and three accidental compounds for a total of seven entities.  Why three accidents instead of two?  Because the second seatedness is numerically different from the first.  (Recall Locke's principle that nothing has two beginnings of existence.)  And because the second accident is numerically distinct from the first, the first and the third accidental compound are numerically distinct.

When Socrates stands up, [Socrates + seatedness] passes out of being and [Socrates + standingness] comes into being and stays in being until Socrates sits down again.  So these accidental compounds are rather ephemeral objects, unlike Socrates.

Perhaps they help us understand change.  But they raise their own questions.  Socrates and seated-Socrates are not identical.  Presumably they are accidentally the same.  Is accidental sameness the same as contingent identity?  What are the logical properties of accidental sameness?  Is an Ockham's Razor type objection appropriately brought against the positing of accidental compounds?

Accidents of a Substance: Simple or Complex?

Dr. Novak is invited to tell me which of the following propositions he accepts, which he rejects, and why:

0. I have reservations about an ontology in terms of substances and accidents, but anyone who adopts such an ontology needs to provide a detailed theory of accidents.  This post sketches a theory. It has roots in Aristotle, Brentano, Chisholm, Frank A. Lewis, and others who have written about accidental compounds or accidental unities. 

1. Accidents are particulars, not universals, where particulars, unlike universals, are defined in terms of unrepeatability or uninstantiability.

2. The accidents of a substance are properties of that substance.  Tom's redness, for example, is a property of him.  That there are properties is a datanic claim; that some of them are accidents is a theoretical claim. Accidental properties are those a thing need not have to exist.  I am using 'property' in a fairly noncommittal way.  Roughly, a property is a predicable entity.

3. It follows from (1) and (2) that some properties are particulars. 

4. A substance S and its accident A are both particulars.  S is a concrete particular while A is an abstract particular.  For example, Tom is a concrete particular; his redness is an abstract particular.  It is abstract because there is more to Tom than his being red.

5. Accidents are identity- and existence-dependent upon the substances of which they are the accidents.  An accident cannot be the accident it is, nor can it exist, except 'in' the very substance of which it is an accident.  Accidents are not merely dependent on substances; they are dependent on the very substances of which they are the accidents.  'In' is not to be taken spatially but as expressing ontological dependence.  If the being of substances is esse, the being of accidents is inesse.  These are two different modes of being.

6. It follows from (5) that accidents are non-transferrable both over time and across possible worlds.  For example, Peter's fear cannot migrate to Paul: it cannot somehow leave Peter and take up residence in Paul.  Suppose Peter and Paul are both cold to the same degree.  If coldness is an accident, then each has his own coldness.  The coldnesses are numerically distinct.  They cannot be exchanged in the way jackets can be exchanged.  Suppose Peter and Paul both own exactly similar jackets.  The two men can exchange jackets.  What they cannot do is exchange accidents such as the accident, being jacketed.  Each man has his own jacketedness.

Now for a modal point.  There is no possible world in which Peter's coldness exists but Peter does not.  Peter's coldness does not necessarily exist, but it is necessarily such that, if it does exist, then Peter exists.  And of course the accident cannot exist except by existing 'in' Peter.  So we can say that Peter's coldness is tied necessarily to Peter and to Peter alone: in every possible world in which Peter's coldness exists, Peter exists; and in no possible world does Peter's coldness inhere in anything distinct from Peter.  The same goes for Peter's jacketedness.  Peter's jacket, however, is not necessarily tied to Peter: it can exst without him just as he can exist without it.  Both are substances; both are logically capable of independent existence.

The modal point underins the temporal point.  Accidents cannot migrate over time because they are necessarily tied to the substances of which they are the accidents.

7.  It follows that the superficial linguistic similarity of 'Peter's jacket' and 'Peter's weight' masks a deep ontological difference: the first expression makes reference to two substances while the second makes reference to a substance and its accident.

8 If A is an accident of S, then A is not related to S by any external relation on pain of Bradley's regress.

9 If A is an accident of S, then A is not identical to S.  For if A were identical to S, then A would be an accident of itself.  This cannot be since 'x is an accident of y' is irreflexive.

10.  If A is an accident of S, then A cannot be an improper or proper part of S.  Not an improper part for then A would be identical to S.  Not a proper part of S because accidents depend on substances for their identity and existence.  No proper part of a whole, however, depends for its existence and identity on the whole: it is the other way around: wholes depend for their identity and existence on their parts.

11.  How then are we to understand the tie or connection between S and A?  This is the connection expressed when we say, for example, that Socrates is white.  It is an intimate connection but not as intimate as identity.  We need a tie that is is less intimate than identity but more intimate than a relation. 

We saw in #10 that an accident cannot be a part (ontological consituent) of its substance.  But what is to stop us from theorizing that an accident is a whole one of the proper parts of which is the substance?  This is not as crazy as it sounds.

12.  Let our example be the accidental predication, 'Socrates is seated.'  Start by giving this a reistic translation:  'Socrates is a seated thing.'  Take the referent of 'Socrates' to be the  substance, Socrates.  Take the referent of 'a seated thing' to be the accidental compound Socrates + seatedness.  This compound entity has two primary constituents, Socrates, and the property of being seated.  It has as a secondary constituent the tie designated by '+.'  Now read 'Socrates is a seated thing' as expressing, not the strict identity, but the accidental sameness of the two particulars Socrates and Socrates + seatedness.  Thus the 'is' in our original sentence is construed, not as expressing instantiation, or identity, but as expressing accidental sameness.   Accidental sameness ties the concrete particular Socrates to the abstract particular Socrates + seatedness.

13.  The accidental compound is an extralinguistic particular having four constituents:  a concrete particular, a nexus of exemplification, a universal, and a temporal index.  Thus we can think of it as the thin fact of Socrates' being seated.  'Thin' because not all of Socrates' properties are included in this fact.

14. My suggestion, then, is that accidents are thin facts.  To test this theory we need to see if thin facts have all the features of accidents.  Well, we have seen (#1) that accidents are particulars.  Thin facts are as well.  This is a case of what Armstrong calls the Victory of Particularity: a particular's exemplification of a universal is a particular.

Accidents are properties and so are thin facts: both are ways a substance is. Both are predicable entities. 'Socrates is seated' predicates something of something.  On the present theory it predicates an abstract particular of a concrete particular where the predicative tie is not the tie of instantiation (exemplification) but the tie of accidental sameness.

Accidents are abstract particulars, and so are thin facts.  They are abstract because they do not capture the whole reality or quiddity of the substance. 

Accidents depend on substances for their identity and existence.  The same is true of thin facts.  A fact is a whole of parts and depends for its identity and existence on its parts, including the substance. 

Accidents are non-transferrable.  The same holds for thin facts. 

Accidents are necessarily tied to the substances of which they are accidents.  The same goes for thin facts: the identity of a thin fact depends on its substance constituent.

An accident is not identical to its host substance.  The same is true of thin facts. Socrates' being seated is not identical to Socrates. 

An accident is not externally related to its substance.  The same is obviously truth of thin facts. 

Accidents are not parts of substances.  The same holds for thin facts. 

Finally, no accident has two beginnings of existence.  If Elliot is sober, then drunk, then sober again, his first sobriety is numerically distinct from his second: the first sobriety does not come into existence again when our man sobers up.  The same is true of thin facts.  Elliot's beng sober at t is distinct from Elliot's being sober at t*.

15.  On the above theory, an accident is a complex. It follows that an accident is not a trope, pace Dr. Novak.  Tropes are very strange animals.  A whiteness trope is an abstract particular that is also a property and is also ontologically simple.  An example is the particular redness of Tom the tomato.  I can pick out this trope using 'the redness of Tom and Tom alone' where the 'of' is a subjective genitive.  But note that  the 'of Tom and Tom alone' has no ontological correlate.  The trope, in itself, i.e., apart from our way of referring to it, is simple, not complex.  And yet it is necessarily tied to Tom. This, to my mind, makes no sense, as I explained in earlier posts.  So I reject tropes, and with them the identification of accidents with tropes.

My conclusion, then, is that IF — a big 'if' — talk of substances and accidents is ultimately tenable and philosophically fruitful, THEN accidents must be ontologically complex entities.  Anyone who endorses accidents is therefore a constituent ontologist. 

Garrigou-Lagrange on Thomas on the Divine Persons as Subsistent Relations

What follows is the whole of Chapter 16 of Reginald Garrigou-Lagrange's Reality: A Synthesis of Thomistic Thought.  My critical comments are in blue.

Chapter 16: The Divine Persons

Person in general is a being which has intelligence and freedom. Its classic definition was given by Boethius: Person is an individual subject with an intellectual nature. [548] Hence person, generally, is a hypostasis or a suppositum, and, specifically, a substance endowed with intelligence. [549] Further, since person signifies substance in its most perfect form, it can be found in God, if it be stripped of the imperfect mode which it has in created persons. Thus made perfect, it can be used analogically of God, analogically, but still in its proper sense, in a mode that is transcendent and pre-eminent. Further, since revelation gives us two personal names, that is, the Father and the Son, the name of the third person, of the Holy Spirit, must also be a personal name. Besides, the New Testament, in many texts, represents the Holy Spirit as a person. [550].

Now, since there are three persons in God, they can be distinct one from the other only by the three relations which are mutually opposed (paternity, and filiation, and passive spiration): because, as has been said, all else in God is identical.

Comment: The persons are distinct, numerically distinct.  And they are really distinct: distinct in reality, not merely relative to our thought.  What makes the persons distinct given that each is God and there is only one God?  What is the principium individuationis within the Godhead?  The relations between them. Thus the Father is distinct from the Son because the Father stands in the paternity relation to the Son but not vice versa.  It is difficult to see, however, how a relation between x and y can constitute the numerical difference between x and y.  I should think that the numerical difference between x and y is a logically prior condition of their standing in any relation.  So I am already having difficulty following the Thomist account. 

These real relations, since they are subsistent (not accidental): and are, on the other hand, incommunicable (being opposed): can constitute the divine persons. In these subsistent relations we find the two characteristics of person: substantiality and incommunicability.

Comment:  If the relations were accidental, i.e., accidents, then they would be dependent in their being on something else, and the objection I just made would hold.  So they are said to be subsistent, i.e., substances in their own right.  And since they are 'incommunicable,' they have two characteristics of persons.  The problem, however, is to understand how the relata of the relations (of paternity, filiality, etc.)  can be (identical to) the relations.  Paternity and filiality are different relations.  So if the Father = paternity, and the Son = filiality, then it is easy to see how the Father and the Son are distinct. But what is difficult if not  impossible to understand is how the Father could be identical to paternity and the Son to filiality.

A divine person, then, according to St. Thomas and his school, is a divine relation as subsistent. [551] Elsewhere the saint gives the following definition: [552] A divine person is nothing else than a relationally distinct reality, subsistent in the divine essence.

These definitions explain why there are in God, speaking properly, not metaphorically, three persons, three intellectual and free subjects, though these three have the same identical nature, though they understand by one and the same intellective act, though they love one another by one and the same
essential act, and though they freely love creatures by one and the same free act of love.

Comment:  So the Father loves the Son and the Son loves the Father by the same act of loving.  But acts are individuated by their objects.  So loving the Father is a different act than loving the Son.  It cannot be the same act on pain of incoherence.  But Aquinas says that they love by the same act.  He has to say this because he cannot admit that there are three separate unities of consciousness in the Godhead.  For this would entail that there are three Gods.

Hence, while we say: The Father is God, the Son is God, the Holy Spirit is God, we also say: The Father is not the Son, and the Holy Spirit is not the Father, and the Holy Spirit is not the Son. In this sentence the verb "is" expresses real identity between persons and nature, and the negation "is not" expresses the real distinction of the persons from each other.

Comment:  This is contradictory as I have explained many times before, assuming that 'nature' refers to an individual existing nature.  If the 'is' is taken to be the 'is' of identity, logical inconsistency is unavoidable.  If F = G and S = G. then F = S, by the symmetry and transitivity of identity.    You cannot consistently with that go on to say that it is not the case that F = S.

These three opposed relations, then, paternity, filiation, and passive spiration, belong to related and incommunicable personalities. Thus there cannot be in God many Fathers, but one only. Paternity makes the divine nature incommunicable as Father, though that divine nature can still be communicated to two other persons. To illustrate. When you are constructing a triangle, the first angle, as first, renders the entire surface incommunicable, though that same surface will still be communicated to the other two angles; and the first angle will communicate that surface to them without communicating itself, while none of the three is opposed to the surface which they have in common.

Comment: Garrigou-Lagrange is fudging now.  He says that the opposed relations belong to related personalities.  This is not what he said before.  Before he said that the persons just are subsistent relations.  Well, which is it?  Are the relations identical to persons, or do the relations belong to persons?  This fudge is to be expected since the doctrine attempts to articulate discursively a reality that lies beyond the discursive intellect, a reality that is mystical.

Here appears the profundity of Cajetan's [553] remark: the divine reality, as it is in itself, is not something purely absolute (signified by the word "nature") nor something purely relative (signified by the name "person"): but something transcending both, something which contains formally and eminently [554] that which corresponds to the concepts of absolute and relative, of absolute nature and relative person. Further, the distinction between nature and the persons is not a real distinction, but a mental distinction (virtual and minor): whereas the distinction between the persons is real, by reason of opposition. On this last point theologians generally agree with Thomists.

Comment:  Cajetan's remark is profound.  The divine reality must be absolute, not relative.  But it must also in some sense be personal since the reality of persons surpasses that of every other category of entity.  But persons are relative to each other.  So the divine reality must in some sense be multi-personal and yet absolute. As I see it, theology issues in 'necessary makeshifts' that try to articulate in coherent discursive terms a trans-discursive reality.  So it is no surprise that every  doctrine of the Trinity issues in problems, questions, and outright inconsistencies.  The doctrines point beyond themselves to a reality that cannot be grasped in discursive terms.

This is why doctrinal fights are absurd.  Some doctrines are better than others, but in the end all are untenable.  The divine reality is not a doctrine!

Gilson and the Avicennian-Thomistic Common Natures Argument

Chapter III of Etienne Gilson's Being and Some Philosophers is highly relevant to my ongoing discussion of common natures.    Gilson appears to endorse the classic argument for the doctrine of common natures in the following passage (for the larger context see here): 

Out of itself, animal is neither universal nor singular.  Indeed, if, out of itself, it were universal, so that animality were universal qua animality, there could be no singular animal, but each and every animal would be a universal. If, on the contrary, animal were singular qua animal, there could be no more than a single animal, namely, the very singular to which animality belongs, and no other singular could be an animal. (77)

This passage contains two subarguments.  We will have more than enough on our plates if we consider just the first.  The first subargument, telescoped in the second sentence above, can be put as follows:

1. If animal has the property of being universal, then every animal would be a universal.  But:

2. It is not the case that every animal is a universal.  Therefore:

3. It is not the case that animal has the property of being  universal.

This argument is valid in point of logical form, but are its premises true?  Well, (2) is obviously true, but why should anyone think that (1) is true?  It is surely not obvious that the properties of a nature must also be properties of the individuals of that nature. 

There are two ways a nature N could have a property P.  N could have P by including P within its quidditative content,  or N could have P by instantiating P.  There is having by inclusion and having by instantiation.

For example, 'Man is rational' on a charitable reading states that rationality is included within  the content of the nature humanity.  This implies that everything that falls under man falls under rational.  Charitably interpreted, the sentence does not state that the nature humanity or the species man is rational.  For no nature, as such, is capable of reasoning.  It is the specimens of the species who are rational, not the species.

This shows that we must distinguish between inclusion and instantiation.  Man includes rational; man does not instantiate rational

Compare 'Man is rational' with 'Socrates is rational.'  They are both true, but only if 'is' is taken to express different relatons in the two sentences.  In the first it expresses inclusion; in the second, instantiation.  The nature man does not instantiate rationality; it includes it.  Socrates does not include rationality; he instantiates it.

The reason I balk at premise (1) is because it seems quite obviously to trade on a confusion of the two senses of 'is' lately distinguished.  It confuses inclusion with instantiation.  (1) encapuslates a non sequitur.  It does not follow from a nature's being universal that everything having that nature is a universal.  That every animal would be a universal would follow from humanity's being universal only if universality were included in humanity.  But it is not:  humanity instantiates universality.  In Frege's jargon, universality is an Eigenschaft of humanity, not a Merkmal of it.

Since the first subargument fails, there is no need to examine the second.  For if the first subargment fails, then the whole Avicennian-Thomist argument fails.   

More on the Status of Thomistic Common Natures

This is proving to be a fascinating topic.  Let's push on a bit further.

Aquinas says that any given nature can be considered in three ways: in respect of the esse it has in concrete singulars; in respect of the esse it has in minds; absolutely, in the abstract, without reference to either mode of esse.  The two modes are esse naturale (esse reale) and esse intentionale.  We can speak of these in English as real existence and intentional existence. 

According to Schopenhauer, the medievals employed but three examples: Socrates, Plato, and an ass.  Who am I to deviate from a tradition at once so hoary and noble?  So take Socrates.  Socrates is human.  The nature humanity exists really in him, and in Plato, but not in the ass.  The same nature exists intentionally in a mind that thinks about or knows Socrates.  For Aquinas, there are no epistemic deputies standing between mind and thing: thought reaches right up to and grasps the thing itself.   There is an isomorphism between knowing mind and thing known.  The ground of this isomorphism is the natura absoluta, the nature considered absolutely.  Call it the common nature (CN).  It is so-called because it is common to both the knower and the known, informing both, albeit in different ways.  It is also common to all the  singulars of the same nature and all the thoughts directed to the same sort of thing.  So caninity is common to all doggy thoughts, to all dogs, besides linking the doggy thoughts to the dogs.

My concern over the last few days has been the exact ontological status of the CN. 

This morning, with the help of Anthony Kenny, I realized that there are four possible views, not three as I stated earlier:

A. The CN really exists as a separate, self-subsistent item.

B. The CN exists only intentionally in the mind of one who abstracts it from concrete singulars and mental acts.

C. The CN has Meinongian Aussersein status: it has no mode of being whatsoever, and yet is is something, not nothing.  It actually has properties, but is property-incomplete (and therefore in violation of LEM) in that it is neither one nor many, neither universal nor particular, neither intentionally existent nor really existent.

D. The CN exists intentionally in the mind of God, the creator.

(A) is a nonstarter and is rejected by both me and Lukas Novak.  (B) appears to be Novak's view.  (C) is the interpretation I was tentatively suggesting.  My thesis was that the CN must have Aussersein status, but then it inherits — to put it anachronistically — all the problems of Meinongianism.  The doctor angelicus ends up with  Meinongian monkey on his back.

Let me now try to explain why I reject (B), Novak's view, and incline toward (C), given that (A) cannot possibly be what Aquinas had in mind. 

Consider a time t before there were any human animals and any finite minds, and ask yourself: did the nature humanity exist at t?  The answer has to be in the negative if there are only two modes of existence, real existence in concrete singulars and intentional existence in finite (creaturely) minds.  For at t there were no humans and no finite minds.  But surely it is true at t that man is rational, that humanity includes rationality.  This implies that humanity at t cannot be just nothing at all.  For if it were nothing at all at t, then 'Man is rational'' at t would lack a truth-maker.  Furthermore, we surely don't want to say that 'Man is rational' first becomes true when the first human being  exists.  In some sense, the common nature must be prior to its existential realization in concrete singulars and in minds.  The common nature cannot depend on these modes of realization.  Kenny quotes Aquinas (Aquinas on Being, Oxford 2002, p. 73):

Socrates is rational, because man is rational, and not vice versa; so that even if Socrates and Plato did not exist, rationality would still be a characteristic of human nature.

Socrates est rationalis, quia home est rationalis, et no e converso; unde dato quod Socrates et Plato non essent, adhuc humanae naturae rationalitas competeret. (Quodl. VIII, I, c, 108-110)

Aquinas' point could be put like this.  (i) At times and in possible worlds in which humans do not exist, it is nevertheless the case that rationality is included in humanity, and (ii)  the metaphysical ground of humans' being rational is the circumstance that rationality is included in humanity, and not vice versa.

Now this obviously implies that the CN humanity has some sort of status independent of real and intentional existence.  So we either go the Meioningian route or we say that CNs  exist in the mind of God.  Kenny:

Aquinas' solution is to invoke the divine mind.  There are really four, not three ways of considering natures: first, as they are in the mind of the creator; second, as they are in the abstract; theitrs, as they are in individuals; and finally, as they are in the human mind. (p. 74)

This may seem to solve the problem I raised.  CNs are not nothing because they are divine accusatives.  And they are not nothing in virtue of being ausserseiend. This solution avoids the three options of Platonism, subjectivism (according to which CNs exist only as products of abstraction), and Meinongianism.

The problem with the solution is that it smacks of deus ex machina: God is brought in to solve the problem similarly as Descartes had recourse to the divine veracity to solve the problem of the external world.  One ought to be forgiven for thinking that solutions to the problems of universals, predication, and intentionality ought to be possible without bringing God into the picture.  But this is a separate can of worms. 

Lukáš Novák on Common Natures

The following is a comment by Dr. Novak on an earlier post about Stanislav Sousedik's Thomist theory of predication.  That post has scrolled off into archival oblivion, so I reproduce the comment here and add some comments in blue.

  ………………….

What is, for me, most striking about Bill's troubles with Sousedík's elaboration of the Thomistic theory of predication is first, that he seems to spell out precisely the questions that I regard as the most fundamental ones in all this business, and second, that these are precisely the questions that had stirred the development of the more and more elaborate late-scholastic theories of universals (or predication, for this is one and the same problem for the scholastics). In this comment, I will try just to sketch the direction in which I think the answers can be found; perhaps to elaborate on some points later.

BV:  I am encouraged by LN's judgment that I have stumbled upon the most fundamental questions despite my lack of deep familiarity with late Scholasticism.

Now the core problem of course is the problem of common natures. I am afraid that there is a slight misunderstanding about the meaning of this term, and Sousedík's choice of his term – "absolute subject" – just makes it worse. It is common to talk of a common or "absolute" nature as though it were an entity or item beside universals and individuals, indeed, "jenseits von Sein und Nichtsein". Truly it seems absurd to postulate such an entity which clearly violates the principle of excluded middle.

However, despite the manner of talk of the scholastics and of Sousedík, one must resist considering an "absolute nature" as an item or entity. There is no such entity called "absolute nature". There are particulars which exist really, and there are universals which exist intentionally. And they have something in common — the "objective content" which exists both really, as individualised and
identified with the particular(s), and intentionally, as abstracted and universalised, as a universal. This "something in common" is called the "common nature", but it is not something over and above the universal or the particular. We should not say – and we do not say, properly – that there is some "absolute nature". The nature can only be absolutely considered, that is, considered under a kind of "second order abstraction" – viz. under abstraction from the fact whether it is or is not considered under abstraction from individuality.

BV:  I note that LN uses 'item' and 'entity' interchangeably.  That is not the way I use the terms.  For me, an entity is anything that has being or existence, anything that has esse.  'Nonexisting entity' is therefore a contradiction in terms.  My use of 'item,' however, is ontologically noncommital.  Accordingly, 'nonexisting item' is not a contradiction in terms.   I am pleased to find that I use the term in exactly the same way that Daniel D. Novotny does in his paper, "Scholastic Debates About Beings of Reason" in Metaphysics: Aristotelian, Scholastic, Analytic (Ontos Verlag, 2012), p. 26.  'Item' as I use it is the most inclusive term in the philosophical lexicon.  Anything to which one can refer, anything that one can single out in thought, anything that can be counted as one, whether it exists or not, is an item.  Nonexistent objects, impossible objects, incomplete objects — all are items. 

Now the common nature, the nature considered absolutely, i.e., considered apart from both real existence and intentional existence and from the accidents that accrue to it when it exists either really (in things) or intentionally (in the mind), is clearly not an entity, but it is an item.  Or so I maintain.  It is not an entity because it has neither esse naturale nor esse intentionale.  Here LN and I agree.  But it is an item because we have singled it out in thought and are talking about it.  After all, the common nature is not nothing.  It is a definite item.  Take felinity considered absolutely.  It is distinct from humanity considered absolutely.  It is not the felinity in my cat, nor the felinity in my mind when I think about the cat.  It is a selfsame item that can exist in either way, or in both ways.  And is is a different selfsame item than the common nature humanity that can exist either in particular humans or in minds or both.

LN says that the common nature " is not something over and above the universal or the particular."  If this means that the common nature felinity is not an entity in addition to really existing particular cats and the intentionally existing universal, then I agree.  It is not an entity because it has no mode of being.  But surely the selfsame felinity that is in my cat and in my mind when I think about the cat, precisely because it is common, cannot be identical to the felinity really existing in cats or the felinity intentionally existing in minds thinking about cats.  So in that sense it is indeed an item (not an entity) "over and above the universals or the particular."

The intended meaning of the saying that this "absolute nature" is neither one nor many, neither real nor intentional etc. is not that there is in fact some primitive constituent item out there devoid of all these properties. That would indeed be absurd. The meaning is that the nature – which in fact is
both
many [namely according to its real existence in particulars] and one [according to its intentional existence in a universal] (note that this is not a contradiction!) — this very nature does not possess any of these two modes of being and the consequent properties "of itself", that is, necessarily, i.e.

it can be consistently grasped without them or "absolutely"; and only insofar as it is thus grasped, we can say that it is neither this nor that. Just like a chemist can grasp water as water, that is, according to the properties that belong to water on the basis of its chemical constitution, and disregard whether it is for example cold or hot. He would say that water as water is neither hot nor cold, even neither hot nor not-hot – without thereby necessarily postulating some item called "absolute water" over and above the individual instances of water of various temperatures.

BV:  What the foregoing implies, however, is that the common nature exists only in the mind of one who abstracts both from real existence and from intentional existence.  The crucial phrase is, "only insofar as it is thus grasped, we can say that it is neither this nor that."  This implies that the common nature is only as grasped by a mind.  That in turn implies that common natures have esse after all — in contradiction to the theory.  It also implies that common natures are universals — again in contradiction to the theory.

In this connection it is important to note that Jacques Maritain, no slouch of a Thomist, speaks of THREE esse's. (Degrees of Knowledge, p. 129, n. 115)  He calls them esse naturae [sic], esse intentionale, and esse cognitum seu objectivum.  The latter mode of being is the mode of being of common natures.

My cat exists outside the mind as a concrete singular.  Its mode of existence is esse naturae, or esse naturale. Now my mind, in knowing the cat, does not become a cat.  So the felinity in my mind when I know the thing before me as a cat cannot exist in my mind in the same way that it exists in the cat outside my mind.  Rather, it exists in the mode of esse intentionale which implies that it is abstract and universal as opposed to concrete and singular. Now suppose I abstract from both of these modes of existence. So abstracting, I focus upon the common nature.  About this common nature, Maritain says that it too is "abstract and universal." (Ibid.) 

The fact that Maritain speaks of a third mode of esse points up the problem I am having with common natures.  What Maritain says strikes as reasonable.  But it contradicts what LN says is the Thomist doctrine.  The official doctrine is that the common nature is neither universal nor particular.  Maritain, however, quite reasonably says that the common nature is abstract and universal.

In other words: you cannot start with "absolute natures" as some elementary items and then try to build the common-sense particulars out of them. Quite the other way around: you take the familiar particulars, then you become aware that you are able to grasp them by means of universal concepts, and then you proceed to identify what the universal concept has "taken" from the particular (its
"objective content") and what not (the properties of concepts /like being universal/ as opposed to their notes). That which the universal concept has captured of the particular is the "common nature"; it is something existing as really identified to the particular (or else it could not have been abstracted
from there) – therefore it cannot, of itself, require universality. But it is also something capable of existing as identified to a universal concept; therefore it cannot, of itself, be incompatible with universality.

So, a common nature is not some elementary ontological item, a philosophical "atom"; it is an abstraction of an abstraction.

BV:  LN's phrase 'objective content' is a felicitous one.  The common nature is the objective content of my subjective concept of a cat, say, but it is also to be found in the cat existing in the mode of esse naturale.  Now the dispute, as I see it, is about the exact status of these objective contents or common natures.  I can think of three possibilities:

A. The common nature really exists.
B. The common nature does not exist, really or intentionally, but has Meinongian Aussersein status.  (This seems to be Novotny's view.  See p. 34 of his article cited above.)
C. The common nature exists intentionally, not really, as an object of a double abstraction.

Now both LN and I reject (A).  I opt for (B).  Accordingly, my thesis is that the doctrine of common natures inherits — to put it anachronistically! — all of the problems of Meinong's doctrine of Aussersein. LN seems to be opting for (C).  The trouble with(C) is that it contradicts Thomist doctrine according to which the common nature is neither universal nor particular, neither one nor many, and neither really nor intentionally existent.  For on (C), the common nature, as Maritain said, is "abstract and universal."  It is also one not neither one nor many, and intentionally existent, not neither really nor intentionally existent.

There is more to LN's comment, but the rest will have to be addressed in a separate post or posts.