I said:
” I always tell the truth: not all of it, because one cannot get there … Words are missing … It is even through this impossibility that truth is bound to reality” (Jacques Lacan)
Claude said:
This is from Lacan’s 1973 interview (“Télévision” / Television, opening lines) and it doesn’t extend the formal apparatus — it interrupts it. Worth being honest about what kind of move this is before doing anything with it.
What the quote actually does to the conversation. Every refinement across this exchange — Things to Facts, modality to dimension, the pullback construction, totality versus partiality of L — has assumed that the apparatus, once correctly specified, could in principle close: a complete, consistent mapping from extensional/intensional/logical dimensions onto a well-typed Fact/Concept/Symbol structure, with the only open questions being which precise typing is correct. Lacan’s claim is that this closure is the wrong thing to expect of truth in the first place — not because the framework is currently underspecified and needs one more correction, but because full saying is structurally unavailable. “I always tell the truth: not all of it, because one cannot get there.” The incompleteness isn’t a defect awaiting repair; it’s constitutive.
Where this lands on the apparatus, precisely. Recall L: Facts → Signs, declared necessary to observation, with totality-versus-partiality left open two turns ago. The Lacanian claim, read formally, is a vote for necessary, structural partiality — but partiality of a specific kind, irreducible to Wittgenstein’s 1.12 sense (where what’s excluded is determined and bounded by the totality itself, a clean negative space). Lacan’s missing words (“Words are missing“) aren’t excluded by a totality — they name a constitutive failure of the very labelling operation L is supposed to perform. The signifier (Sign, in your vocabulary) doesn’t fail to reach certain facts because those facts lie outside a well-defined boundary; it fails because the relation between Sign and what it signifies is itself structured by a gap that no extension of L’s domain could close. This is Lacan’s objet petit a and the bar between signifier and signified in his algebra — not a missing region of the map, but a hole intrinsic to the mapping relation itself.
The closing clause is the sharpest part: “it is even through this impossibility that truth is bound to reality.” This inverts the standard expectation built into everything done so far. The working assumption has been: the more completely Model and Ontology map onto Facts, the more truth-tracking the framework becomes — adequacy as approach-to-completeness. Lacan asserts the reverse: it is the impossibility itself — the missing words, the unreachable remainder — that constitutes the bond between truth and reality, not something that weakens it. A framework that achieved the closure this conversation’s refinements have been chasing would not be more truthful on this view; it would have severed the very thing that ties it to reality.
This is a real fourth voice, and it doesn’t sit easily with the other three. Aristotle gives you primitive substances bearing accidents. Wittgenstein gives you primitive facts, exhaustively totalized, determining a clean boundary of what’s not the case. Both are, in their different ways, completable metaphysics — atomism with a determinate inventory. Lacan denies that any signifying system — and Model, Ontology, and the L-mediated pullback are nothing if not signifying systems — can be made adequate to the real by any amount of correct specification. This isn’t a fourth dimension to add to the prism. It’s a claim about why the prism, however many dimensions it has, cannot terminate in a verified, completed pattern of the kind defined earlier in this conversation — because verification was characterized as something a pattern achieves and then carries as a warranty, and Lacan’s structural lack would mean every such verification is itself partial in the constitutive, non-closable sense, not the provisionally-incomplete-but-fixable sense.
So the question this actually poses to the framework, stated plainly: is the gap Lacan is naming something Sign is meant to formally carry — i.e., does your apparatus want a primitive non-totality operator, a built-in remainder that no refinement of L, Model, or Ontology can close — or is this quote functioning here as a limit on the entire project from outside it, a claim that no formal apparatus of this kind, however carefully typed, can do the job being asked of it?
Fleeting knowledge & diachronic representations
I said:
It introduces the inherent volatility of knowledge and the necessary diachronicity of representations.
Truth & Reality
I said:
” I always tell the truth: not all of it, because one cannot get there … Words are missing … It is even through this impossibility that truth is bound to reality” (Jacques Lacan)
Claude said:
This is from Lacan’s 1973 interview (“Télévision” / Television, opening lines) and it doesn’t extend the formal apparatus — it interrupts it. Worth being honest about what kind of move this is before doing anything with it.
What the quote actually does to the conversation. Every refinement across this exchange — Things to Facts, modality to dimension, the pullback construction, totality versus partiality of L — has assumed that the apparatus, once correctly specified, could in principle close: a complete, consistent mapping from extensional/intensional/logical dimensions onto a well-typed Fact/Concept/Symbol structure, with the only open questions being which precise typing is correct. Lacan’s claim is that this closure is the wrong thing to expect of truth in the first place — not because the framework is currently underspecified and needs one more correction, but because full saying is structurally unavailable. “I always tell the truth: not all of it, because one cannot get there.” The incompleteness isn’t a defect awaiting repair; it’s constitutive.
Where this lands on the apparatus, precisely. Recall L: Facts → Signs, declared necessary to observation, with totality-versus-partiality left open two turns ago. The Lacanian claim, read formally, is a vote for necessary, structural partiality — but partiality of a specific kind, irreducible to Wittgenstein’s 1.12 sense (where what’s excluded is determined and bounded by the totality itself, a clean negative space). Lacan’s missing words (“Words are missing“) aren’t excluded by a totality — they name a constitutive failure of the very labelling operation L is supposed to perform. The signifier (Sign, in your vocabulary) doesn’t fail to reach certain facts because those facts lie outside a well-defined boundary; it fails because the relation between Sign and what it signifies is itself structured by a gap that no extension of L’s domain could close. This is Lacan’s objet petit a and the bar between signifier and signified in his algebra — not a missing region of the map, but a hole intrinsic to the mapping relation itself.
The closing clause is the sharpest part: “it is even through this impossibility that truth is bound to reality.” This inverts the standard expectation built into everything done so far. The working assumption has been: the more completely Model and Ontology map onto Facts, the more truth-tracking the framework becomes — adequacy as approach-to-completeness. Lacan asserts the reverse: it is the impossibility itself — the missing words, the unreachable remainder — that constitutes the bond between truth and reality, not something that weakens it. A framework that achieved the closure this conversation’s refinements have been chasing would not be more truthful on this view; it would have severed the very thing that ties it to reality.
This is a real fourth voice, and it doesn’t sit easily with the other three. Aristotle gives you primitive substances bearing accidents. Wittgenstein gives you primitive facts, exhaustively totalized, determining a clean boundary of what’s not the case. Both are, in their different ways, completable metaphysics — atomism with a determinate inventory. Lacan denies that any signifying system — and Model, Ontology, and the L-mediated pullback are nothing if not signifying systems — can be made adequate to the real by any amount of correct specification. This isn’t a fourth dimension to add to the prism. It’s a claim about why the prism, however many dimensions it has, cannot terminate in a verified, completed pattern of the kind defined earlier in this conversation — because verification was characterized as something a pattern achieves and then carries as a warranty, and Lacan’s structural lack would mean every such verification is itself partial in the constitutive, non-closable sense, not the provisionally-incomplete-but-fixable sense.
So the question this actually poses to the framework, stated plainly: is the gap Lacan is naming something Sign is meant to formally carry — i.e., does your apparatus want a primitive non-totality operator, a built-in remainder that no refinement of L, Model, or Ontology can close — or is this quote functioning here as a limit on the entire project from outside it, a claim that no formal apparatus of this kind, however carefully typed, can do the job being asked of it?
Fleeting knowledge & diachronic representations
I said:
It introduces the inherent volatility of knowledge and the necessary diachronicity of representations.
Truth & Reality
I said:
” I always tell the truth: not all of it, because one cannot get there … Words are missing … It is even through this impossibility that truth is bound to reality” (Jacques Lacan)
Claude said:
This is from Lacan’s 1973 interview (“Télévision” / Television, opening lines) and it doesn’t extend the formal apparatus — it interrupts it. Worth being honest about what kind of move this is before doing anything with it.
What the quote actually does to the conversation. Every refinement across this exchange — Things to Facts, modality to dimension, the pullback construction, totality versus partiality of L — has assumed that the apparatus, once correctly specified, could in principle close: a complete, consistent mapping from extensional/intensional/logical dimensions onto a well-typed Fact/Concept/Symbol structure, with the only open questions being which precise typing is correct. Lacan’s claim is that this closure is the wrong thing to expect of truth in the first place — not because the framework is currently underspecified and needs one more correction, but because full saying is structurally unavailable. “I always tell the truth: not all of it, because one cannot get there.” The incompleteness isn’t a defect awaiting repair; it’s constitutive.
Where this lands on the apparatus, precisely. Recall L: Facts → Signs, declared necessary to observation, with totality-versus-partiality left open two turns ago. The Lacanian claim, read formally, is a vote for necessary, structural partiality — but partiality of a specific kind, irreducible to Wittgenstein’s 1.12 sense (where what’s excluded is determined and bounded by the totality itself, a clean negative space). Lacan’s missing words (“Words are missing“) aren’t excluded by a totality — they name a constitutive failure of the very labelling operation L is supposed to perform. The signifier (Sign, in your vocabulary) doesn’t fail to reach certain facts because those facts lie outside a well-defined boundary; it fails because the relation between Sign and what it signifies is itself structured by a gap that no extension of L’s domain could close. This is Lacan’s objet petit a and the bar between signifier and signified in his algebra — not a missing region of the map, but a hole intrinsic to the mapping relation itself.
The closing clause is the sharpest part: “it is even through this impossibility that truth is bound to reality.” This inverts the standard expectation built into everything done so far. The working assumption has been: the more completely Model and Ontology map onto Facts, the more truth-tracking the framework becomes — adequacy as approach-to-completeness. Lacan asserts the reverse: it is the impossibility itself — the missing words, the unreachable remainder — that constitutes the bond between truth and reality, not something that weakens it. A framework that achieved the closure this conversation’s refinements have been chasing would not be more truthful on this view; it would have severed the very thing that ties it to reality.
This is a real fourth voice, and it doesn’t sit easily with the other three. Aristotle gives you primitive substances bearing accidents. Wittgenstein gives you primitive facts, exhaustively totalized, determining a clean boundary of what’s not the case. Both are, in their different ways, completable metaphysics — atomism with a determinate inventory. Lacan denies that any signifying system — and Model, Ontology, and the L-mediated pullback are nothing if not signifying systems — can be made adequate to the real by any amount of correct specification. This isn’t a fourth dimension to add to the prism. It’s a claim about why the prism, however many dimensions it has, cannot terminate in a verified, completed pattern of the kind defined earlier in this conversation — because verification was characterized as something a pattern achieves and then carries as a warranty, and Lacan’s structural lack would mean every such verification is itself partial in the constitutive, non-closable sense, not the provisionally-incomplete-but-fixable sense.
So the question this actually poses to the framework, stated plainly: is the gap Lacan is naming something Sign is meant to formally carry — i.e., does your apparatus want a primitive non-totality operator, a built-in remainder that no refinement of L, Model, or Ontology can close — or is this quote functioning here as a limit on the entire project from outside it, a claim that no formal apparatus of this kind, however carefully typed, can do the job being asked of it?