Relation

Plato's late dialogue Sophist breaks decisively with any reading of the forms as self-enclosed, static essences. The Eleatic Stranger demonstrates that Being, Sameness, Difference, Motion, and Rest cannot stand alone. Each "great kind" participates in the others: Motion is (it partakes of Being), and Motion is the same as itself (it partakes of Sameness), and Motion is different from Rest (it partakes of Difference). To deny that forms can blend with one another is to destroy the possibility of meaningful speech, because every statement links one form to another. The five great kinds are not a decorative addition to the theory of forms; they are the minimum conditions for any discourse at all.

This move solves a problem that had dogged Plato since the Parmenides. If each form is simply itself and nothing else, then no form can be predicated of another, and philosophy collapses into silence. By showing that Difference pervades every form, Plato makes negative predication intelligible: to say "Motion is not Rest" is not to invoke sheer non-being but to invoke Difference. Non-being, rehabilitated as otherness, becomes a legitimate category. The web of mutual participation among the great kinds provides the ontological ground for the "weaving together of forms" that Plato identifies with dialectic itself.

The consequences reach well beyond ontology. If the forms are inherently relational, then knowing any single form requires knowing how it stands to others. Knowledge is never of an isolated item; it is always knowledge of a structure of relations. This conception of intelligibility as systematic, as requiring a network rather than a catalogue, passes directly into Aristotle's account of the categories and, through Plotinus, into the entire Neoplatonic tradition. Plato did not use the word "relation" as a technical term, but he supplied the insight that later thinkers would formalize: to be is to be related.

Plato's account of the communion of forms set the agenda for every subsequent metaphysics of relation. By insisting that even the highest realities are constituted through mutual participation, he foreclosed any atomistic ontology in which things simply are what they are without reference to anything else. Aristotle would domesticate this insight into a single category; the Neoplatonists would radicalize it into a doctrine of emanation and return. But the founding gesture belongs to the Sophist: relation is not a deficiency of being but a condition of it.

Aristotle takes the Platonic insight that forms commune with one another and gives it a sober categorical treatment. In the Categories, relation (pros ti) is listed as one of the ten categories of being, alongside substance, quantity, quality, and the rest. His initial definition is broad: relatives are those things that are "said to be what they are of other things, or in some other way in relation to something else." The double is double of a half; the master is master of a slave; knowledge is knowledge of the knowable. In each case the entity cannot be understood or defined without reference to its correlative. This formal reciprocity, where each relative has a correlative and each implies the other, becomes the distinguishing mark of the category.

Yet Aristotle immediately qualifies the picture. In the Metaphysics he draws a line between relations that hold independently of thought and those that exist only because a mind compares two things. The relation of a mover to a moved thing is real, grounded in the causal structure of the world. But the relation of an object to the knowledge someone has of it is asymmetrical in a revealing way: the knowledge depends on the object, but the object does not depend on the knowledge. Some relations, then, are ontologically robust; others are merely logical, artifacts of how we happen to think about things. This distinction between real and rational relations would dominate the tradition for two millennia.

Aristotle also insists that relation is ontologically dependent on substance. Relations do not float free; they inhere in substances and presuppose the prior existence of the things related. A father must exist as a substance before the relation of fatherhood can be predicated of him. This subordination of relation to substance is both the strength and the limitation of Aristotle's account. It keeps relations anchored in concrete reality, but it also makes it difficult to treat relations as constitutive of what things are, a difficulty that would surface repeatedly in the work of Aquinas, Leibniz, and Hegel.

Aristotle's treatment gave the concept of relation its first rigorous philosophical shape. By distinguishing real from rational relations and subordinating both to substance, he established the framework within which subsequent thinkers would argue. Aquinas would adopt the Aristotelian apparatus wholesale and extend it to theology. Hobbes and Locke would push the "rational" side, treating relations as products of mental comparison. Even those who rejected Aristotle's substance ontology, like Leibniz, found themselves compelled to answer him. The tension that persists is whether his subordination of relation to substance can hold: if everything a thing is requires other things to be intelligible, then relation may be prior to substance, not dependent on it — the conclusion Hegel will eventually draw.

