Undecidable

The "undecidable" in Lacan's Seminar 16 is not a casual epistemological disclaimer but a precise logical operator borrowed from Gödelian incompleteness and imported into the theory of the subject. Lacan uses it to name a dimension that opens up when a proposition can neither be affirmed nor be affirmed as unprovable — a third, irreducible zone that escapes the binary of provable/refutable. In the context of Seminar 16's argument, this dimension is generated by the constitutive incompleteness of the field of the Other: because no closed, totalising set of signifiers can include the signifier that represents the subject (S1), what the subject "is" cannot be decided from within the symbolic system. The subject-signifier necessarily stands outside the totality, and this exteriority is not a defect to be corrected but the very structural condition of subjectivity.

The undecidable thus names the logical status of the subject's relation to truth: the "I" cannot be grounded in being (as classical metaphysics would have it) because the truth-function of speech is irreducibly split — what is said and the saying never coincide. This anticipates Lacan's later formalization of sexuation, where the universal and particular quantifiers are placed "outside the field," marking positions that cannot be decided by the logic of the All. The undecidable is therefore not a gap in our knowledge but a positive structural feature: the formal scar left by the real on the symbolic.

Within jacques-lacan-seminar-16, the undecidable appears at the precise juncture where Lacan connects logical incompleteness to the structure of the subject. It functions as the hinge between his theory of Knowledge (savoir) and the split subject: because the Other's field of signifiers — S2, the chain of knowledge — is constitutively incomplete (as the canonical definition of Knowledge makes clear: "a corpus of knowledge which must in no way be conceived as knowledge to be completed, to be closed"), there is always a proposition about the subject that the system cannot adjudicate. The undecidable names the formal status of that proposition. In this sense it is an extension and sharpening of the Knowledge concept: where Knowledge already tells us that savoir is non-closeable and divided from truth, the undecidable specifies the logical texture of that non-closure.

The concept also bears on Desire and Demand in an indirect but structurally important way: the irreducible gap that demand cannot fill and that desire endlessly circles is, logically, an undecidable remainder — neither satisfied nor definitively unsatisfiable. Similarly, the Ethics of Psychoanalysis grounds its refusal of any Sovereign Good in a structure that is formally undecidable: you cannot, from within the symbolic order, compute the correct answer to the question of desire, which is why "giving ground relative to one's desire" is always possible and always a betrayal. The concept is thus not an isolated logical curiosity but a formalization of the non-totalizable Real that the cross-referenced canonical concepts — Desire, Knowledge, Ethics — each approach from different angles.

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

since it cannot even be affirmed that it is not provable, a distinct dimension is opened up, called the undecidable.

The phrase "cannot even be affirmed that it is not provable" is theoretically loaded because it performs a double negation that refuses both poles of the classical logical binary: the undecidable is not simply unproven, it is beyond the reach of the very meta-claim about provability — carving out a "distinct dimension" that is irreducible to the existing symbolic field and therefore points directly to the Real of the subject's constitutive exteriority to the Other.