“Relation” in Aristotle’s Categories

Something that gets translated as “relation” (ta pros ti, literally “the toward something”) is one of the ten categories Aristotle discusses in the Categories, which was traditionally treated as a kind of introduction to Aristotelian logic, and indeed to Aristotle’s thought as a whole.

In the order of the sciences laid out by al-Farabi, for instance, I believe the Categories is treated as a source of primitive definitions along the lines of the definitions with which the systematic development of Euclid’s Elements of Geometry begins. This is to substitute a very different — straightforwardly deductive — method and pedagogy for Aristotle’s own more fluid approach. See Demonstrative “Science”?.

Plato and Aristotle devoted extraordinary attention to questions of definition, and in doing so greatly devalued the importance of any assumed definitions.

Aristotle always recommended that we begin with that is more familiar and close at hand, and then expect our beginning to be substantially modified as we move toward what is clearer and more intelligible. This is the original model for Hegel’s logical “movement”.

The “what is toward something” of the Categories is quite simply not equivalent to more modern notions of “relation” — neither to its use in Kant and Hegel, nor to its mathematical use. Whether in Kant or Hegel or in mathematics, relation in the modern sense is fundamentally bi-directional. If a has a relation R to b, then b by definition has a relation R-inverse to a. In the same sense in which Hegel points out that the positive and negative signs on numbers assigned to measure, e.g., physical forces, can be systematically reversed without changing the physical meaning, any directionality in relations in the modern sense is a superficial matter of setup, and not anything deeply meaningful.

On the other hand, Aristotle’s “what is toward something” has an irreducibly directed (i.e., unidirectional) character. If x is oriented “toward” y, it does not follow that y must have a corresponding inverse orientation toward x. The semantics of x‘s “being toward” y imply a material dependency of x on y, and thus implicitly a kind of subordination of x to y.

This is certainly an important kind of construct to have in our toolbox for explaining things, but it simply is not what is meant when Kant says we know phenomena in a purely relational way, or when Hegel adds that essence is purely relational. It would also be a serious error to assume that according to Aristotle, the subordinate or subordinating aspect of the pros ti category would apply to the different concept of “relation” used by Kant and Hegel (or to mathematical relations).

Once again, this whole confusion arises due to the influence of the Latin translation, in this case of pros ti by relatio. For Latin readers, relatio had not yet acquired the importantly different meanings that “relation” has in Kant and Hegel, or in the mathematical theory of relations pioneered by C. S. Pierce and Ernst Schröder. Thus its use did not create serious misunderstanding. But for a general modern audience, “relation” is a terrible choice to translate pros ti, for the reasons mentioned.

I think that Aristotle does also implicitly operate with a concept like that of “relation” in Kant and Hegel, but he does not give it a name, and it is certainly not the pros ti of the Categories. Rather, it comes into play in the way Aristotle uses notions like unity, diversity, identity, and difference.

Disambiguating “Power”

As Aristotle might remind us, “power” is said in many ways. Each of these is different.

There is the power that Plato suggests as a distinguishing mark of being in the Sophist. There is the greater power he attributes to the Good more ancient than being. There is Aristotelian potentiality, which I normally prefer to distinguish from “power” altogether, but is referred to by the same Greek word. There is the related notion of power as capacity, of the sort developed by Paul Ricoeur. There is efficient causality, itself said in many ways. There is physical force. There is legal or political authority. There are repressive apparatuses. There is the positive, distributed social power involved in the formation of selves, discussed by Michel Foucault. There is the artistic and inventive power with which Nietzsche was especially concerned. There are claims of supernatural power beyond possible human understanding.

I haven’t yet found where in her French text Gwenaëlle Aubry clarifies how her identification of Aristotle’s god with pure act — involving neither Aristotelian potentiality nor Platonic power — goes together with her identification of the efficacy of the pure act with a final causality realized through “potentiality as tendency toward the end”. I think this has to do with the pure act’s role as an end or attractor, so that the potentiality in question belongs to the things it attracts, rather than to Aristotle’s god. Aristotle’s god for Aubry is what might be called an “inspiring” or attracting cause rather than a ruler and a driving cause.

It seems to me that in order to even be intelligible, a power of any kind must be understood as having definite characteristics related to its efficacy. I therefore think “infinite power” is devoid of sense. Even the “omnipotent” God of Leibniz who selects the best of all possible worlds at the moment of creation only selects an inherent, coherently realizable possibility that is also in accordance with non-arbitrary criteria of goodness. He does not create arbitrarily.