Aquinas inherits Aristotle's category of relation and puts it to work in the most demanding context imaginable: the inner life of the Trinity. Orthodox theology requires that Father, Son, and Holy Spirit be really distinct from one another and yet identical with the one divine essence. If the persons were distinguished by anything absolute, by different qualities or different acts of existence, the unity of God would be destroyed. Aquinas's solution is that the three persons are distinguished solely by their mutual relations of origin. The Father is constituted as Father by the relation of paternity to the Son. The Son is constituted as Son by the relation of filiation to the Father. These relations are not accidents inhering in a divine substance; they are subsistent relations, identical with the divine essence yet really distinct from one another.

To make this work, Aquinas refines Aristotle's distinction between real and merely logical relations. A real relation requires three things: a subject, a term, and a real foundation in the subject. In creatures, some relations are real (a father really is related to his son by generation) and some are merely logical (the relation of an object to the knowledge had of it, since the object is not altered by being known). In God, the relations of origin are supremely real, because they are founded on the real processions of generation and spiration. But the relation of God to creatures is, from God's side, merely logical: creation depends on God, but God is not altered or constituted by the act of creating. This asymmetry preserves divine simplicity while accounting for the genuine dependence of the world on its maker.

The metaphysical stakes are high. By treating the divine persons as subsistent relations, Aquinas elevates relation from the least of Aristotle's categories (since relation has the least "being" of its own) to the level of subsistent reality in God. This is a dramatic reversal. In the Aristotelian framework, relations depend on substances. In the Trinity, relations are the persons, and the persons are the substance. Aquinas does not abandon the Aristotelian scheme; he shows that in the unique case of an infinite, simple being, relation can do work that in finite beings belongs to substance alone.

Aquinas's doctrine of subsistent relations is one of the most audacious moves in the history of metaphysics. It showed that the category of relation, apparently the weakest and most derivative in Aristotle's ontology, could bear the full weight of divine personhood. Leibniz would reject the Thomistic framework but still feel the force of the question Aquinas posed: whether relations are merely ideal or genuinely constitutive of what things are. The question is especially sharp because Aquinas left it unresolved for the created order — divine persons are constituted by their relations, but creatures are still, for Aquinas, substances to which relations attach. Whether that asymmetry can be sustained is what later metaphysics will argue about.

Hobbes breaks sharply with the Aristotelian and Scholastic tradition by denying that relations have any foothold in extra-mental reality. In De Corpore and in the opening chapters of Leviathan, he lays out a nominalist theory of language and thought in which all reasoning is a species of computation: the adding and subtracting of names. To say that one thing is "greater than" or "cause of" another is not to report a link that obtains between bodies in the world. It is to describe an act of comparison performed by a thinking subject. Bodies exist; their motions exist; but the relations we predicate of them are features of our discourse, not of nature. Aristotle's category of relation is, for Hobbes, a confusion of words with things.

This position follows directly from Hobbes's materialism. If everything that exists is body in motion, then there is no ontological room for a tertium quid that connects one body to another. Two bodies may collide, and the collision is a real event involving real motions. But "cause" and "effect" are names we assign to the bodies before and after the collision, not invisible threads running between them. Similarly, "father" and "son" name two bodies standing in a sequence of generation, but the relation of paternity is our way of organizing that sequence in thought. Hobbes is perfectly willing to use relational language, since it is indispensable for reasoning. He simply insists that it refers to mental operations, not to worldly structures.

