Same and Other

Plato makes sameness and otherness two of the five "greatest kinds" in the Sophist, alongside being, motion, and rest. The move is forced on him by the problem of false speech. If every Form simply is and nothing more can be said, then to say what something is not becomes impossible, and the sophist escapes refutation. Plato's solution is to show that difference pervades all reality: each Form is the same as itself and other than every other Form. Non-being is not absolute nothingness; it is otherness.

The Timaeus gives the same pair a cosmological role. When the Demiurge fashions the World Soul, he mixes three ingredients: Being, Same, and Other. The circles of the Same govern the fixed stars; the circles of the Other govern the wandering planets. Cognition itself is structured by these principles. When the soul's circle of the Same rotates undisturbed, we have rational knowledge; when the circle of the Other dominates, we have opinion and sensation. Identity and difference are not merely logical relations but cosmic forces built into the fabric of the world.

The stakes are immense for the whole subsequent tradition. By treating sameness and otherness as primitive, irreducible features of reality, Plato gives philosophers a pair of categories more fundamental than any particular substance or quality. Every later account of identity, distinction, or negation works within the space he opens here.

Plato's deepest provocation is not the list of greatest kinds but the claim that non-being is otherness rather than nothing. Aristotle will accept the logical point but resist the cosmological inflation, insisting that sameness and difference be analyzed piecemeal rather than treated as single world-governing forces.

Aristotle takes Plato's great kinds and subjects them to his characteristic method of distinction. Where Plato had treated the Same and the Other as single, unified Forms, Aristotle insists that "same" is said in several ways. Two things can be the same in number (Cicero and Tully), the same in species (two human beings), or the same in genus (a human and a horse, both animals). Each level of sameness carries its own logical consequences, and conflating them produces fallacies.

Difference receives the same treatment. In Metaphysics X, Aristotle distinguishes otherness from contrariety. Any two things picked at random are "other" if they are not identical; but contraries are specifically opposed within a single genus. A dog and the number seven are merely other; hot and cold are contraries. This distinction matters because contraries admit of intermediates, admit of degrees, and are explanatorily relevant to change in ways that bare otherness is not. Aristotle also introduces "difference" as a technical term for what divides a genus into its species, the differentia that makes rational animal distinct from non-rational animal.

By multiplying the senses of sameness and difference, Aristotle turns a pair of Platonic Forms into a toolkit for classification, definition, and demonstration. His scheme grounds the practice of giving definitions by genus and differentia, which remained standard in logic and natural history for two millennia.

Aristotle's analysis is powerful precisely because it fragments what Plato unified. The cost is that it leaves unanswered why these different senses of sameness all go by the same word — whether their unity is merely nominal or points to something his multiplying distinctions cannot capture. Aquinas will later press exactly this question when trying to say in what sense God and creatures can share a predicate at all.

Plotinus inherits Plato's five greatest kinds but sets them in motion within a hierarchical cosmos. The One is beyond all distinction, beyond even sameness, since to call it "the same as itself" would already introduce duality. Otherness enters reality through emanation: the One overflows its perfection, and what proceeds from it is necessarily other than its source. Intellect (Nous) is the first level of otherness, the first moment where being and thought split into a subject that thinks and an object that is thought.

Within Intellect, the Platonic Forms exist as a unified multiplicity. Each Form is identical with itself and distinct from every other, and this internal differentiation is what makes Intellect a many-in-one rather than a sheer blank unity. Soul, proceeding further from Intellect, introduces still greater otherness: temporal succession, spatial extension, the dispersal of life into individual bodies. Matter, at the lowest extreme, is otherness taken to its limit, a near-total absence of determination and selfhood.

Yet otherness for Plotinus is never a clean break. Every derived reality depends on its source and maintains its identity by epistrophe, the turning back toward the higher principle. The soul that forgets its origin and identifies with mere body has lost its proper sameness; philosophical ascent is the recovery of that identity. Difference without return is dissolution.

The fault line Plotinus leaves open is whether his account of the One can hold together. If the One is truly beyond all distinction — beyond even sameness-with-itself — then it becomes questionable whether any meaningful statement can be made about it at all. Augustine will inherit the emanation structure but anchor it in a personal God whose unity does not dissolve into silence, pressing Plotinus's mysticism into a framework that can bear the weight of Christian confession.

