第四章　主论证¶

【规划】 本章尚未动笔，以下为暂定的写作范围。

本章要做的事。 定理开证。关联性前提 P 先立后用，目标是分析真：凡存在者，其同一性条件必然涉及别异与关系；青目注的有自故有他一句，是这条前提最早的证词。随后核心推导全文展开，观去来品作工作样本收尾。

纲目。

• P 的三种立法（分析真、先验真、经验概括）与选择；分析真一案的正面论证与代价。
• 对手的标准豁口：认识依赖与存在依赖之分；众贤的为境生觉正站在豁口上；封口之路（无认识通道的存在断言无内容）与它逼近证实主义的代价，如实算清。
• 核心推导：设有 x 满足 E3 且 D2；由 P，x 的同一性条件涉及关系；由 D2 第一条件，不得涉及；两相冲突，归于矛盾。强版立此；封不住豁口则中版顶上：论证必用关系性资源，结论宣布资源对 x 无效，矛盾在断言行为与命题内容之间。
• 弱版的位置：二十七品的穷举实况；强版是把二十七次归谬里反复出现的同一根杠杆（不待异法与必待异法）提炼成一条。
• 工作样本：观去来品，已去无去、未去无去、去时亦无去，读作关系域上的实例化；观因缘品四缘，收第十六篇末章的接榫。

材料。 T1564 观去来品、观因缘品；Siderits–Katsura 第一、二品；Garfield 对读。

接口。 用到第一至三章全部；交出三版命题的证明主体，第五章接自反，第七章接检验。