Toward a First Cause

Book Kappa (XI) of Aristotle’s Metaphysics briefly reviews material from books Beta (III), Gamma (IV), and Epsilon (VI) about the aims of the ultimate inquiry into first things that is still to be pursued. It also incorporates a brief review of his discussions in Physics books II, III, and V about what motion and change are. Both parts of the presentation here add more explicit hints that we will be looking for something that is both separate and unmoved. These hints are the book’s main interest.

Perhaps surprisingly given its review of content from the Physics, Metaphysics Kappa makes no reference to the detailed argument in Physics book VIII that there is a first unmoved mover of all things, or to the related background about unmoved things in Physics book VII. The beginning of Physics book VIII refers back to “our course on physics”, which is ambiguous, but could imply that it was written later, and possibly after Metaphysics Kappa, which would explain why book VIII’s argument about the first mover is not mentioned here.

“But neither ought one to set down the kind of knowledge being sought as concerning the causes spoken of in the writings about nature, since it is not about that for the sake of which (for this sort of cause is the good, and this belongs among actions and things that are in motion, and it moves things first — for that is the sort of thing an end is — but a thing that first moves them is not present among immovable things). And in general, there is an impasse whether the knowledge now being sought is about perceptible independent things at all, or not, but about other things. For if it is about others, it would be about either the forms or the mathematical things, but it is apparent that there are no forms…. But neither is the knowledge being sought about mathematical things, nor is it a knowledge of perceptible independent things, since they are destructible” (ch. 1, Sachs tr., pp. 205-206).

This passage is interesting in a couple of ways. The knowledge being sought in the inquiry to be conducted is now more definitely said to be not about perceptible independent things, not about mathematical things, and not about Platonic forms.

He also points out that what he calls physics is concerned primarily with what he calls sources of motion and change. It does not address questions about the good or that-for-the-sake-of which, except in an incidental way. But in Parts of Animals book I, he clearly says that in the overall scheme of things, the good and that-for-the-sake-of-which are more primary than sources of motion. The implication here in Metaphysics Kappa is that the inquiry being prepared for will address them in their own right.

“Also, ought one to set down anything besides the particular thing or not, and is the knowledge being sought about particulars?” (ch. 2, p. 207).

For Aristotle, no universal is an independent thing. The knowledge being sought does seem to be about particulars.

“And there is besides an impasse, that all knowledge is of universals and of the suchness of things, but thinghood does not belong to universal” (p. 208).

Knowledge, however, is concerned with universals. This was the major impasse remaining at the end of book Zeta (VII).

“Now since the knowledge that belongs to the philosopher concerns being as being universally and not in relation to a part, … if it is meant in accordance with something common, it would be subject to one knowledge. It seems to be meant in the way that has been spoken of, in just the way that medical and healthy are meant” (ch. 3, p. 209).

He refers back to the discussion of how the saying of being in the other categories points back to the saying of substance-essence-thinghood.

“Since all being is meant in accordance with something that is one and common, even though it is meant in a number of ways, … such things are capable of being subject to one knowledge” (p. 211).

This enables us to say that there is after all one knowledge that can be said to be of being as such. It will address the proper saying of substance-essence-thinghood directly, and the proper saying of being in the other categories in a derivative way.

“And since the mathematician uses common notions in a particular way, it would also belong to the primary sort of philosophy to study the things that govern these” (ch. 4, p. 211).

He seems to assert in passing that first philosophy includes what we would call the foundations of mathematics. Elsewhere he mentions that the first principles of mathematics are similarly supposed to be applicable to all things. But mathematics does not address what things in general are in their own right.

“And it is the same way also with the knowledge about nature as with mathematics, for physics studies the attributes and sources of beings insofar as they are in motion and not insofar as they are, (but we have said that the primary sort of knowledge is about these things to the extent that the things underlying them are beings, but not insofar as they are anything else). For this reason one must set down both this sort of knowledge and the mathematical sort as parts of wisdom” (pp. 211-212).

