磨坊论证

破除误解：不是参观记录，也不是中文房间#

第一个误解，是把磨坊读成一篇游记。原文的连接是「假设有这样一台机器」。放大是思想操作：若知觉可以从部件的推动里读出，那么把尺度放大到人能走进去，应该能指出那一件解释知觉的部件。走一遍只看见推动。看不见，被他用来反对「知觉就是机器内部的形状和运动」这一种解释。没有磨坊的地址，没有参观日期，也没有一台真实的机器被打开。把它写成报道，论证就变成对某座厂房的观察，而不再是对解释类型的限制。

第二个误解，是把这一节读成莱布尼茨已经反驳了计算机，或已经证明程序不能思维。1714 年没有程序、图灵机或数字计算机这些对象。这一节限制的是机械解释：形状和运动、部件的互相推动。限制并不自动变成对符号规则的论点。符号规则是后文。后文可以问规则是否足以构成理解。那一问用的是另一套词汇。把第 17 节写成已经判决了图灵测试，会把三百年后的机器倒填进磨坊。

第三个误解，是把磨坊和塞尔的中文房间当成同一个实验的两个名字。总览把两者先后放在「机器能否思维」的问题上，这个编排合理。文本并不相同。第 17 节的观察者看见的是推动。中文房间的观察者看见的是按规则搬运符号，而且从外面看答案像理解。塞尔要分开的是语法和语义。莱布尼茨要分开的是复合物里的运动和简单实体里的知觉。搬符号不是推动齿轮。简单实体也不是一本规则手册。两则论证都怀疑「把内部过程看一遍就等于看见了心灵」。怀疑的落点不同。并成一个名字，两个落点都会消失。

第四个误解，是把这一节写成已经提出了当代的「困难问题」这个术语。总览说它预见了物理过程如何产生主观体验这一问。预见是事后的亲属关系。第 17 节自己的句子是：知觉不能由形状和运动解释，所以要到简单实体里找。它没有使用「困难问题」这个名称，也没有讨论脑成像或神经相关物。亲属关系可以写在跨域节。名称不能写进 1714 年的节号。

简单实体不是多出来的一个齿轮#

第 17 节的肯定句很短。既然在放大的机器里找不到解释知觉的部件，知觉就不在复合物里。简单实体不是机器里一个更小的零件。若它仍是零件，走进去就应该能指着它。论证的力量正是：任何仍由部分组成、仍靠推动工作的东西，都重复同一个失败。所以知觉的主体被放到没有部分的那一类实体上。这是形而上学的安置，不是一项测量。本页不把单子论的其余九十节收成磨坊的推论。其余各节谈知觉的等级、预定和谐和上帝。那些句子不由第 17 节单独证明。

齿轮、杠杆和连杆是后来讲解时的画面。第 17 节的机械图像是互相推动的部分。画面可以帮助想象「看一遍内部」。画面多出来的零件名称，不是 1714 年的原文。本页用推动，不用一张具体的机床清单。

它证明什么，停在哪里#

它证明：在《单子论》第 17 节里，知觉被写成不能由形状和运动解释。它证明磨坊是按比例放大的假设，不是参观。它证明这一节把知觉安置在简单实体，而不是复合物。它没有证明计算机不能通过任何测试。它没有证明中文房间的结论。它没有报告一座真实磨坊的内部。它也没有因此证明简单实体已经被观察到。观察不到机械部件里的知觉，是这一节的否定句。肯定句是形而上学的。否定句成立，不自动让肯定句变成经验科学。

跨域连接#

• 机器能思维吗：总览在笛卡尔之后引入磨坊，并写成按比例放大后只见互相推动的部件，知觉被放到简单实体。本页只守第 17 节：推动解释不了知觉。对读时不要把参观、零件清单或中文房间的规则手册写进磨坊的内部。
• 中文房间：1980 年的房间用规则处理符号，从外部看像理解。1714 年的磨坊用放大后的推动，从内部看仍没有知觉。两则都拒绝「看过程等于看见心灵」。对读时把语法和语义留在塞尔，把简单实体留在莱布尼茨。
• 哲学僵尸：僵尸论证假设行为完全一样而没有体验。磨坊论证假设内部全是推动而仍要解释知觉。一个从外部行为进，一个从机械部分进。对读时不要把「可设想」写成第 17 节已经使用的词。
• 玛丽的房间：玛丽掌握了关于颜色的物理知识，走出房间才面对看见本身。磨坊里的参观者掌握了部件的推动，仍然没有因此得到知觉的解释。两则都怀疑物理描述是否穷尽体验。对读时，玛丽的房间是后来的知识论证。磨坊是 1714 年的单子论。
• 蝙蝠：内格尔问成为蝙蝠是什么样，强调观点不能被客观描述耗尽。莱布尼茨问的是知觉能不能在推动里被指出来。对读时不要把蝙蝠的声呐写成磨坊里缺少的那一个零件。缺少的不是一种感官，而是任何零件都提供不了的那一种解释。

参考文献#

1. Leibniz, Gottfried Wilhelm. Monadologie, §17. 1714. 标准文本见 Gerhardt 编 Die philosophischen Schriften von Gottfried Wilhelm Leibniz 第 6 卷。本节：知觉不能由形状和运动解释；放大到磨坊尺度后只见互相推动的部分。