第三章　工具·两种遮与四句

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

本章要做的事。 全篇要用的逻辑工具一次备齐，逻辑的选择也在此定案：归谬只需矛盾律加归谬法，经典逻辑足够，四句读作带预设取消的否定。工具章先行，为的是让后面每一步推导都用现成的器具，不中途新铸。

纲目。

  • 断言与拒斥两种言语行为的分别；两种遮：纯遮（遮而无立）与有立之遮，遮诠与表诠之别的形式化。
  • 关键引理：拒斥不蕴涵反断言。弱拒斥的形式表述；Frege 的反对、双边主义的扶正、弱拒斥的修正，一线交代。
  • 四句的形式读法三案并陈（肯定式、参数化、预设取消），取预设取消为主案；四句在婆沙是填格子（应作四句三百一十二处），在龙树是烧格子，同形异用在此立明；教阶与遮破两族分治，以收尾句式为判据。
  • 同异两难的形式骨架：同一性判准的选取、莱布尼兹律的使用范围、效力锁定条款（两难对 E3 论者生效，对施设论者不生效）；元层同异（框架内比对）与对象层本体同异（免框架比对）之分，承第一章定义边界条款。
  • 观因缘品第一颂作全样例走一遍。

材料。 前期调研的三条结论全数入章；《回诤论》三偈作古典陈述；青目注有自故有他一句备作关联性前提的首要证词（转第四章）。西线：Frege、Incurvati–Schlöder（弱拒斥单篇与全书）、Horn（元语言否定）、Strawson（1950 与 1952）、von Fintel（预设检验）、Rumfitt（在途，成稿回填）。对表：Westerhoff 第四章、Ruegg 1977、Tillemans 第九文、Matilal 第十六章。

接口。 用到第一章定义；交出遮的算子、四句读法与一异骨架，第四、五、八章直接取用。