Propositional Function

The "propositional function" designates, in Lacan's usage, the logical structure that results when a proposition is emptied of its particular content and a variable "empty place" is left in its wake — a placeholder whose filling by an argument is what determines the logical value of the resulting statement. Lacan draws here on the Fregean–Russellian tradition (the function φx, where x is a free variable), but transforms its significance: the "empty place" is not a mere grammatical slot awaiting substitution, but the structural index of Lack itself. Rather than treating the proposition as a coupling of subject and predicate (where the verb is subordinated to a predicative function), Lacan insists on isolating the verb — the function — as the operative, generative element. The proposition is thereby reformulated as the tracing of a structural gap around which an argument comes to be determined.

This move is directly articulated with the formulas of sexuation in Seminar XIX/XIXa: the phallic function φx is precisely a propositional function — not a fixed property attached to a subject, but a structural operation that governs differently across the masculine and feminine sides. The "empty place" instantiates the asymmetry of sexuation: the universal quantification on the masculine side and the "not-all" on the feminine side are both specifications of how an argument relates to (or fails to be fully determined by) the function φx. The propositional function thus becomes the formal vehicle through which Lacan distinguishes the Symbolic operation of the phallic function from any imaginary or predicative reading of sexual difference.

This concept appears twice in jacques-lacan-seminar-19 and jacques-lacan-seminar-19a, both in the context of the formulas of sexuation, and belongs squarely within the late Lacanian project of formalizing the non-relation between the sexes via logical operators. It functions as a technical hinge between Topology (the "empty place" is a topological hole — a lack inscribed in structure, not merely an absence of content) and the Borromean Knot (the triadic knotting of demand, refusal, and offer in Seminar 19 likewise generates an irreducible gap — the objet petit a — structurally analogous to the empty place of a propositional function). The concept extends the canonical notion of Lack by giving it a precise logical notation: lack is not vague negation but the determinate empty variable around which argument and function are organized.

In relation to the Four Discourses and the Discourse of the Analyst, the propositional function maps onto the structural logic whereby objet petit a occupies the "agent" position as a void — not a filled term but a generative absence that solicits the analysand's production of S1. Topology provides the broader frame: Lacan explicitly states in Occurrence 2 that it is "starting from the existence of the formulation of this topology" that the propositional function could be imagined at all, confirming that the empty place is a topological rather than merely grammatical notion. The propositional function thus operates as a specification of the Lacanian topology of the hole within the register of logical formalization — it translates the topological concept of the hole into the language of predicate logic, enabling the sexuation formulas to be written with mathematical precision rather than illustrated metaphorically.

Seminar XIX bis · The Knowledge of the PsychoanalystJacques Lacan · 1971 (p.81)

It is only starting from the existence of the formulation of this topology that we have been able, from any proposition, to imagine that we might make a propositional function. Namely, something that is specified from the empty place that is left there and in function of which the argument is determined.

The phrase "empty place that is left there" is theoretically loaded because it identifies the propositional function not with a positive term but with a structural absence — a hole — making explicit that it is Topology (the formal study of holes, surfaces, and lacks) that first makes the logical concept of a variable thinkable for Lacan. The further clause "in function of which the argument is determined" inverts the ordinary logical order: it is the void that determines the argument, not the argument that fills a neutral slot, which aligns the propositional function directly with the Lacanian logic of Lack and Desire as cause rather than effect.