Neither mathematics nor what Aristotle calls physics addresses substance-essence-thinghood, or what things are in their own right. It is left to first philosophy to do this, as well as to inquire into the ultimate principles that underlie mathematics and physics.

Just as in book Gamma (IV), Aristotle’s claim that there is after all a knowledge that applies to all being as such, and that the philosopher is the one who has it, is immediately followed by a somewhat lengthy expression of outrage against those who claim a right to contradict themselves, or deny that there is any such thing as contradiction. Just as in book Gamma, the concerns he expresses are about dialogue, the understanding of meaning, and the possibility of sound reasoning.

This makes perfect sense when we recall that Aristotle has consistently treated being in a transitive way, as always being this or being that; and as intimately involved with saying, especially the saying of what things properly are in their own right. He has at the same time treated saying as meaningful saying, intimately involved with reasoning. So we should not be surprised when it turns out that the knowledge that applies to all being as such has to do with fundamental principles and presuppositions of reasoning and the understanding of meaning.

“Now those who are going to participate in a discussion with each other must in some way understand what they say…. It is necessary then for each of the words to be intelligible and to mean something, and not many things but only one, but if it does mean more than one thing, it is necessary to make clear to which of these one is applying the word. So the one who says ‘this is and is not’ denies that which he says, and so he denies that the word means what it means, which is impossible” (ch. 5, p. 212).

Then he again expresses outrage at what he takes to be Protagoras’ claim that truth is entirely subjective. If this were the case, there would be no being as Aristotle understands it. Being “in its own right” is discursively communicable intelligibility.

“Something closely resembling these things being discussed is what was said by Protagoras, for he said that a human being is the measure of all things, meaning nothing else than that what seems so to each person is solidly so” (ch. 6, p. 213).

“And since it is necessary for each sort of knowledge to know in some way what something is, … one must not let it go unnoticed in what way the one who studies nature needs to define it and how he needs to get hold of the articulation of the thinghood of things” (ch. 7, p. 217).

The inquiry to be pursued here is implicitly presupposed by physical inquiries. To the extent that one of these two, taken in itself, governs the other, taken in itself, the inquiry to be pursued here is more primary than physics (or mathematics).

“Now the study of nature is about things having a source of motion within themselves, while mathematics is contemplative and concerns something that remains the same, but is not separate. Therefore, about the sort of being that is separate and motionless, there is another sort of knowledge that is different from both of these, if there is any such independent thing — I mean something separate and motionless — which is just what we shall try to show. And if there is any such nature among beings, that would be where the divine also is, and this would be the primary and most governing source of things. It is clear, then, that there are three classes of contemplative knowledge: physics, mathematics, and theology” (ibid).

What he calls nature is a source of motion within something “as itself” (all other sources of motion he calls potentialities).

Now he explicitly mentions that he intends to show that there is a kind of being that is both separate and motionless, as he understands these two terms. He says that if there is such a thing, it will be “where the divine is”, and it will be “the primary and most governing source of things”. First philosophy will therefore be alternately characterized as theology.

He returns to the impasse about knowledge in first philosophy. “One might be at an impasse whether the knowledge of being as being ought to be set down as universal or not” (p. 218). Knowledge is supposed to be concerned with universals, but we are seeking an independent thing, and no logical universal is an independent thing.

In the earlier suggestion of a solution to this impasse, he re-interpreted the many ways in which being is said for the different categories, re-describing them as multiple derivative meanings pointing to one primary meaning. This seemed to eliminate the need to refer to a universal that abstracts over the ways being is said for the different categories.

Now he complements this by introducing a new way of speaking universally, which does not depend on abstraction. Instead, universality can be achieved by referring to a concrete thing or things that is or are concretely the cause or causes of all things, and that therefore is or are prior to all the rest.

“So if natural independent things are primary among beings, then also physics would be the primary sort of knowledge; but if there is another nature and independent thing that is separate and motionless, it is necessary that the knowledge of it be other than and prior to physics, and universal by being prior” (ibid).