The consequences for philosophy are considerable. If relations are products of naming and comparing, then the disputes of the Schoolmen about real versus rational relations dissolve into nonsense. There is no question whether the relation of fatherhood is "in" the father, because relations are not in anything; they are said of things by minds that compare. This deflationary move clears the ground for the empiricist tradition that follows. Locke will adopt Hobbes's basic intuition, that relations arise from mental comparison, while softening the nominalism. Hume will push further, dissolving even causation into regular succession and custom. Hobbes is the hinge between the Scholastic realism about relations and the modern empiricist skepticism.

Hobbes's reduction of relations to mental computation was never universally accepted, but it permanently altered the terms of the debate. After Hobbes, defenders of real relations could no longer treat their existence as obvious; they had to argue for it against a clear and forceful alternative. The empiricist line from Hobbes through Locke to Hume is a progressive deepening of the insight that what we call "relations" may tell us more about the structure of human thought than about the structure of the world.

Locke devotes four chapters of the Essay to relations and treats them with more care than any empiricist before him. He agrees with Hobbes that relations are not simple ideas received passively from sensation. They arise from the mind's own activity of comparing one idea with another. When I consider Caius as a husband, I am bringing together the idea of Caius and the idea of Jemima and noting the agreement they stand in through the act of marriage. The relation of "husband" is not stamped on Caius by nature; it is a complex idea that the mind constructs by setting two simples alongside each other. In this sense, relations are "the workmanship of the understanding," produced by mental operations rather than directly perceived.

Yet Locke is no simple nominalist. He distinguishes between the relation itself (an idea in the mind) and the foundation of the relation (something real in the things compared). Caius is really married to Jemima; the ceremony happened, the commitments were made. The relation as an idea is mental, but it is not arbitrary, because it tracks real features of the world. Locke is especially interested in moral and legal relations: identity, property, obligation. He argues in the chapters on identity and diversity (II.27) that personal identity is itself a relation, holding between a present self and a past self through continuity of consciousness. This was a striking claim, because it meant that what a person is depends on a relational fact, not on the persistence of a substance.

Locke also provides a useful taxonomy. He distinguishes proportional relations (greater, less, equal), natural relations (father, brother), voluntary or instituted relations (general, citizen, husband), and moral relations (virtuous, criminal). Each type has its own foundation and its own mode of comparison. This pluralism about kinds of relation is more generous than Aristotle's single-category treatment and more structured than Hobbes's blanket reduction to naming. It gives later philosophers, especially Hume, a map of the territory to work with, even when they disagree about the details.

Locke's treatment of relations occupies a significant position in the history of the concept. He preserved Hobbes's insight that relations involve mental activity while refusing to dissolve them into mere verbal computation. His insistence that relations have real foundations kept the door open for a moderate realism, even within an empiricist framework. Hume would take up Locke's catalogue and sharpen it into a list of seven philosophical relations, then push the analysis toward a result Locke would not have endorsed: causation, the most important relation in the catalogue, turns out on Hume's account to have no real foundation in objects at all — only the mind's habit of expecting one thing to follow another.

Leibniz confronts the problem of relation with a metaphysics that makes real relations nearly impossible. His monads, the true substances, are "windowless": they have no parts, no openings, and no genuine causal interaction with one another. Each monad contains within itself, from the moment of creation, a complete series of perceptions that mirrors the entire universe from its own point of view. If monads neither act on each other nor receive anything from outside, then the relations we observe between things, causation, resemblance, spatial proximity, cannot be real features of the world. They are, as Leibniz says, "ideal": they result from the mind's comparing one monad's states with another's, but they do not add any being to what is already there.

This does not mean relations are illusory or dispensable. Leibniz holds that every truth about a substance is grounded in its intrinsic predicates. If Paris loves Helen, then there is something in the complete concept of Paris that grounds the predicate "lover of Helen," and something in the complete concept of Helen that grounds "beloved of Paris." The relation supervenes on these intrinsic facts. God, in choosing to create this world, ensured a pre-established harmony among all monads, so that their intrinsic states correspond as if they were interacting. The appearance of relation is well-founded (a "well-founded phenomenon"), but the metaphysical reality is a multitude of self-contained substances mirroring one another without touching.

