Empty Set as Stating Subject

The "Empty Set as Stating Subject" names Lacan's set-theoretic reformulation of the Cartesian cogito. In classical logic, the cogito guarantees the existence of a thinking subject at the moment of enunciation: to say "I think" is simultaneously to posit the "I" that thinks. Lacan, reading the cogito through de Morgan's formula and the axiomatics of set theory, displaces this guarantee. The empty set — the set that contains no members yet whose existence as a set is axiomatically secured — becomes the formal placeholder for the subject of the enunciation (the stating subject), as distinct from the subject of the statement (what is said). The subject is "guaranteed in a veiled fashion": it exists as a structural position, but as an empty one, evacuated of any positive content. This parallels the vel of alienation, in which the forced choice between being and meaning always yields a subject that either falls into non-meaning or preserves meaning only at the cost of losing being. The empty set is precisely this remainder — the trace of a subject-position that was never filled.

In jacques-lacan-seminar-14-1 (p. 67), Lacan is conducting a sustained re-reading of the Cartesian cogito through de Morgan's logical formula and set theory. The "Empty Set as Stating Subject" is the pivot of that argument: it translates the founding Cartesian moment — the certainty of the thinking "I" — into the language of modern logic, showing that what guarantees the subject is not a plenitude of being but a structural vacancy. This places the concept squarely at the intersection of the canonical concepts of Alienation and the Cogito and the Refusal of Being: just as alienation constitutes the subject through a forced choice that produces irreducible loss (being surrendered for meaning, or vice versa), the empty set formalizes that loss as the axiomatically necessary yet content-free ground of the subject's existence. The concept also resonates with Lack, since the empty set is the set-theoretic formalization of lack — a defined container whose interiority is nothing — and with Negation, insofar as the empty set is constituted by the absence of any element. Within the same seminar's argument, Freud's discoveries (the unconscious, the Id) are being positioned inside, not outside, this Cartesian–logical structure: the Id speaks from the place of the empty set, from a position that is real but contentless. The concept thus functions as a specification of Alienation (giving it a precise set-theoretic formalism) and as an extension of the Cogito theme (showing that what Descartes took as a fullness is structurally an emptiness).

Seminar XIV · The Logic of Phantasy (alt. translation)Jacques Lacan · 1966 (p.67)

in so far as set theory is … grounded on the possibility of the empty set as such - this is where there is guaranteed in a veiled fashion the existence of the stating subject.

The phrase "guaranteed in a veiled fashion" is theoretically loaded because it simultaneously asserts and withdraws the subject: the guarantee is real (axiomatic, structural) yet concealed ("veiled"), capturing exactly the Lacanian split between the subject of the enunciation and the subject of the statement. "The empty set as such" further signals that this guarantee rests on nothing — on a formally defined absence — which is the set-theoretic correlate of the constitutive lack that drives both alienation and desire.