Everything that Aristotle calls independent, he also calls separate. Also equivalent to these is calling something a this. As noted earlier, the challenge is to find something that is independent and separate and a this, but that is also unmoved in his sense. The impasse about universality will be conclusively resolved by finding something that is universal not in the sense of being abstract, but rather, as he says, universal in the sense of being “prior” to all other things, because it is a cause for all of them.

“And that, of what is so incidentally, there are not causes and sources of the same sort as there are of what is so in its own right, is clear, for then everything would be by necessity” (ch. 8, p. 219).

As he said in book Zeta (VII), the contingency of incidental being must have contingent, incidental causes. Now he relates this more specifically to a consideration of that-for-the-sake-of-which.

“That which is for the sake of something is present in things that happen by nature or as a result of thinking, but it is fortune when any of these happen incidentally, for just as being is in one way in its own right and in another way incidental, so also with cause. And fortune is an incidental cause in the things that are by choice, among those that happen for the sake of something, for which reason fortune and thinking concern the same things, since there is no choice apart from thinking…. And since nothing incidental takes precedence over things in their own right, neither then do incidental causes, so if fortune or chance is a cause of the heavens, intelligence and nature have a prior responsibility” (pp. 219-220).

There is such a thing as fortune or things happening by chance, but “intelligence and nature have a prior responsibility”, just as what things are in their own right takes precedence over things that are the case incidentally.

“Something is in one way only as at-work, in another way as in potency, and in another way both in potency and at-work, and again in one way as a being, in another as a so-much, in other ways in the rest of the categories; and there is no motion apart from things, since something changes always according to the categories of being, and there is nothing common to these which is not within a single category” (ch. 9, p. 220).

Every change is understood by Aristotle as a change with respect to one of the categories. What is common to these is not an abstraction, but the single concrete sense for one category (substance-essence-thinghood), from which the senses for the other categories are derived.

Here he mentions being in the sense of potentiality and actuality, before he mentions being in the senses of the categories. Next, he summarizes the Physics‘ account of motion. “Motion” is the (incomplete) actualization of a potentiality, where actuality or being-at-work or fulfillment would be its complete actualization.

“So the being-at-work-staying-itself [entelechy, identified by Aristotle with actuality or being-at-work or fulfillment] of what is in potency, whenever it is at-work as a being-at-work-staying-itself, not as itself but as movable, is motion” (p. 221).

“And the reason for motion’s seeming to be indefinite is that it is not possible to place it as a potency or as a being-at-work of beings, for neither is what is capable of being so-much necessarily in motion, nor what is actively so-much; and motion seems to be a certain sort of being-at-work, but incomplete, and the reason is that the potency of which it is the [complete] being-at-work is itself incomplete. And for this reason it is hard to grasp what it is, for it is necessary to place it either as a deprivation or as a potency or as an unqualified being-at-work, but none of these seems admissible; so what remains is what has been said, both that it is a being-at-work and that it is the sort of being-at-work that has been described, which is difficult to bring into focus but capable of being” (p. 222).

Motion is an incomplete actuality or being-at-work or fulfillment. This is a rather subtle thought, the grasping of which requires that we first understand that-for-the-sake-of-which, actuality, and potentiality. (Motion in the modern sense, on the other hand, has no teleological significance. It is entirely reducible to measurable quantities. It it not that one of these is “right” and the other “wrong” — they are two different concepts, grounded in different kinds of explanation.)

“And it is clear that motion is in the movable thing, for it is the being-at-work-staying-itself of this by the action of the thing capable of causing motion. And the being-at-work of the thing capable of causing motion is not different, since it is necessary that it be the being-at-work-staying-itself of both; for a thing is capable of causing motion by its potency and is in motion by being-at-work, but it is capable of being-at-work upon the thing moved, so that the being-at-work of both alike is one, just as the interval from one to two and from two to one is the same, and the uphill and downhill road, though the being of them is not one, and similarly also in the case of the thing causing motion and the thing moved” (ibid).

