专著母题 · 德麦国际专著第 76 号

《发现与发生》

发现不是发生的对立面,而是发生链被磨平后的时相;「发现还是发明」是磨平工序制造的问题,磨平的代价落在下一次发生上。

副题
一场两千五百年的争论,问错在哪里
作者
王德生 著(出版信息标注协撰:Claude)
分类
哲学与SDE
题域
哲学·数学教育
题型
Why

一、它推翻的默认看法

默认看法是:数学对象要么是被发现的(先在,人只是撞见它),要么是被发明的(人造,并无先在),两派各执一端,争了两千五百年。书的判断是这场争论问错了。它的起点是一节三年级分数课:当堂几乎全对,一周后问1/2和1/3谁大,近半数孩子答1/3更大,因为3比2大。作者把教室里的现象、数学系走廊上的柏拉图主义之争、教科书第一页就是定义,并成一件事,认为第三个是前两个的原因。错在争论双方都默认被谈论的对象是一个现成的东西,而它是一件被磨掉来路的产物。来路被抹掉的东西显得「本来就在」,两派据此对它的出身做出相反的推测,而这件产物的形状使推测不可能有结论。

二、母题怎样立起来

第一步是定位:发现与发生是同一条发生链的两个时相,发生是链在跑,发现是链跑完并被磨平之后的样子。一个数学对象被造出来时带着逼出它的困境(土壤)与走通它的曲折(路径),进入课本时两样被磨掉,写成发现=发生-路径-土壤,称光滑化。第二步是诊断争论:柏拉图把光滑化的极限产物当起点,为此另设理念世界;欧几里得把发生链终点摆到第一页,次序本身成了机器,不需要信徒;笛卡尔、康德、弗雷格、哥德尔、布尔巴基是同一动作在不同高度上的重复,书称之为回溯性本体化,共同语法是只问「这个对象从哪来」,不问「它怎么被接住」。

第三步检验反方:亚里士多德、维柯、布劳威尔、皮亚杰、拉卡托斯、拉图尔与伍尔加六次反攻,每次赢在局部、输在整体,因为显形一块地基需要选定条件、切出路径、裁决为真,这三条标准只能预设并硬化沉底,拆对面的先在,就得在自己这边立一个。第四步是代价:成功的接收在接收者身上写下一条关于底盘的规则,「对象先在、接收不触发改写、可用与理解脱钩」,这条规则一旦写下,后续改写不再被调用,称封写。接住了确认规则,接不住归因给学生,规则只进不退,累积成先验的虚幻。第五步是出路:不问归属,问工序;做去光滑化的三个还原,并在此之前先解锁。中间立一道挡板,光滑化是文明积累搬运的前提,不能取消,需要的是存储与习得两份形态。

三、核心构念

四、全书骨架

导论之后六编三十四章,另有母题、七条写作纪律、结语和六个附录。编一「先在的六次立法」(第一至六章)逐位解剖柏拉图、欧几里得、笛卡尔、康德、弗雷格、哥德尔与布尔巴基。编二「发生的六次反攻」(第七至十二章)检视亚里士多德至拉图尔与伍尔加,每位都另立先在。编三「工序」(第十三至十九章)把光滑化拆开,含二十个数学对象的来路、定义在第几段、光滑化的必需、两份形态,以及新数学的失败。编四「代价」(第二十至二十四章)论回写如何杀死回写,辨异八位占位者。编五(第二十五至二十八章)改判四组老对峙。编六「出路」(第二十九至三十四章)给出去光滑化、元层解锁、七个案例、三个预注册实验与可推翻条件。每章设一张判断卡片和一节「一处对本书不利的读法」。

五、关键案例与证据

分数课是全书的原点案例。文本证据是《几何原本》的次序:二十三条定义、五条公设、五条公理再推四百六十五个命题,希腊几何里的测量、作图、不可公度量危机和倍立方难题在书中一条都没有。核查指标是「这个概念是为解决什么而出现的」这句话出现在第几段。外部核查案例是一九三〇年代起法国数学家以虚构姓氏重写数学的路线,及其下放儿童的新数学改革,书称这是发现范式两千五百年来唯一一次被外部世界大规模核查,结果与预测方向相反,但不主张一因论。解锁的例子是让学生自己定6÷0等于几再撞后果。封写假说交给三个预注册实验与三条撤稿级条件,先在感指数 π 为五题量表;材料未显示这些实验已完成。

六、碰撞接口

七、边界:什么情况下算错

全书级可推翻条件有两条:若有成熟、被广泛传授的知识对象,其来路完整保留在教学呈现中,而学习者仍系统性表现出「本来就在那里」的先在感,则第二部件被推翻;若有一群从未接受光滑化教学的学习者,其先在感指数与受教多年者无显著差异,则第三部件被推翻。作者另划三界:不取消定义、不取消严格性、不把每节课上成数学史;不反对讲授,主张学习者先撞到旧办法的边界、再由教师明确讲授;全部论证在数学与数学教育内部进行,不越界到哲学全史。