De Morgan Transformation

The De Morgan Transformation, as deployed in Seminar 14, is Lacan's appropriation of a classical logical law — de Morgan's rule that the negation of an intersection equals the union of the negations — as a formal apparatus for re-articulating the structure of the cogito under the pressure of the Freudian discovery. De Morgan's law states: ¬(A ∩ B) = ¬A ∪ ¬B. In ordinary logical terms, "it is not the case that both A and B" is equivalent to "either not-A or not-B." Lacan takes this transformation and applies it to the two fields opened by the Cartesian split — "I am thinking" and "I am" — reading the alienating forced choice not as a simple disjunction but as a logical structure that governs what can and cannot be held together.

The theoretical move is precise: the cogito produces a forced choice between "I do not think" and "I am not," such that the subject cannot occupy both fields simultaneously. De Morgan's transformation allows Lacan to express the structure of this impossibility formally — the negation of the intersection (the point where thinking and being would coincide, i.e., full presence of the subject to itself) is redistributed as the union of the separate negations, the two alienated poles. This formalizes alienation at the level of logic itself: the subject is constituted precisely by what cannot be held in intersection — by the impossibility of full presence — and the de Morgan rule captures how that impossibility is structurally distributed across the two fields. The empty set, which would be the result of the intersection of these negated terms in one reading, marks the place of the subject outside discourse: the being of the stating subject that the statement cannot capture.

The De Morgan Transformation appears in jacques-lacan-seminar-14 as a technical logical instrument deployed within Lacan's extended reworking of the cogito. It functions as the formal backbone of his account of alienation: the canonical concept of alienation (the "vel of alienation," the forced choice between being and meaning) is here given a precise set-theoretic and logical articulation via de Morgan's rule. Where the canonical account of alienation describes the asymmetric forced choice phenomenologically and through the vel-structure of union, the De Morgan Transformation specifies the internal logical grammar of that choice — showing how the negation of their intersection (the impossible coincidence of full thinking and full being) is exactly equivalent to the union of their separate negations, i.e., the two alienated poles ("I do not think" / "I am not"). This is thus an extension and formalization of alienation, giving it the status of a matheme-like operation rather than merely a structural description.

The concept also intersects with Negation, Enunciation/Stating Subject, and the Real. The de Morgan rule operates on negation as a distributable logical operator, connecting to the Lacanian treatment of negation as something that is not simply symmetrical or reversible. The result of the transformation — the empty set at the intersection — is precisely what Lacan calls the being of the stating subject outside discourse, linking the concept to the split between enunciation and enunciated. This empty-set remainder resonates with Lack (the constitutive structural void) and with the Real (what cannot be symbolized). The logical structure of non-coincidence formalized here also echoes Logical Time's non-commutativity: the order and distribution of negations matters and cannot be collapsed without loss. In this sense, the De Morgan Transformation is a site where Lacan's mathematic and logical ambitions — the project of the matheme — meet the foundational clinical and theoretical concepts of his middle period.

Seminar XIV · The Logic of PhantasyJacques Lacan · 1966 (p.67)

de Morgan's statement is expressed as follows: that in the set formed by these two fields … the negation of intersection … is represented by the union of the negation of A … and the negation of B

The quote is theoretically loaded because it names both the operation ("negation of intersection") and its outcome ("union of the negation of A and the negation of B"), which maps directly onto the structure of alienation: the impossibility of the coincidence of thinking and being (their intersection) is redistributed as the forced union of the two alienated poles, each defined by what it lacks. The terms "negation," "intersection," and "union" are not merely mathematical shorthand but Lacan's chosen formal vocabulary for the vel of alienation and the constitution of the split subject.