Aquinas faces a problem that neither Aristotle nor Plotinus could have anticipated: the Christian doctrine of the Trinity demands that three persons be truly distinct from one another while remaining absolutely one in substance. Any ordinary metaphysics of identity and difference will either collapse the persons into one (Sabellianism) or split them into three gods (tritheism). Aquinas solves this by developing a theory of subsistent relations. The Father, Son, and Holy Spirit are distinguished solely by their relations of origin: paternity, filiation, and spiration. These relations are not accidents inhering in a subject; they are identical with the divine essence yet really opposed to one another.

The key move is Aquinas's insistence that in God, relation and essence are the same thing considered under different aspects. The divine essence is not divided or multiplied. There is one act of being, one intellect, one will. The persons are not "parts" of God or "modes" of appearance. They are the divine essence itself as subsisting in opposed relations. This means that real distinction (the persons are not the same as each other) coexists with numerical identity of substance (each person is the one God). No Aristotelian category handles this neatly, and Aquinas knows it; he stretches the logic of relation beyond anything Aristotle envisioned.

The implications extend beyond theology. Aquinas's analysis shows that identity and distinction need not be properties of substances alone; relational opposition can ground real difference without requiring separate substances. This is a philosophical insight with consequences wherever relations, rather than intrinsic qualities, do the distinguishing work.

Aquinas demonstrated that the logic of same and other could be extended into domains where substance metaphysics alone proves inadequate. His theory of subsistent relations remains one of the most rigorous attempts to think through how unity and distinction can coexist without compromise.

Locke shifts the question of identity from metaphysical substance to psychological continuity. In the famous chapter "Of Identity and Diversity," he distinguishes three kinds of identity: the identity of atoms (sameness of substance), the identity of living organisms (continuity of organized life), and the identity of persons (continuity of consciousness). A person is not the same as a soul or a body. A person is a self-conscious being that can remember its past actions and recognize them as its own. If the soul of a prince, carrying all the prince's memories, were transferred into the body of a cobbler, the resulting being would be the same person as the prince, though the same man as the cobbler.

This distinction has immediate practical consequences. Moral and legal responsibility track personal identity, not substance identity. We punish persons for their past actions because they are conscious of having performed them. A man who genuinely has no memory of a crime is, on Locke's view, not the same person who committed it, whatever we may say about the continuity of his body or soul. Identity becomes a forensic concept, tied to accountability rather than to any underlying metaphysical substrate.

Locke is aware of difficulties. Memory is fallible; we forget things all the time. Does forgetting a past action make us a different person? He answers that consciousness, not perfect recall, is the criterion, and that God's justice will sort out the hard cases at the last judgment. The answer is not entirely satisfying, but the question Locke poses is the right one. By asking what makes someone the same person rather than the same substance, he opens the modern debate on personal identity.

The vulnerability Locke leaves exposed is memory itself: if I cannot remember a past action, am I a different person? He appeals to God's justice to patch the gap, but Hume will refuse this move and pull the thread further, asking whether any continuous self survives once we look honestly at what introspection actually finds.

Leibniz answers both Aristotle and Locke with a single bold principle: the identity of indiscernibles. If two things share every property, they are not two things but one. There can be no two leaves in a garden, no two drops of water in the ocean, that are perfectly alike in every respect. Numerical distinction without qualitative distinction is, for Leibniz, impossible. This is not merely an empirical observation but a consequence of the principle of sufficient reason: God would have no reason to create two perfectly identical substances, since there would be nothing to determine which goes where.

The principle cuts against both the Scholastic doctrine that matter individuates form and the atomist picture of identical particles differing only in position. For Leibniz, each monad, each simple substance, contains within itself a complete individual concept that distinguishes it from every other monad. Position in space is not a brute external fact; it follows from the internal states of the monads. Otherness is always grounded in intrinsic difference. Sameness of all properties entails strict numerical identity.

Against Locke specifically, Leibniz argues in the New Essays that consciousness is too narrow a criterion for personal identity. A person might lack awareness of past states and yet remain the same substance with the same complete concept. Real identity must be metaphysical, grounded in the persistence of the substance itself, not in the vagaries of memory. Locke has confused the epistemic (how we recognize identity) with the ontological (what identity consists in).

Leibniz's identity of indiscernibles raised the bar for any theory of individuation. After Leibniz, philosophers could no longer treat numerical difference as a brute fact; they had to explain what internal ground, if any, makes one thing other than another.

