An Attempt to Integrate the Lacanian Formalism into Generative Relational Being

Theories of value generation and of distributive justice presuppose that participants can recognize a relation as reciprocal and can identify extraction as extraction. These are interpretive capacities, and they are assumed throughout and explained nowhere. Inferentialist accounts of normative practice describe the keeping of deontic score and leave the participants' investment in the score unaccounted. No available framework in governance or economics explains why participants sustain the very relations that damage them. Psychoanalysis supplies such an account, and this paper asks what may be taken from it and at what price. The apparatus is separated into three levels — the phenomena it addresses, the concepts it deploys, and the calculus of primitives in which those concepts are written — and each is examined for derivation, translation, or refusal. The results are asymmetric. Three central mathemes are derived: the Other is what composition produces, the barred subject is an occupancy with nonzero residue, and the signifier of the barred Other is the non-coincidence of a position with its own claim. They are shown to stand in one process that the source lacks, in which the master signifier conceals the barring of the Other. Two primitives are dissolved: the object-cause of desire is the residue of an operation, hypostatized by a theory with nowhere to put it, and the lozenge proves undefinable for relating a subject to that reification. One posit is refused with argument: the Real reintroduces an exterior, and its phenomena admit a better account as structural exclusion. One consequence reaches beyond the source. The attempt to make occupancy exact operates at the level of the order, where it is domination, and at the level of the participant, where it is exploitation. This yields a derivation of a condition that theories of generative justice have identified and left underived: a configuration providing no locus at which a participant's excess can register consumes the capacity by which it would go on generating. The unifying operation is identified and left undefined. Every occurrence of the bar in the source calculus marks one thing: composition fails to close. Its formal identity is stated as the central open problem, with four constraints on any candidate.