Concept-Object Distinction (Frege)

The Concept-Object Distinction (Frege) names the logical-ontological split, reconstructed by Duroux in Seminar XII, between two irreducible modes of "objective representation" in Frege's Grundlagen der Arithmetik: the concept (Begriff), a predicative function that maps objects to truth-values, and the object (Gegenstand), the saturated, singular entity that falls under a concept. This is not a psychological distinction — Frege's anti-psychologism insists that neither concepts nor objects are mental events or products of a subject's collecting activity. The relation between them is strictly logical and monadic: an object either falls under a concept or it does not, and it is this binary, all-or-nothing application that grounds numerical identity without appeal to intuition or imagination.

What makes this distinction theoretically decisive for Lacanian purposes is its role in defining zero and the successor operation. The concept "non-identical to itself" — a self-contradictory, formally empty predicate — has no object falling under it; zero is defined as the number of objects falling under that concept. This means zero is not nothing but the logically determined count of an impossible class, a lack constituted through formal negation. The successor of any number n is then the number of objects in the series up to and including n, bootstrapping the entire sequence of natural numbers from this primordial void. The concept-object distinction is thus the hinge on which a purely logical derivation of number — and, by extension, of seriality and the subject — turns.

This concept appears once, in Duroux's presentation as reconstructed in jacques-lacan-seminar-12-1 (p. 88), and functions as the philosophical-logical foundation from which Miller will build a Lacanian theory of suture and the subject. It sits at the intersection of several canonical concepts in the corpus. Its most direct link is to Frege's Anti-Psychologism: the concept-object distinction is precisely the move that removes number from the sphere of subjective mental activity and locates it in a purely objective logical relation — concepts and objects are "objective representations" that exist independently of any psychological subject. This prepares the ground for Lack: Frege's zero — the count of objects falling under a self-contradictory concept — is not mere nothingness but a formally produced void, a lack inscribed within the logical order itself, which Lacan will re-read as the structural lack constitutive of the subject. The concept-object distinction thus extends and specifies the canonical definition of Lack by giving it a formal, logical derivation rather than a merely ontological or developmental one.

The relation to the Successor Operation is equally direct: it is the concept-object distinction that makes the successor function possible, since each successor is defined by counting objects falling under a concept defined relative to the previous number. This serial structure prefigures the Signifier's logic — where each signifier is defined differentially with respect to others — and gestures toward Splitting of the Subject, since the subject who emerges from this chain is always already displaced by the very operation that constitutes it. Negation enters at the origin: the concept "non-identical to itself" is a negated, self-cancelling predicate, making negation the formal motor of the entire numerical sequence. Duroux's reconstruction thereby provides the logical scaffolding that allows Lacan and Miller to argue that Foreclosure — the non-inscription of a signifier — and Lack are not merely clinical or ontological phenomena but have a rigorous logical basis in Frege's own formalism.

Seminar XII · Crucial Problems for Psychoanalysis (alt. translation)Jacques Lacan · 1964 (p.88)

these objective representations are themselves reduplicated in what Frege calls a concept, in what Frege calls an object... is nothing other than a monadic relationship, namely what is called a relationship of an element which is the support of this relationship

The phrase "objective representations are themselves reduplicated" signals Frege's anti-psychologistic move: concepts and objects are not mental images but a second-order logical structure; and the specification that the relation between them is "monadic" — a single-place predicate applying to one element — captures why the concept-object tie is all-or-nothing, the formal structure that will allow zero (and hence lack) to be logically derived rather than empirically observed.