Hume takes Locke's insight that identity is not grounded in substance and pushes it to its destructive conclusion. If we look inward, we never find a "self" standing behind our perceptions. We find only the perceptions themselves: impressions of heat, cold, pleasure, pain, passing one after another in ceaseless succession. The mind is not a theater where these scenes are performed for some watching subject; there is no subject apart from the scenes. The self is "nothing but a bundle or collection of different perceptions, which succeed each other with an inconceivable rapidity, and are in a perpetual flux and movement."

What produces the illusion of identity? Hume's answer is the imagination. We confuse similarity with identity. Because our perceptions resemble one another from moment to moment, and because memory traces a chain of causally connected experiences, we feign a continuous self where none exists. The fiction is natural and practically unavoidable, but philosophically it cannot survive scrutiny. We have no impression of a self, and by Hume's empiricist criterion of meaning, where there is no impression there is no corresponding idea.

Hume himself found this result unsettling. In the Appendix to the Treatise, he confesses that the problem of personal identity leaves him in a "labyrinth" from which he cannot escape. He cannot find a principle that unites successive perceptions into a single self, and he cannot satisfactorily explain why we feel compelled to posit one. The honesty of this admission is part of Hume's philosophical greatness: he follows the argument wherever it goes, even when it leads to a place he does not want to be.

Hume's demolition of the substantial self forced every subsequent philosopher to reckon with the possibility that identity is not given but constructed. Kant, in particular, built his theory of apperception as a direct response to Hume's challenge.

Kant agrees with Hume that we have no empirical intuition of a substantial self. Introspection yields only a stream of representations, never a bare "I" standing behind them. But Kant insists that Hume's conclusion does not follow. The unity of the self is not an empirical discovery; it is a transcendental condition. The proposition "I think" must be capable of accompanying all my representations, because without this synthetic unity of apperception, the manifold of experience could never be combined into a single, coherent consciousness. There would be no experience at all, only scattered, ownerless impressions.

Against Leibniz, Kant attacks the identity of indiscernibles as resting on a confusion. Leibniz treats space and time as derivative of internal properties, but Kant argues that two drops of water can be qualitatively identical and still numerically distinct because they occupy different positions in space. Spatial and temporal location are forms of intuition, not predicates reducible to concepts. Otherness can be grounded in the structure of sensibility alone, without any intrinsic qualitative difference. The Leibnizian principle holds for concepts but not for objects given in intuition.

In the Paralogisms, Kant diagnoses the traditional errors of rational psychology. The rationalists inferred from "I think" that the self is a substance, that it is simple, that it is numerically identical through time, and that it is distinct from external objects. Each inference is a paralogism, a fallacy that mistakes a logical function for a metaphysical fact. The "I think" is the form of all thinking, but from a mere form nothing follows about the nature, simplicity, or persistence of any underlying entity.

Kant carved out a position between Hume's denial of the self and the rationalist claim to know it as a substance. The transcendental "I think" preserves the unity that experience requires while refusing to convert that unity into a metaphysical object. This distinction between formal identity and substantial identity shaped every subsequent treatment of selfhood.

Hegel refuses to treat identity and difference as separate, independently intelligible concepts. In the Science of Logic, he argues that the ordinary law of identity, "A is A," is empty and tautological if taken as a statement about a thing in isolation. True identity is always concrete identity, which includes difference within itself. To say what something is requires saying what it is not. Light is intelligible only against darkness; the finite is thinkable only in relation to the infinite. Identity that excludes all difference is abstract, dead, and philosophically useless.

The key formula is: "Identity is the identity of identity and non-identity." This is not wordplay. Hegel means that any determinate thing maintains its identity precisely by holding together its positive character and its negative relation to everything else. A plant is a plant because it is not a stone, not an animal, not a concept. These negations are not external accidents; they belong to what the plant is. The Doctrine of Essence develops this through the categories of identity, difference, opposition, and contradiction, showing how each passes into its successor. Mere difference becomes determinate opposition when the terms are contrasted within a common ground; opposition becomes contradiction when each term's identity depends on the very thing it excludes.

Hegel also targets Leibniz's identity of indiscernibles. He agrees with the principle but reinterprets it: the reason no two things can be exactly alike is not that God lacked a sufficient reason to create duplicates, but that determinacy itself requires internal differentiation. To be something determinate is already to be different from other things, and this difference enters into the thing's own constitution. Bare identity without internal articulation would be pure indeterminacy, which is to say, nothing at all.

Hegel's insistence that identity is internally constituted by difference made it impossible to return to any naive law of identity. After Hegel, the question is no longer whether sameness and otherness are related, but how deeply each penetrates the other. His logic of essence remains the most sustained attempt to think identity and difference as a single, self-developing structure.