Motion for Aristotle is always said to be in the thing moved, not in the mover. The potentialities of mover and moved with respect to any motion are said to be one.

“Now it is not possible for the infinite to be something separate…. Also, how could the infinite admit of being something in its own right, if number and magnitude, of which the infinite is an attribute, do not?…. And it is clear that it is not possible for there to be an infinite actively…. [T]hat there is no infinite among perceptible things is clear…. [N]or could there be a number that is separate and infinite, since a number or that which has a number is countable…. In general it is impossible for there to be an infinite body and a place for bodies” (ch. 10, pp. 222-224).

As he argues in greater detail in the Physics, there is no “separate” or “actual” infinite.

“[T]here is something that is moved primarily on account of itself, and this is what is moved in its own right. And this is the same way also with the thing that causes motion, for it does so either incidentally, or on account of a part, or in its own right” (ch. 11, p. 225).

There is something that is a mover in its own right.

“But the forms and the attributes…, such as knowledge and heat, are motionless; it is not heat that is a motion but the process of heating. Change that is not incidental is not present in all things but in contraries and what is between the and in contradictories, and belief in this comes from considering examples” (ibid).

For Aristotle, it is only composite things (i.e., those he understands as formed from material) that are subject to motion and change. In his sense, for instance, a composite thing may undergo a process of becoming warmer, and that would be a kind of motion of the thing. But heat itself is not a composite thing. (That heat itself does not move would be true even under the modern interpretation of it as the amount of molecular motion within a material.)

“A thing that changes does so either from one underlying thing to another, or from what is not a subject to what is not another subject, or from what is not a subject to that subject (and by ‘subject’ I mean what is declared affirmatively), so that there must be three kinds of change, since that from what is not one subject to what is not another subject is not a change, for they are neither contraries nor is there a contradiction, because there is no opposition between them” (ibid).

“And since every motion is a change, and the kinds of change mentioned are three, but those that result from coming-into-being or destruction are not motions, and these are the changes between contradictories, it is necessary that change from one subject to another be the only sort of change that is motion” (p. 226).

A “subject” here is just some thing that underlies something else that has the character of an attribute. I would infer that the change from one subject to another that is spoken of here is a reference to the way that something that is potentially X becomes actually X by the action of something else that is already actually X, as the parent of a child and the Platonic “model” of an artifact were said to be.

“So if the ways of attributing being are divided into thinghood, quality, place, acting or being acted upon, relation, and quantity, there are necessarily three kinds of motion, with respect to the of-what-sort, the how-much, and the place. There is no motion with respect to thinghood, because nothing is contrary to an independent thing, nor of relation …, nor is there a motion of acting and being acted upon, nor of moving and being moved, because there is not a motion of a motion or a coming into being of coming into being, or generally a change of a change…. For every motion is a change from one thing to another, and this is also with coming into being and destruction, except that these are changes into one sort of opposites, while motion is a change into another sort” (ch. 12, pp. 226-227).

The modern concept of acceleration is not a “change of a change”, but a change in a rate of change. Surprisingly, he does not seem to mention change with respect to place, or locomotion, here.

“Also, it would go to infinity if there were to be a change of a change and a coming into being of coming into being…. And since of infinite things there is no first one, there would not be a first becoming, and therefore no next one either, and then nothing would either come into being or be moved or change” (pp. 227-228).

Here as elsewhere, Aristotle is anxious to avoid any form of infinite regress. Showing that there is a separate, unmoved, everlasting thing that moves others is what will enable him to do that. That will be the main task of book Lambda (XII).

Next in this series: Pure Entelechy

One, Many, Same, Different

Book Iota (X) of Aristotle’s Metaphysics extends the discussion in book Delta (V) of things said in many ways, going into detail on what makes things one, many, the same, or different. These are extremely important matters for any sound reasoning, though somewhat technical in nature. It also contains Aristotle’s sharp critique of the saying of Protagoras, “Man is the measure of all things”.

