概念地图
本体论证明
从概念直接推存在；本书最脆的一步。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
安瑟尔谟 · 十一世纪 · 《宣讲》中的论证
从「无法设想更伟大者」这个概念推出上帝必存在，理由是存在于实在中比只存在于理解中更伟大。他反对的是把信仰与论证分开；代价是同时代的高尼罗立刻用「最完美的岛」作了归谬。
奠基
笛卡尔 · 第五沉思 · 从本质推存在
换了一条路：上帝的本质中包含存在，正如三角形的本质中包含内角和等于两直角。他反对的是把存在看成与本质无关的外加之物；代价是这一步要求存在能像属性一样被包含在本质里。
转向
高尼罗与伽桑狄 · 归谬与直接反驳
前者用最完美的岛显示同一形式可以推出荒谬结论，后者在第五组反驳中直接指出存在不是完满性之一。两条构成本章最强的反方。
反例
康德 · 1781 年 · 《纯粹理性批判》论本体论证明
给出致命的一句：存在不是一个实在的谓词，它不给概念增加任何内容。这一步把争论从「存在算不算完满」转到了「存在是不是谓词」，此后本体论证明的辩护都必须先回应它。
修正
机制02
把存在装进本质
安瑟尔谟那条路笛卡尔没有走，他在第五沉思换了一条：把上帝的观念当作有确定内容的对象，正如三角形。两条路后世共用一个名字——本体论证明。它在全书里的位置很特别：第三沉思那条要用因果原则、要从我的观念出发，这一条什么都不借，只用概念本身。省下来的东西不是白省的——全部重量因此压在「存在可以像属性一样被包含」这一点上，下面的推导会把它单独拎出来。
机制一个概念通过把存在算作它内含的属性直接推出对象的存在。
可迁移性测试
换到规格书：写一份规格并不使产品存在，无论规格里怎么写「本产品已投产」。不同构的地方在于产品是偶然的，而笛卡尔要处理的是一个据称必然的对象——这正是他认为普通反例不适用的理由，也是争论无法靠日常例子终结的原因。
机制03
谓词与设定
康德的反驳不是说上帝不存在，而是说这条论证的形式有问题：说「某物存在」不是给它加上一个属性，而是设定这个带全部属性的东西被给出了。用他的例子，一百个想象的塔勒与一百个实际的塔勒在概念内容上一模一样，差别不在概念里。这一条把争论从「存在算不算完满性」转成了「存在是不是谓词」，而后者是一个逻辑问题，不是神学问题。
机制一次范畴区分通过把存在从属性挪到设定使从概念推存在的形式失效。
可迁移性测试
换到数据库：给一条记录增加一个字段与把这条记录插入表中，是两类完全不同的操作。无论字段里写什么，都不会使这条记录出现在表里。不同构的地方在于数据库的插入是一个外部动作，而康德要说的是「存在」这个词在语言里本来就不是字段。
推导04
论证的形状与它承压的那一点
这一段要还原的是第五沉思那条论证，并指出全部重量压在哪一步。
上帝的观念是至上完满者的观念，内容确定
笛卡尔选的前提。他认为这个观念是天赋的，不是我拼凑的。
存在是一项完满性
笛卡尔选的前提，也是全章承压的那一点；伽桑狄与康德分别从两个方向攻击它。
凡本质中包含的属性，都可以从本质中推出
笛卡尔选的前提，用三角形作类比。它在数学对象上成立，争议在于能否搬到存在上。
推导 · 0 / 4
裂缝05
这个读法的裂缝
争议地形06
本书主张
上帝的本质中包含存在，正如三角形的本质中包含内角和等于两直角；因此从概念可以直接推出上帝存在。
另一种看法
康德一线主张：存在不是一个实在的谓词，它不给概念增加内容；一百个想象的塔勒与一百个实际的塔勒概念内容相同，所以任何从概念到存在的推理在形式上就走不通。
分歧扎在
分歧扎在「存在是不是一个谓词」这一条逻辑问题上，而不在上帝存不存在。两边都同意：若存在是谓词，笛卡尔的推理有效；若不是，它无效。
什么证据能裁决
能裁决它的是逻辑分析而非文本：把「某物存在」写成形式语言之后，它是落在谓词位置还是量词位置。现代逻辑的标准处理把它归入量词，这一步可由任何人独立复核，不依赖对任何一位作者的解读。
目前的天平压向康德一侧：标准逻辑把存在处理为量词而非谓词。但这只否定这条路径，不否定结论；也有当代辩护主张自由逻辑下存在可以是谓词。还差的是一个各方都接受的形式化约定。
文本检验07
把「把存在装进本质」这个读法写成可检验的规格
要检验的读法是：第五沉思把全部重量压在「存在是一项完满性」上，而没有为这一条单独论证。
版本：拉丁文 1641 年初版为准，第五沉思与第一、五组反驳答辩按标准段落编码引用，中译对照通行译本
版本事前定死。
判据段落：第五沉思论上帝本质与存在的整段，以及答辩中回应「存在不是完满性」的条目
事前指定，不是读完再挑。
什么算支持：第二条前提以断言形式出现，其支撑只有三角形类比，答辩中亦未给出独立论证
独立论证指不预设「存在是完满性」的推理。
竞争读法的预测：若有独立论证，判据段落应出现一个不依赖该前提的理由
两个读法在同一段落上给出可分辨的预测。
事前登记的失败条件：判据段落出现不预设该前提的独立论证
出现即按读法被推翻处理。
推导 · 0 / 3
接口08
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「定义清楚了就好办」——一条关于定义作用的判断。本章要动的是它的边界。
本章对你已有的结构做的是 (a) 替换「定义清楚就好办」这条结论，还是 (b) 约束它：定义能规定内容，不能创造实例？
慢变量登记两个慢变量：你手上有几条论证是从定义推出结论的，以及其中有几条被检查过定义里有没有藏进结论。三天后先看第二个。
小结09
本章小结
01第五沉思这条论证在形式上有效，全部内容都在前提里。
02承压的是「存在是一项完满性」，笛卡尔未为它单独论证。
03康德的反驳不是「上帝不存在」，而是「存在不是实在的谓词」。
04最完美的岛可以被排除，代价是论证的适用范围收窄到唯一对象。
05只对唯一对象成立的论证没有第二个案例可检验，这是争论不休的结构性原因。
提取练习 · 合上书，先自己答一遍。
?「至上完满者的本质包含存在」是 (a) 由「至上完满」的定义展开得到的 还是 (b) 可被原文推翻的文本命题？
?康德否定的是 (a) 上帝存在这个结论 还是 (b) 从概念推存在这条路径？
受迫二选一10
B 标签辨识
「若存在是完满性，则至上完满者的本质包含存在」这一步是什么？
二选一
受迫二选一11
D 接口判断
哪一条能挂进你已有的结构？
二选一
读到这里，把它记为已读。