罗素悖论的目录形式与拉康的循环改写
罗素悖论的集合论核心可写成:考虑一切“不属于自身”的集合所构成的集合 \(R\)。若 \(R\in R\),按定义又必须 \(R\notin R\);若 \(R\notin R\),它反而符合收入 \(R\) 的条件。矛盾指向的是未受限制的理解原则,不是只要出现“集合”和“自身”两个词就会自动形成悖论。
“所有不收录自身的目录之目录”是这项结构的通俗版本。如果总目录收录自身,它就不再满足“不收录自身”的条件;如果不收录自身,它又应当被总目录收录。这一比喻有助于显示自属关系的矛盾,但不是罗素原论证的全部形式内容。
《研讨班 XIV》不停留在这一标准反证。第一课把目录版本称为“图像”,又说这样的目录无法编制到终点;第二课把不同目录排列成环,试图用循环的能指序列取代一个能够自我封闭的总体。这是拉康对能指链的理论改写,不是数学上对罗素悖论的公认消解方案。
第五课进一步区分两种情形:把总目录印进自身会使目录机制失效;能指链中的横杠却不是这样一枚被收入的“最后能指”,而是在不同能指上轮转,阻止它们完成自我意指的功能。这里的直接文本结论是区分自指悖论与能指链的运作;把后者看成前者的数学解答,会跨过拉康自己画出的边界。
来源
- Bertrand Russell, “Mathematical Logic as Based on the Theory of Types”(英文;1908 年原始论文扫描,论述逻辑矛盾与类型层级)
- 麦克马斯特大学罗素研究中心:《罗素文集》第 5 卷目录(英文;研究中心书目,确认 1908 年论文及其在类型论文献中的位置)
- 《研讨班 XIV》第一课 s14-01-0129—s14-01-0132(法文;目录图像与无法编制到终点的限定)
- 《研讨班 XIV》第二课 s14-02-0079—s14-02-0084(法文;不包含自身的目录及其循环排列)
- 《研讨班 XIV》第五课 s14-05-0090—s14-05-0092(法文;自指目录与能指链中轮转横杠的区分)