南哲思享｜张建军张顺：条件句的语义排歧与假设性思考的量化机制——五论从形式蕴涵看“实质蕴涵怪论”

摘要：能够使用条件句做假设性思考，是人类理性思维的一种重要特征。自然语言条件句的语义排歧，需要在区分条件句与条件命题、命题与命题函数的基础上，更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究，使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决“实质蕴涵怪论”问题造成的假设性思考疑难，消除因果模型论的“反经典外貌”，维护实质蕴涵理论的基础性和普适性，经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。
关键词：假设性思考；条件句；实质蕴涵怪论；形式蕴涵；量化机制
2001年，逻辑学家、人工智能专家珀尔（Judea Pearl）以因果模型论为核心的因果推理理论，获得了计算机科学界的最高奖——图灵奖，在逻辑学及逻辑哲学界引起较大震动。珀尔的因果模型论力求刻画人类假设性思考背后所依据的实质因果观，从而构成对反休谟主义因果理论的强力支持。该理论中另一个重要的副产品，就是对20世纪末以来国际学界流行的条件句理论研究中“非真值条件进路”的有力反驳。2019年，台湾大学出版中心“台大哲学丛书”推出了中正大学王一奇教授的一部力作——《另类时空图书馆：假设性思考的难题及其解决方案》。该书基于作者研究条件句理论多年之功，将珀尔的因果模型论运用于系统探究假设性思考的逻辑机制，而且采用了一种对读者友好与面向实用为特征的写作方式，富含创意与启发价值，是目前在运用因果模型论探究假设性思考逻辑机制上内容最为充实的中文文献。
我们发现，基于因果模型论考察条件句与假设性思考的系列疑难，与我们多年探究的从形式蕴涵看“实质蕴涵怪论”的研究进路具有深刻关联，而其中所呈现的一些问题亦值得深入研讨。故本文在向读者推荐王一奇教授这部学术精品的同时，拟就其中涉及的几个重要问题展开进一步讨论。
一、自然语言条件句的语义多样性及其澄清路径
我们在近几年发表的“从形式蕴涵看‘实质蕴涵怪论’”的系列论文①中，反复论证了如下基本观点：以往由实质蕴涵怪论所造成的疑难，往往缘于条件句与条件命题、命题与命题函数之层面混淆，而以第一种混淆首当其冲。如《层级论》一文所指出：
因为自然语言“条件句”经常被用来表达形式蕴涵命题这一“语用事实”的存在，英语学术文献中通常使用的简约表达式“conditionals”究竟指谓“条件句”还是“条件命题”，是必须加以分辨的。若我们把“条件命题”界说为直接断定命题（或陈述、恒久句）与命题之间的蕴涵关系，则形式蕴涵命题就不属于条件命题。因此，一个更为严谨的策略是，把“conditionals”约定为仅指谓自然语言“条件句” （conditional sentences），而指谓条件命题（或陈述、恒久句）时则明确使用“conditional propositions（statements，eternal sentences）”。