Mathematical Antinomy
ELI5
Imagine a game that claims to have rules covering every possible move — but no matter how hard it tries, there's always one move the rules can't quite handle, not because that move comes from outside the game, but because it's generated by the game itself. Mathematical antinomy is the name for that crack in the system's claim to cover everything.
Definition
Mathematical antinomy names the logical structure by which an immanent excess — something that is neither simply inside nor simply outside a given totality — renders that totality non-All (pas-tout). The concept is drawn from the Kantian distinction between mathematical and dynamic antinomies, but is here re-coded through Lacan's Not-All logic (the feminine side of the formulas of sexuation). Where the dynamic antinomy posits a term that stands in genuine exteriority to the series — a freedom or a God outside natural causality — the mathematical antinomy refuses that outside: no element is simply expelled from the system, yet the system cannot close into a complete, self-sufficient All. The immanent excess that drives this incompleteness is the abject-singular, the element that the system produces but cannot assimilate — what in Lacanian terms would be the objet petit a or the remainder of jouissance that any symbolic structure necessarily generates in its very functioning.
The theoretical move the concept performs is diagnostic and political: leftist particularism is shown to operate through dynamic antinomy (positing a particular victim-position as external to and ruptured from the universal), which paradoxically reproduces the structure of the ideological universal it opposes, since both sides share the same gesture of foreclosing the abject-singular. Mathematical antinomy, by contrast, does not locate the critique outside the system but traces the crack running through its interior. The illustration offered — the mutual constitution of libido/love and capitalism — exemplifies this: libido is not simply outside capitalist exchange, but its very presence within the system prevents capitalism from achieving total self-enclosure. This aligns with the Lacanian principle that the Real is not beyond the Symbolic but the impossibility immanent to it.
Place in the corpus
Within todd-mcgowan-sheila-kunkle-lacan-and-contemporary-film-other-press-2004, mathematical antinomy serves as a structural-logical tool for adjudicating between competing modes of ideological critique. It is positioned against its pair — dynamic antinomy — and the contrast maps directly onto the tension between the two sides of Lacan's formulas of sexuation: the phallic-universal (everything within the system, grounded by an exception that stands outside) versus the Not-All (no exception, but therefore no closed totality either). The concept is therefore an extension and specification of the Not-All logic as applied to political and ideological analysis. It also intersects critically with Foreclosure: the argument is that both the ideological universal and its particularist opposition share a structural foreclosure of the abject-singular — they both expel the troubling remainder rather than confronting the system's internal incompleteness. Mathematical antinomy is the logical form that makes that foreclosure visible and names what is suppressed.
The concept sits at the intersection of Ideology and Alienation as cross-referenced here. Like alienation, mathematical antinomy insists that there is no position of full being — nothing stands simply outside the system — but, also like alienation, this very impossibility of fullness is the condition for subjectivity and critique. The concept extends the ideological analysis by specifying the form of the system's incompleteness: not an external antagonist (dynamic antinomy / particularism) but the non-All character of the system itself, driven by an immanent excess — the very surplus of jouissance or libido that capitalism's own functioning generates and cannot contain.
Key formulations
Lacan and Contemporary Film (page unknown)
emphasis on the imbalance therein obeys the logic of the mathematical antinomy... nothing is simply outside the system, but nonetheless the system is not All-encompassing
The quote is theoretically loaded because it holds two claims in precise tension: "nothing is simply outside the system" forecloses any appeal to a transcendent or fully external critique (ruling out dynamic antinomy and its particularist politics), while "the system is not All-encompassing" simultaneously refuses closure or totality — the exact double negation that defines Lacan's Not-All (pas-tout). Together these phrases encode the logical structure of the feminine formula of sexuation (∄x·¬Φx / ¬∀x·Φx) applied to the political field.