Leibniz's position has a polemical edge directed at both Aristotle and Locke. Against Aristotle, he denies that relation is a genuine category of being with its own ontological standing. Against Locke, he insists in the New Essays that the mind's act of comparison cannot create the truth of relational propositions; those truths must be grounded in the subjects compared. The mind discovers relational truths, but it does not make them. This gives Leibniz an unusual intermediate position. Relations are not real entities, but they are not arbitrary either. They are ideal truths grounded in the real, intrinsic properties of substances, and ultimately in the harmony that God has established among all things.

Leibniz's doctrine of the ideality of relations posed a challenge that later metaphysics could not ignore. If the deepest reality consists of self-contained substances, then relation is always secondary, always a gloss that the intellect adds to a world of monadic interiors. Kant would respond by arguing that relations are not merely ideal but are constitutive structures of experience itself, forms the understanding imposes on appearances. In a sense, Kant agreed with Leibniz that relations do not belong to things in themselves, but he relocated them from the divine intellect to the human mind, giving them a new and more powerful role.

Hume takes Locke's catalogue of relations and sharpens it into a precise enumeration. In the Treatise, he identifies seven "philosophical relations," the ways in which the mind can compare ideas: resemblance, identity, relations of time and place, proportion in quantity or number, degrees in quality, contrariety, and causation. The first four can be known by inspection alone; they depend only on the ideas compared. Causation, by contrast, takes us beyond what is immediately given. It is the only relation by which we can infer the existence of something we do not currently perceive. This makes causation the foundation of all empirical reasoning and, for precisely that reason, the relation that demands the closest scrutiny.

The scrutiny is devastating. Hume argues that when we examine any particular instance of causation, we find only three elements: the cause is contiguous to the effect, the cause is prior in time, and similar causes have been constantly conjoined with similar effects in past experience. We never perceive any "necessary connection" or "power" linking cause to effect. The idea of necessary connection, which we feel so strongly, arises not from the objects but from the mind's habit of passing from the impression of one to the idea of the other after repeated experience. Causation as a philosophical relation (a comparison between ideas) is one thing; causation as a natural relation (a felt transition in the imagination) is another. The philosophical analysis reveals no real bond; the natural propensity supplies the feeling of one.

This result transforms the entire question of relation. If the paradigmatic case of a real, objective relation turns out to be grounded in subjective habit rather than in the nature of things, then the prospects for any robust realism about relations are dim. Hume does not deny that we must use causal reasoning; we cannot help doing so. But he insists that this necessity is psychological, not logical or metaphysical. The relation of cause and effect is projected onto the world by the mind, not read off from it. This conclusion radicalized the empiricist trajectory that began with Hobbes and Locke, and it left Kant with a problem he could not refuse.

Hume's analysis of causation became the single most influential argument in modern philosophy of relation. By showing that the most important relation in our cognitive lives lacks any perceptible ground in the objects themselves, he forced every subsequent philosopher to take a position on whether relations are discovered or constructed. Kant's response, that the categories of relation are a priori forms of the understanding, was explicitly designed to rescue causation from Hume's skepticism. But Kant accepted the central Humean point that we do not find relations simply lying in nature; the mind contributes something essential to the relational structure of experience.

Kant's answer to Hume transforms the concept of relation from something the mind merely discovers or projects into something the mind necessarily contributes to the structure of experience. In the Table of Categories, relation occupies the third heading, comprising three pure concepts: inherence and subsistence (substance and accident), causality and dependence (cause and effect), and community or reciprocal action. These are not generalizations drawn from experience, as Hume's account would have it, nor ideal truths grounded in a pre-established harmony, as Leibniz proposed. They are a priori conditions without which experience of an objective, ordered world would be impossible.

