Successor Operation

The successor operation is Frege's logical mechanism for generating the entire sequence of natural numbers from a single founding definition. As reconstructed by Duroux in Seminar XII, the operation works in tandem with the definition of zero: once zero is established via the contradictory concept (the concept "non-identical to itself," under which no object falls), the successor of any given number n is defined as the number that belongs to the concept "member of the sequence of natural numbers ending with n." This means each number is generated not by an act of psychological counting or collection, but by a purely formal, self-contained logical relation — the successor operation folds back upon itself such that, as Duroux notes, the definition of "one" is not thinkable except on the basis of this very operation. The circularity is not vicious but constitutive: the operation is what makes the sequence possible at all.

What makes the successor operation theoretically significant beyond arithmetic is that it models a logic of generation through lack and repetition without a grounding subject. No empirical, psychological agent is required to "add one"; the next term is produced structurally, by the concept's relation to the objects that fall under it. Duroux's presentation frames this as the philosophical-logical precondition for Miller's Lacanian appropriation: the way the chain of numbers is generated by a self-referential operation that never closes on a final term — always producing a "next" — prefigures the Lacanian signifying chain, in which each signifier only receives its value by deferral to the next, and in which the subject is never fully present but always in the position of the "not yet counted."

This concept appears in jacques-lacan-seminar-12-1 as part of Duroux's reconstruction of Frege's Grundlagen der Arithmetik, which Lacan stages as the logical-philosophical prologue to Miller's concept of suture. It sits at the intersection of several cross-referenced canonical concepts. Most directly, it operationalises Frege's Anti-Psychologism: the successor operation is precisely what demonstrates that number-generation requires no psychological subject — it is a purely logical derivation from the Concept-Object Distinction. The operation is also inseparable from Negation: zero is grounded in the self-contradictory (self-negating) concept "non-identical to itself," and the successor operation propagates outward from this founding negation, making the entire numerical sequence an extended consequence of a logical contradiction. In this sense, the successor operation is a formal instantiation of the productive power of negation described in the Negation canonical — negation here is not destructive but generative.

The successor operation also anticipates the canonical concepts of Lack and Subject. Because the sequence is never closed — each number generates a next without terminus — the chain embodies the structural incompleteness that Lacan identifies as constitutive of the subject's relation to the signifier. The subject, like any number in the Fregean sequence, is never the last term; it is always "the next one," deferred. This resonates with Splitting of the Subject and, more distantly, with Foreclosure, insofar as what is foreclosed (the missing term that would close the sequence) is precisely what keeps the chain in motion. The successor operation is thus not merely a mathematical technicality but, within the argument of Seminar XII, the logical model for how a symbolic chain can be self-sustaining, infinite, and productive of lack — all without reference to an originating psychological consciousness.

Seminar XII · Crucial Problems for Psychoanalysis (alt. translation)Jacques Lacan · 1964 (p.90)

The second operation which will allow there to be generated a whole sequence of numbers is the successor operation... they imply one another and that the definition he gives of the successor is not thinkable until he has defined the one starting from this successor operation

The phrase "not thinkable until he has defined the one starting from this successor operation" is theoretically loaded because it captures the circularity that is constitutive rather than vicious: "one" and "successor" are mutually implicating terms, meaning the sequence is not built from a pre-given unit but from a self-referential logical relation — a structure that, for Lacan's purposes, models how the signifying chain and the subject it produces are generated without a founding presence.