Russell's Paradox Formalisation

Russell's Paradox Formalisation names the operation by which Lacan imports the logical structure of Russell's paradox — the set of all sets that are not members of themselves — into the Lacanian theory of the subject and the big Other. Lacan applies the paradox to the field of signifiers: just as Russell's problematic set cannot consistently be included in or excluded from itself, the subject, defined as the subset of all signifiers that are not elements of themselves, cannot be integrated into a totality. The big Other (B in the passage, standing for the battery of signifiers) is, by this operation, shown to be structurally incomplete: the very point at which the subject would have to be signified — included as an element — is the point that falls necessarily outside the Other. The subject is not a positive entity inscribed in the symbolic order but a structural impossibility, a missing element that the Other cannot accommodate without contradiction.

This formalisation demonstrates what Lacan calls the structural impossibility of a "universe of discourse." If the subject were simply an element among others within the Other, the Other could be a closed totality — a complete symbolic universe. Russell's paradox shows this is formally forbidden: any attempt to universalise the subject (to make it a member of the set of all signifiers) generates a self-contradiction. The subject is therefore constitutively eccentric to the Other — it is produced by the signifying chain yet cannot be contained within it. This is the logical underwriting of the barred subject ($): not a psychological observation but a theorem derived from the formal properties of the signifying order itself.

This concept appears in jacques-lacan-seminar-16 (p. 67) and represents one of Lacan's most formally ambitious moves: the direct importation of a set-theoretic logical paradox into psychoanalytic theory. It functions as a logical foundation for several canonical concepts. Most immediately, it underpins the Splitting of the Subject ($): the barred subject is not merely a clinical observation but a theorem — the subject cannot be an element of its own defining set without contradiction, so it is structurally split from itself and from the Other. It also grounds the incompleteness of the big Other (cross-referenced here via Signifier and Master Signifier): if no signifier can self-include, the chain of signifiers S1→S2 is necessarily open, and the Master Signifier's quilting function can never achieve a closed universe of discourse. The concept thus provides a formal demonstration of what the Master Signifier performs only by fiat — the asymptotic anchoring of a chain that cannot totalize itself.

The formalisation also bears directly on Desire and Demand: because the subject cannot be universalised within the Other, the Other is always already lacking — and it is precisely in this gap that desire finds its structural seat. The subject's exteriority to the Other (an echo of Extimacy) is here given its logical certificate: the subject is extimate to the signifying battery not as a poetic metaphor but as a provable consequence of the paradox-structure of self-reference. Compared to Structuralism (which presupposes a system of differential relations) and the general theory of the Signifier (which establishes the subject as inter-signifier effect), Russell's Paradox Formalisation goes one step further: it demonstrates why that system cannot close upon itself, giving the incompleteness of the Other a rigorous logical, rather than merely structural, status.

Seminar XVI · From an Other to the otherJacques Lacan · 1968 (p.67)

X is not an element of X. In order that something may be inscribed under the rubric of S2 , the subset formed by this signifier... it is necessary for X, whatever it may be, to be an element of B here, the first condition is, that X is not an element of X

The phrase "X is not an element of X" is the direct citation of Russell's paradox condition, and its application to S2 (the battery of signifiers / knowledge) and B (the big Other) makes the theoretical weight explicit: any signifier that would represent the subject must satisfy a self-exclusion condition, meaning the subject-position is structurally barred from full inscription within the Other — this is the logical nerve of both the barred subject and the incompleteness of the Other in a single formulation.