The three Analogies of Experience spell out what this means concretely. The First Analogy establishes that in all change of appearances, substance is permanent; without a persisting substrate, we could not distinguish change from replacement. The Second Analogy argues that every event presupposes something upon which it follows according to a rule; this is Kant's rehabilitation of causation against Hume, grounding necessity not in custom but in the conditions of temporal order. The Third Analogy demonstrates that substances, insofar as they coexist in space, stand in thoroughgoing reciprocal interaction. Each analogy shows that a specific relational category is required for experience to have the coherence it does. Without substance, no persistence; without cause, no succession; without community, no coexistence.

Kant agrees with Leibniz that we cannot know things as they are in themselves, and he agrees with Hume that we never perceive necessary connections among objects. But he draws a different conclusion from both concessions. The relational structure of experience is neither a feature of things in themselves nor a psychological habit. It is the contribution of the transcendental subject, the set of rules that any rational being must apply in order to have experience at all. This makes relations both subjective (they come from the mind) and objective (they hold universally and necessarily for all possible experience). Kant's technical term for this status is "transcendental ideality combined with empirical reality."

Kant's relocation of relation to the transcendental structure of the understanding was a watershed. It conceded to empiricism that relations are not simply "out there" in the world, while insisting, against empiricism, that they are not merely subjective either. Hegel would push this further, arguing that Kant stopped too short: if relation is constitutive of experience, why not of reality itself? The move from Kant's transcendental idealism to Hegel's absolute idealism is, in significant part, an argument about whether the relational categories can be freed from their restriction to possible experience and granted full ontological standing.

Hegel makes relation the central category of his doctrine of essence. In the Science of Logic, Book II opens by showing that essence is not a self-sufficient ground lying behind appearances. Essence is reflection, and reflection is inherently relational: it is the movement by which something determines itself only by distinguishing itself from, and referring itself to, what it is not. Identity, for Hegel, is not a bare self-sameness but includes within itself the moment of difference. To say "A is A" already invokes the distinction between A and not-A. Every determination of essence, identity, difference, ground, existence, actuality, proceeds through pairs of correlatives that cannot be understood apart from each other. The category of relation is where this structure becomes fully explicit.

In the third section of the Doctrine of Essence, Hegel treats relation proper under three headings: the relation of whole and parts, the relation of force and its expression, and the relation of inner and outer. Each exhibits the same logical pattern. The whole is nothing apart from its parts, and the parts are nothing apart from the whole; force is nothing apart from its expression, and the expression is nothing apart from the force behind it; the inner is nothing apart from its outer manifestation, and the outer is nothing apart from the inner it manifests. In each case, what appears initially as two independent terms turns out to be a single, self-differentiating movement. The two sides are not first given separately and then connected; they are constituted by their mutual reference. Relation is not something added to pre-existing terms. The terms exist only in and through the relation.

This transforms the entire tradition's treatment of the concept. From Aristotle through Leibniz, the dominant assumption was that substances or monads come first and relations follow. Hegel reverses the priority. Substance, properly understood, is not a bare substrate but is itself the relation of its attributes, powers, and expressions. When Hegel writes that "the truth of substance is the concept," he means that what we call substance is already a relational structure, a self-determining activity that cannot be grasped as a simple, unrelated thing. This is not a denial that things exist; it is a denial that anything can be what it is in isolation from everything else. Relation, for Hegel, is not a category among others. It is the form of all determinate thought.

Hegel's doctrine completes the arc that began with Plato's communion of forms. Where Plato showed that the highest kinds are relational and Aristotle made relation a subordinate category, Hegel argues that relation is the very logic of determinacy. Nothing is what it is except through its relation to what it is not. This claim has been resisted by every tradition that privileges substance, atomism, or individual self-sufficiency. But it has also shaped every subsequent philosophy, from Marx's relational account of capital to the process philosophies of the twentieth century, that insists on the priority of relations over relata.