“[T]here are four senses in which something is said to be one primarily and in its own right, rather than incidentally” (ch.1, p. 185).

As to the first, “oneness belongs to what is continuous, either simply or, especially, by nature, and not by contact or a binding cord (and of these that is more so one and is more primary of which the motion is more indivisible and simple)” (ibid).

Continuity in a material is the lowest degree of something being one in its own right. That which is materially united by contact or by any artificial means would not be one in its own right.

As to the second, “[oneness] belongs still more to what is whole and has some form and look, especially if something is of that sort by nature and not by force, as those things are that are so by means of glue or bolts or being tied with a cord, but rather has in itself that which is responsible for its being continuous. And something is of this sort if its motion is one and indivisible in place and time; and so it is clear that, if something that has a source of motion that moves it in the primary kind of the primary class of motions (by which I mean a circular type of change of place), this is one magnitude in the primary sense” (ibid).

Being a whole is a higher degree of unity than being materially continuous. The association of circular motion with a strong unity is relevant to the upcoming argument in book Lambda (XII) about the first cause.

“So some things are one in this way, insofar as they are continuous or whole, but others are one because the articulation of them is one, and of this sort are those things of which the thinking is one, and this in turn is of this sort if it is indivisible, and an act of thinking is indivisible if it is of something indivisible in form or in number” (ibid, emphasis added).

As to the third, “a particular thing is one by being indivisible in number” (ibid, emphasis added).

These would include all the independent and non-independent things that were extensively discussed in book Zeta (VII).

He continues, “but that which is one by means of intelligibility and knowledge is indivisible in form, so [fourth] what is responsible for the oneness of independent things would be one in the primary sense” (ibid, emphasis added).

I expect that this last kind will turn out to be the first cause.

“But it is necessary to notice that one must not take the sorts of things that are spoken of as one as being meant in the same way as what it is to be one, or what the articulation of it is” (p. 186).

This is analogous to the distinction between saying something about something in general, and saying what something is, also discussed in book Zeta. He illustrates this below, with the example of fire.

“The same thing would also be the case with ‘element’ and ’cause’, if one had to speak about them, distinguishing the things to which the words are applied, and giving a definition of the words. For there is a sense in which fire is an element… and a sense in which it is not; for being fire is not the same thing as being an element…. And it is that way also with ’cause’ and ‘one’ and all such things, and this is why being one is being indivisible, just exactly what it is to be a this, separate on its own in either place or form or thinking, or to be both whole and indivisible, but especially to be the primary measure of each class of things, and, in the most governing sense, of the class of things with quantity, for it has come from there to apply to other things” (ibid).

Being one in the third sense above (being a particular thing) is now said to be “just exactly what it is to be a this“. This foreshadows an extensive one-to-one mapping he will develop below, between all the ways of the saying of being he elaborates in book Delta (V), and the ways of the saying of oneness.

He goes on to speak at some length about measures, which we would call units of measurement.

The most important point is that “a measure is always the same kind of thing as what it measures, for the measure of magnitudes is a magnitude, and in particular, that of length is a length, of breadth a breadth, of spoken sounds a spoken sound, of weight a weight, and of numerical units a numerical unit” (p. 188, emphasis added).

The distinction he makes here tracks perfectly with the way that different types, dimensions, and variables are handled separately in the operations defined by modern mathematics.

“And we speak of knowledge or sense perception as a measure of things for the same reason, because we recognize something by means of them, although they are measured more than they measure” (ibid).

The simultaneously humorous and serious caveat that “they are measured more than they measure” means that knowledge and perception are constrained by reality. More precisely, they are involved in mutual dependencies with the realities of things that they at once measure and are measured by.

“And Protagoras says a human being is the measure of all things, as if he were saying that a knower or perceiver were the measure, and these because the one has knowledge and the other perception, which we say are the measures of their objects. So while saying nothing, these people appear to be saying something extraordinary” (ibid).

