Bivalent Logic

Bivalent logic, in Lacan's usage, names the classical and modern logical framework in which every statement is assigned exactly one of two truth-values: true or false. This is the dominant logical tradition stretching from Aristotle through Frege and Russell, and it subtends both idealist and naïve-realist epistemologies insofar as both assume that the relationship between a proposition and reality can be exhaustively captured by this binary. For Lacan, bivalent logic is not merely a technical limitation but a symptomatic one: it is the formal site at which the subject — and specifically the objet petit a — gets "sutured over," hidden within the machinery of logical form. By reducing truth (alethes) to a truth-value assignable to statements, bivalent logic forecloses the question of what in the subject exceeds any such assignment and drives the very act of enunciation.

The theoretical move Lacan makes against bivalent logic is to introduce topology — specifically the Möbius strip and the projective plane — as structurally more adequate to the subject-object configuration that psychoanalysis must think. Where bivalent logic presupposes a spherical cosmology (a closed, orientable surface on which inside and outside, true and false, are cleanly demarcated), the Möbius strip's non-orientable, single-faced structure reveals that what appear to be opposed terms (true/false, subject/object, conscious/unconscious) are in fact continuous surfaces of a single structure. The inadequacy of bivalence is thus not corrected by adding a third truth-value, but by changing the underlying topology of the space in which truth is thought.

The concept appears at page 76 of both jacques-lacan-seminar-13-1 and jacques-lacan-seminar-13, making it a focused intervention within Seminar XIII (The Object of Psychoanalysis, 1965–66). In this seminar, Lacan is working out the relationship between modern logic and psychoanalytic truth, arguing that the suture of the subject — the way the subject disappears into logical notation — is precisely the site where the objet petit a lurks unacknowledged. Bivalent logic functions here as the target against which the topology of the Möbius strip is proposed: the strip's single non-orientable surface is the structural alternative to the clean two-valued partition that bivalence demands.

In relation to the cross-referenced canonical concepts, bivalent logic operates as an implicit foil for several interconnected Lacanian notions. The Möbius strip directly replaces the spherical cosmology that bivalence assumes, offering a topological formalism adequate to the subject's division. The objet petit a is what bivalent logic cannot accommodate: it is the remainder that falls out of the true/false dyad, the cause of desire that is neither the subject nor its object in any symmetrical sense. The concept also resonates with Knowledge (savoir): bivalent logic belongs to the order of connaissance — the imaginary, face-to-face recognition of a proposition against a fact — whereas Lacanian savoir is constitutively incomplete and non-closeable, in structural excess of any binary assignment. Alienation, too, is implicitly at stake: just as the vel of alienation presents a forced choice in which something is always lost, the imposition of bivalence on truth is itself a kind of forced choice that produces a remainder — the subject's being — that cannot be captured in either value.

Seminar XIII · The Object of PsychoanalysisJacques Lacan · 1965 (p.76)

A statement is true or false. There are strong reasons for presuming that this way of tackling things is altogether inadequate

The phrase "altogether inadequate" (and not merely "incomplete" or "limited") signals that the problem with bivalent logic is structural, not technical — it is not a matter of adding more values but of the wrong underlying framework. The juxtaposition of "has a certain title for lasting" (acknowledging bivalence's historical durability) with the abrupt verdict of inadequacy performs the Lacanian gesture of recognizing a dominant formation only to identify what it systematically represses: the suture of the subject and the objet petit a that bivalent truth-value assignment cannot contain.