专著母题 · 德麦国际专著第 165 号
《普通人都能明白的罗素》
罗素悖论是发现学地基自己的缝,康德悖论换了衣服;他补了缝没换地基,换了地基这个问题就问不成。
一、它推翻的默认看法
默认看法是:罗素悖论是一个出在集合论推理里的技术性漏洞,经过类型论、分层和公理的修补,可以靠更严密的逻辑堵上;罗素本人是最清楚、最严密的思想者,清楚本身就是美德。本书认为这两件事都看错了位置。缝不在推理里,在地基里:对象本来就在、方法中立、知识累积,这三块发现学地基在「一个全体」上碰头,缝由地基组成,所以补推理补不好。至于「清楚」,作者借「你说清楚」的日常要求指出:有些事越逼自己说清楚越说不出来,水至清则无鱼。罗素只认定了型的那一格,一锅粥当糊涂,正在成形当含糊,两样都要清掉。作者同时声明,拆不是推倒更不是骂,罗素是拆的大师,书里要做的是拿他自己的刀拆他自己。
二、母题怎样立起来
全书三根柱子压在一句判词下,来自作者的三句承重命题。第一根,罗素总想清清楚楚,缺乏混沌态与介生态,原子语言是案例:照最清楚语言的设想,孩子第一声对猫、毯子、羊都喊「汪汪」就错了,可世上没有孩子这样学会说话;最清楚的语言,只有一个人能说。第二根,用逻辑做数学是忽视了符号学:符号是粒子态,逻辑是波态,数学是场态,想用波造场,结构这一维丢了。第三根是主轴:康德的四对二律背反,共用一条原则,即有条件者被给予,其条件的整个系列也一起被给予;康德自己的解法是全体不是给定的,是交付的任务,却把做任务的机器焊死不回写。康托尔的对角线是最深的一扇门,可他对最大的几个全体只竖了「这里不算」的牌子。1901年的罗素悖论于是是同一个模子换装:集合本来就在,全体本来收齐,答案本来定好,三块地基在一个全体上碰头,盘点表要不要记自己,记上则表变了,不记则不是全部。
接着看补缝:禁令、分层、再加一条回头的公理当后门,一块地基没换,连会长东西的回头(回写)也一起关在墙外。最后换地基:从集合发现学到集合发生学,三年级二班是开学那天被名单、老师、教室、孩子收出来的,一层层造,悖论不是被禁止,而是不会发生,像方糖落进温水,溶了。贯穿全书的是一个根:发现学,三个问题、三根枝都从它长出。
三、核心构念
- 发现学地基:对象先在、方法中立、知识累积三块;用来诊断悖论为何补不好。
- 粒子、波、场:符号、逻辑、数学分别对应的三种特征纠缠模态;用来说明从波造场丢了结构维度。
- 一锅粥与正在成形:罗素尺子上没有刻度的两种态,对照他只认定型一格。
- 盘点表:罗素悖论的通俗版,表要记一切,表自己也是东西,记不记自己;全书的总比喻是「清单」。
- 集合发生学:集合是被收出来、一层层造起来的,所以悖论不会发生,是问题的溶解而不是回答。
- 整套换,不能长:他一生换过七八套体系,每次整套换,从不在原体系里长。
四、全书骨架
十三编六十四章,另有结语、九件附录与后记。第一编写一个人,从两张白纸长出来的罗素。第二编是他接手的问法:数学站在什么上面。第三编把芝诺、康德、康托尔排成发现学悖论家族。第四编是主轴,讲1901年的缝、盘点表、禁令分层与回头公理,再用他自己的刀拆他,最后以集合发生学溶解问题。第五编写用逻辑做数学丢了什么,第六编写原子语言,第七编写拆到砖为止,第八编写整套换,第九编写同情在清单之外。第十编作SDE总解构,含五位辩护人与二十处闪光;第十一编写身后;第十二编写AI时代;第十三编是教育、健康、事业的用法。
五、关键案例与证据
罗素二十六岁与摩尔一起从布拉德雷式唯心论「越狱」,逃进的是一排本来齐全的抽屉:关系是外在的。康托尔的对角线用「写不全的菜单」解释。老程的盘点表每月盘一次,伙计小吴说一记表就变了。纽曼的信:擦掉站名的地铁线路图可以是任何城市,罗素定义的结构几乎什么也没说;哥德尔使第四卷几何始终没写。摹状词的刀拆「当今的法国国王是秃头吗」,但只有有或没有两格,量不出「部门的共识」这类正在长的主语,斯特劳森后来撬开两格。1948年《人类的知识》写下五条公设,是把长出来的土写成五块砖。蓝黑还是白金的裙子用来说明连砖也是拼出来的。
六、碰撞接口
- 可抽出的命题:(1)凡补缝而不换地基者,缝必在别处重现,因为缝由地基组成;(2)自指悖论不是推理的错误,而是把「全体本来收齐」当作前提的后果;(3)若集合是一层层收出来的,则「集合是否包含自身」不是被禁止,而是问不成。
- 可相撞的方向:与数学基础的各派(逻辑主义、直觉主义、形式主义)相撞,可撞点在谁也没动「全体先在」;与一切自指问题(语言、意识、人工智能自我评估)相撞,可撞点在禁令与发生的区别;与追求「最清楚的语言」的计划相撞,可撞点在清除模糊时同时清掉了共同过出来的土。
- 站内邻书:第141号《普通人都能明白的弗雷格》,同向,罗素那封寄往耶拿的信所对的人;第64号《普通人都能懂的维特根斯坦》,同向,学生掀桌子与后来的语言观;第120号《130年哲学思想史解读》,同向,书中接着其中罗素一章判;第157号《哲学的使命是什么?》,同向。
七、边界:什么情况下算错
附录八登记了三条推翻条件。其一,《论模糊》或《人类的知识》若把模糊、正在成形写成世界本身的状态,第一根柱子即不成立;本书查得《论模糊》未坐实,《人类的知识》使判决四右列收窄一格。其二,《物的分析》以后若把最小单位写成随目的而定、会长、会回头改,「清单」总比喻不成立,查无。其三,若在发生学前提下仍推出同样的悖论,判词不成立,到成书时未见,交给读者。此外全书有九十余处引文与史实标〔待核〕。作者还自认,只说罗素的清单没有成为基底的样子,不说基底证明了SDE。