Aristotle, at the end of his discussion of measure (longer and more detailed than included here), refers to Protagoras’ famous saying, commonly quoted as “Man is the measure of all things”. With uncharacteristic sharpness, he calls this “saying nothing”. Why? This seems worthy of a short digression.

Protagoras was a prominent Sophist, who appears in Plato’s dialogue of the same name. He wrote a controversial treatise entitled Truth, which began with the sentence, “Of all things the measure is man: of those that are, that they are; and of those that are not, that they are not”. Plato and Aristotle both took Protagoras to be asserting a kind of individualist relativism. Reportedly, the skeptic Sextus Empiricus also read him this way. Plato took him to deny any objective reality. Aristotle in book Gamma (IV) shows rare outrage at his other reported claim that “it is not possible to contradict”. I didn’t mention him by name in my account, but Aristotle names him there as well.

Aristotle implies it is a bit more plausible to much more specifically say that knowledge and perception are measures of things, but even that only with the caveat that really “they are measured more than they measure”.

But why go on to add with such sharpness that Protagoras is “saying nothing”? I suspect the answer may lie with the other part of Aristotle’s interpretation: “as if he were saying that a knower or perceiver were the measure, and these because the one has knowledge and the other perception”.

I’m inclined to think Aristotle would regard it as outrageous to transfer what may (ambiguously) be said of specific knowledge and perception, to an unqualified saying about one who is said to possess knowledge and perception in general.

Aristotle has just given an account of what a measure is, that it must be of the same kind as the things that it measures. How could one thing (“man”) possibly be the measure of countless things that have no common measure? That does sound like nonsense. Any measure has to be of one kind or another. Modern mathematics agrees that kinds, dimensions, variables can only be collapsed together if very specific criteria are met.

What Aristotle emphasizes here about knowledge and perception — that they have a remarkable involvement with things that also measure them — seems very consistent with his general views. But the way Protagoras implicitly presents “man” as their possessor makes the possessor stand apart from the mutual involvement with things that Aristotle emphasizes, in which knowledge and perception and things measure one another. In splendid isolation from all constraints of real measure, the possessor seems to have arbitrary freedom to claim whatever she wishes.

I intuitively associate Protagoras with the attitude that what’s true for you is true for you, but what’s true for me is true for me, so don’t tell me I’m wrong, and I won’t tell you you’re wrong! Then and now, such sentiments had and have a superficial appeal, because they seem to express a live-and-let-live attitude, which seems to be a good thing. But the way it is expressed, in fact it completely undermines any possibility of meaningful dialogue, which undermines reason itself, which undermines the very thing that makes us human.

Back to the text, Aristotle turns to illustrating the one-to-one mapping I mentioned between sayings about being and sayings about oneness.

“[S]ince not even being itself is an independent thing as though it were some one thing capable of having being apart from the many beings (since it is common to them), other than solely as a thing attributed to them, it is clear that oneness is not a universal either” (ch. 2, p. 189).

For Aristotle, neither Being nor the One is an independent thing in its own right. He will nonetheless argue in book Lambda (XII) that there is a first cause for all things.

“What’s more, what is true about oneness must hold true in a similar way for all things; and being and oneness are meant in equally many ways” (ibid).

“And the same account applies also to the other classes of things, … and [if] in all instances it is the case both that the number is a number of something and that oneness is some particular one thing, and oneness itself is not the thinghood of it, then it must also be the same way with independent things” (p. 190).

“[S]o too in thinghood, one independent thing is oneness itself; and that oneness in a certain way means the same thing as being, is clear from the fact that it follows along equally through the ways being is attributed, and is not any one of them (for instance, it is not what anything is, nor of-what-sort anything is, but stands similarly toward them just as being does), and from the fact that no other thing is predicated in ‘one human being’ over and above what is predicated in ‘human being’ (just as being is not something over and above what and of-what-sort and how-much a thing is), or in ‘being one’ over and above being any particular thing” (ibid).

