专著母题 · 德麦国际专著第 141 号
《普通人都能明白的弗雷格》
他用逻辑把复杂的发生塑造成清晰的发现,塑得越清晰,那个「在那儿的世界」就越像本来就在那儿。
一、它推翻的默认看法
默认看法有两层。第一层认为逻辑是中立的透明工具:一样东西越清楚、越能被人人检查,就越说明它不是人弄出来的,而是本来就在那儿、被找到了。弗雷格定下的规矩正是「凡是清楚的就是本来就在的,不清楚的不算数」。第二层认为意思若从一群人怎么说、怎么用里长出来,逻辑的必然就没了着落,所以意思必须住进一个不生不灭、不靠任何人的第三领域。本书认为两层都错在一步:把一样东西长稳之后的样子,当成它出生之前的住址。清晰是凿出来的,清楚是剩下来的,不是本来的;公共的,也不等于永恒的。
二、母题怎样立起来
全书立在王德生口述的承重命题上:用逻辑将复杂的发生塑造为清晰的发现,将「在那儿的世界」呈现出来。它说了三件事:他面对的本来是复杂的发生;他用逻辑这把凿子把它塑成清晰的东西,凿掉的是模糊的、正在成形的、有来历的;凿成之后他说这是发现。
论证拆成五条判决,每章都按同一格式走:他看见了什么,这一凿凿掉了什么,凿成的被叫作什么。一,发生在句子里:词放进句子才活,概念是带空位的模子,晨星昏星说明涵义是一条路,可他说路早就铺好了。二,逻辑是一把凿子:《概念文字》是器具,器具参与决定什么清楚什么模糊,他却把唯一的一把凿子当成石头的纹路。三,清晰是凿出来的:边界模糊的不算概念,色调不算,「怎么来的」划给心理学,数只对着概念说。四,凿成的叫作发现:由「公共」一步步滑到「永恒」。五,一封信:外延规则被罗素的矛盾咬回自己,体系里真理不会错,没有判错的座位。十六处看见配十六处收回,合成一个根:塑成发现。落点是:清晰本身会制造「本来就在那儿」的样子。
三、核心构念
塑成发现:把一样东西长稳之后的样子,当成它出生之前的住址;全书十六处看见与收回的共同根,与柏拉图卷的「先在化」同构,与亚里士多德卷的「倒装」相近。
凿子:逻辑作为器具,有侧重,参与决定什么清楚什么模糊;用来破「逻辑是中立的」。
看见与收回出自同一个动作:每个洞见(如语境原则)随后都被他收回;用来组织各章。
三根承重梁与替换:第三领域、边界分明、发现;替换为一块约出来的公共地(有生日有来历有版本会改)、一条显露的光谱、一次塑造加签收。
签收:塑成的东西要写明时间、土、凿子与地界,本书自己在第四十一章签了一次。
源与流:弗雷格是塑造者定下规矩,罗素是执行者把凿子用到原子语言与世界。
四、全书骨架
全书十一编五十二章,另有前言、导读、导论、结语、十一个附录。第一编讲一个人和他的语言;第二编讲他接手的题:算术凭什么一定对;第三到第七编是五条判决,依次是发生在句子里、逻辑是一把凿子、清晰是凿出来的、凿成的叫作发现、一封信;第八编为SDE总解构,含五位辩护人、判词体检、合成一个根、三根承重梁、病根与死法、把刀对准本书自己;第九编讲身后,从罗素、维特根斯坦、卡尔纳普、哥德尔与图灵到达米特与克里普克,以及Sinn与Bedeutung的中译;第十编讲机器开口以后;第十一编落到教育、健康、事业。
五、关键案例与证据
一九〇二年六月罗素来信指出矛盾,六天后弗雷格回信,并在第二卷末加附录认账,是书中最难的回写;晚年转向几何,失败被判给语言。罗素的文件夹版本:装着所有「不装自己的文件夹」的文件夹。晨星与昏星:同一颗金星,同事原来是论坛上的「山里的风」。望远镜比方:月亮是指称,镜中的像是涵义,视网膜上的像是表象。《概念文字》的电路图式记号排字工人排不了。「六十二岁算不算老」被赶出逻辑;一盒鸡蛋是一还是十二。体检单上「血压偏高」,你心慌,妻子想起外婆。基底编出的书名涵义饱满、查无此书,被读成他命名过的毛病。
六、碰撞接口
可抽出的命题:
- 凡把清晰当作本来之物的凭证者,皆是把塑成的结果写成了出生的住址。
- 公共不是永恒;一块约出来的公共地可以有生日、有版本,仍然公共。
- 凿得太清楚的形状,会回头咬自己;错在把清楚当成了没有地界。
可相撞的方向:与一切以「可检查、可形式化」作为实在性标准的学科相撞,如数学基础、形式语言、法律的条文化、指标化的医疗与考核。可撞点是:形式化究竟是发现还是塑造。也可与基底的「意思从用法里长出」相撞,检验组合性是否从规则里来。
站内邻书:
- 第165号《普通人都能明白的罗素》:同向,是本书的另一半,源与流。
- 第142号《普通人都能明白的塞尔》:同向,意义与语言行为一侧。
- 第154号《普通人都能明白的梅洛-庞蒂》:同向,从身体与互动一侧破先在。
- 第120号《130年哲学思想史解读》:同向,前卷已两次判过他,本书接着判不改判。
七、边界:什么情况下算错
本书把刀对准自己,附录四列出「本书自认最弱处与推翻条件」。它尊重的界线是:公共性、可检查的好处一样不丢,丢掉的只是「本来就」三个字;弗雷格是一个会死的活体系,靠别人的回写活了一百多年。判断依赖的前提是:清晰确实经过凿子的选择,而不是对象自身的性质。若能证明某个清晰的形式体系的边界完全由对象自己给定,与任何塑造无关,则母题不成立。书中引文凡拿不准的标〔待核〕。