Logic of the Signifier

The "logic of the signifier," as Miller introduces it in his reading of Frege's Grundlagen (present in sources jacques-lacan-seminar-12-1 and jacques-lacan-seminar-12), names a general logic that is prior to—and constitutive of—formal logic rather than a regional application of it. It is "general" not in the sense of covering the broadest domain but in the sense of being foundational: its operation prescribes the conditions under which any particular formal law becomes possible. The key archaeological move is to show that what Frege's logical construction of number actually stages, beneath its explicit expulsion of the psychological subject, is the working of a structural function—the subject as suture—that belongs to the order of the signifier. That function (the self-identical unit, the concept that transforms things into countable objects) is not derivable from formal logic; it precedes it and, in prescribing it, falls outside its jurisdiction.

This means the logic of the signifier is not itself a calculus or a set of rules; it is, rather, the account of the operation through which the very domain of formal rules is opened. It is "formal with respect to all the fields of knowledge" because every field of knowledge, insofar as it is organised by signifiers, is governed by this underlying logic—not by the explicit laws of its own discipline. The concept of suture is the hinge: the excluded (non-psychological) subject is not simply absent from Frege's account but reappears as the structural necessity that closes the gap in the system. The logic of the signifier is therefore the archaeology of that closure.

The concept lives at the intersection of Miller's "Suture" intervention and Lacan's Seminar XII, where the project is to ground Lacanian theory in the most rigorous available formal apparatus—Fregean logic—while simultaneously revealing the limits of that apparatus. It cross-references the canonical concepts of Signifier, Subject, Suture, Identity, and Concept in a precise way: the logic of the signifier is neither a synonym for "the theory of the signifier" nor a mere application of Hegel's Concept, but the structural-logical account of how the signifier's differential, non-self-identical nature (see the canonical Identity entry: the signifier "is essentially different to itself") prescribes the field of formal logic from a position that formal logic cannot itself articulate. The canonical Subject synthesis emphasises that the subject is "what is lacking to knowledge" and is the operator of the constitutive cut separating any field from itself; the logic of the signifier names exactly the mechanism that produces that cut.

Relative to the canonical Suture (cross-referenced but not supplied in full here), the logic of the signifier is the broader theoretical frame within which suture operates: suture is the specific operation (assigning zero to the concept of non-self-identity) that stitches the subject back into the formal field, while the logic of the signifier is the archaeology that makes visible why such stitching is structurally necessary in the first place. The sources jacques-lacan-seminar-12-1 and jacques-lacan-seminar-12 thus position the concept as an extension and radicalization of the canonical Signifier and Subject: rather than simply deploying these notions clinically or linguistically, Miller pushes them into the domain of mathematical logic to demonstrate their constitutive, rather than merely descriptive, force.

Seminar XII · Crucial Problems for PsychoanalysisJacques Lacan · 1964 (p.115)

What I am aiming to restore here... ought to be designated by the name of the logic of the signifier, a general logic in that its functioning is formal with respect to all the fields of knowledge which may specify it... it does not follow its laws, that it falls outside the field of their jurisdiction because it has prescribed it.

The phrase "it does not follow its laws... because it has prescribed it" is theoretically explosive: it inverts the standard relationship between a logic and its domain, asserting that the logic of the signifier is not subordinate to formal law but is its transcendental condition—"prescribing" formal jurisdiction from a position that is therefore necessarily outside it, marking the exact site where suture must operate to close a gap the formal system cannot acknowledge.