Saying something is one human being is the same as saying it is a human being. In book Zeta, he analogously said that “good” and “being good” are the same.

Things are often one in one respect, but many in another. The one and the many are “contraries, and not opposed as contradictories or as what are called relative terms” (ch. 3, p. 190). Next he turns to the meanings of same, other, and different.

“Since the same is meant in more than one way, in one way we sometimes speak of what is the same in number, but we say it in another sense if things are one in meaning as well as in number, as you are one with yourself in both form and material, and in another again if the articulation of the primary thinghood of things is one, for instance in the way equal straight lines are the same, … but in these equality is oneness” (p. 191).

In Fregean terms, things are what Aristotle calls one in number when they have the same reference. They are what Aristotle calls one in meaning when they have the same sense. Frege illustrates how they differ by saying that the morning star and the evening star have the same reference, but different sense.

“Things are alike if, not being simply the same, nor without difference in their composite thinghood, they are the same in form, just as a larger square is like a smaller one…. Other things are alike if they have the same form, and have it in them to be more and less, but are neither more nor less than one another. Other things, if they are the same attribute, and one in form, say white, more and less intensely, people say are alike because their form is one. Other things are alike if they have more things the same than different, either simply or superficially, as tin is like silver insofar as it is white, and gold is like fire insofar as it is yellow and fiery-red” (ibid).

“So it is clear also that other and unlike are meant in more than one way” (ibid).

“[B]ut difference is something other than otherness…. [W]hat is different from something is different in some particular respect, so it must necessarily be the same in some respect as that with which it differs” (p. 192).

For Aristotle, calling two things different presupposes that they can be meaningfully compared in the first place. This is not the case for things that are just “other” than one another. Black is different from white; they are both colors. But an apostrophe is just other than an aardvark.

This is followed by a ten-page discussion of technical details of contrariety, which I will mostly skip. Contrariety supports a definitive ruling out of some things based on other things. This has great importance for reasoning.

Incidentally, Aristotle explains why there is no essential difference between human beings with different colorings.

“And since one sort of thing is articulation while another is material, those contrarieties that are in the articulation make a difference in species, but those that are in what is conceived together with the material do not make such a difference. This is the reason that whiteness of a human being, and blackness, do not make such a difference…. For there is a difference between a white human being and a black horse, but that is not insofar as the one is white and the other is black” (ch. 9, pp. 201-202).

Finally, he argues that destructibility and indestructibility inhere in things by necessity. Whether a thing is destructible or not depends strictly on what genus of things its species belongs to.

“[A] destructible thing and an indestructible thing must be different in genus…. Therefore it is necessary that destructibility either be the thinghood or be present in the thinghood of each destructible thing; and the same argument also concerns the indestructible, since both are among things present by necessity” (ch. 10, p. 202).

Next in this series: Toward a First Cause

Gueroult on Descartes

Having been greatly impressed by Martial Gueroult’s two extant volumes on Spinoza’s Ethics, I wanted to challenge myself to get some sense of the detail of his magisterial Descartes selon l’order des raisons (1968). Sometimes called a “structuralist” in the history of philosophy, Gueroult systematically developed the fine grain of argument in Spinoza’s demonstrations, and here he does the same for Descartes’ Meditations.

Beginning with a distinction between understanding and explanation, Gueroult announces his intention to subordinate the former to the latter (p. 9). Here “understanding” is a sort of intuitive or imaginative grasp of the whole, whereas “explanation” develops the details in their interrelation. I am reminded of Paul Ricoeur’s great theme of the value of the “long detour”.

Gueroult says Descartes viewed “isolated thoughts” with a sort of horror. This is already interesting. I have long puzzled over Brandom’s treatment of Descartes as a proto-inferentialist, when Descartes has seemed to me on the contrary like an arch-representationalist who plucked “truths” out of thin air. Both Gueroult and Brandom take Descartes’ “method” very seriously. Brandom’s work previously set me on a path that led me to radically change my views of Kant and Hegel. Perhaps I’ll have to revise or modulate some of my judgments of Descartes as well.

For Gueroult, it is objective structures of argument that distinguish philosophy from poetry, spiritual or mystical elevation, general scientific theory, or mere metaphysical opinions. He says that even while “excommunicating” the history of philosophy, Descartes nonetheless formulated a good principle of reading, rejecting eclectic tendencies to pull out this or that idea from a great author, in favor of a systematic approach. Descartes is quoted saying the “precious fruit” must come from “the entire body of the work” (p. 11). This is an important complement to his one-sided insistence elsewhere on beginning with what is simple. However, Descartes is also quoted insisting that all conflicts of interpretation are due to shallow eclecticism and deficiency of method, and that wherever there is such a conflict, one side must certainly be wrong (pp. 13-14).

This insistence on univocal interpretation is one of my big issues with Descartes. It works well for things like geometry, but much less well for sorting out arguments about power or potentiality, for instance. Pushing univocal interpretation as far as it can go can be a very valuable exercise, but as soon as we leave pure mathematics, it also shows its limits. I think that while mathematical necessity can be understood as something we “ought” to recognize for a multitude of reasons, sound ethical judgment must in principle reach beyond what can be expressed with certainty by formal equations. Much as I admire a good mathematical development, I therefore think ethics is more fundamental for us humans than mathematics, and philosophy is more ethical than mathematical.

According to Gueroult, the seminal idea guiding all of Descartes’ work is that human knowledge has unavoidable limits due to the limits of thought, but within those limits it is capable of perfect certainty (p. 15). For Descartes, we do not know thought by things, but we know things by thought. As a matter of principle, we should doubt everything that does not come from the certainty of thought. We are thus offered a stark division between that which is supposed to be certain beyond question, and that which is vain and useless. I think this results both in a treatment of too many things as certain, and in a premature dismissal of aspects of human reality that are uncertain, but nonetheless have real value.

I agree that mathematical reasoning is capable of (hypothetical) certainty, but I contend that we humans live mainly on middle ground that is neither certainty nor mere vanity.

Aristotelian Demonstration

Demonstration is literally a showing. For Aristotle, its main purpose is associated with learning and teaching, rather than proof. Its real objective is not Stoic or Cartesian certainty “that” something is true, but the clearest possible understanding of the substantive basis for definite conclusions, based on a grasping of reasons.

Aristotle’s main text dealing with demonstration, the Posterior Analytics, is not about epistemology or foundations of knowledge, although it touches on these topics. Rather, it is about the pragmatics of improving our informal semantic understanding by formal means.

For Aristotle, demonstration uses the same logical forms as dialectic, but unlike dialectic — which does not make assumptions ahead of time whether the hypotheses or opinions it examines are true, but focuses on explicating their inferential meaning — demonstration is about showing reasons and reasoning behind definite conclusions. Dialectic is a kind of conditional forward-looking interpretation based on consequences, while demonstration is a kind of backward-looking interpretation based on premises. Because demonstration’s practical purpose has to do with exhibiting the basis for definite conclusions, it necessarily seeks sound premises, or treats its premises as sound, whereas dialectic is indifferent to the soundness of the premises it analyzes in terms of their consequences.

We are said to know something in Aristotle’s stronger sense when we can clearly explain why it is the case, so demonstration is connected with knowledge. This connection has historically led to much misunderstanding. In the Arabic and Latin commentary traditions, demonstration was interpreted as proof. The Posterior Analytics was redeployed as an epistemological model for “science” based on formal deduction, understood as the paradigm for knowledge, while the role of dialectic and practical judgment in Aristotle was greatly downplayed. (See also Demonstrative “Science”?; Searching for a Middle Term; Plato and Aristotle Were Inferentialists; The Epistemic Modesty of Plato and Aristotle; Belief; Foundations?; Brandom on Truth.)