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

（27）如果这种溶液是酸性的，那么它就能使蓝色石蕊试纸变红。
依据人们对（27）的通常理解，若把这个条件句看作仅仅表达实质蕴涵的实质条件句，将其逻辑形式简单地写作“如果 Ａ 那么 Ｂ”，显然是不正确的。不能说只要面前这种溶液不是酸性的，就自动使得这个条件句为真。这个条件句通常所表达的是一个以“溶液”为受限个体域的形式蕴涵命题，其逻辑形式可刻画为ｒ（Ｓｒ→Ｈｒ）（令Sr为命题函数“r是酸性的”，Hr为“r能使蓝色石蕊试纸变红”）。这是共伴式条件句的一个典型案例。然而在逻辑教学中，仍有学生对这种刻画提出质疑：在实验中若不能使蓝色石蕊试纸变红，就可通过否定后件必然推出这种溶液不是酸性的吗？难道不应再加上石蕊试纸不是劣质产品的条件吗？显然，学生的思考所采用的就是一种干预式思考方式。因为上述形式蕴涵命题之成真，必须限定于实验中不出现劣质产品的正常情境。这种理想化定律，在科学研究和日常思维中都是司空见惯的。
若严格地考虑各种可能情境，则（27）的严格刻画应使用具备两个受限量化域的量词叠置蕴涵式ｒｓ（Sr∧Ns→Hr）（令Ns为“s是正常情境”）。即使在“正常情境”中，也可能出现潜在的“干扰因子”，故这样的规律也只能在高概率为真的意义上来理解。根据不同情况考虑各种干扰因子的影响，也是干预式假设性思考的一个用武之地，这正是“理想化干预”概念所昭示的。因此，对这样的假设性思考的情境限制及量化域转变机制的把握，在探究人类推理与决策中的价值会日益彰显。
条件句的共伴式解读和干预式解读的上述区分，也可更清晰地说明与辩护我们前面就“官邸谋杀案”中出现的条件句所做的形式蕴涵分析，读者可做进一步辨识。总之，在我们看来，珀尔的因果模型论中对干预式假设性思考的强调，进一步凸显关于受限情境量化域认识的重要。而通过形式蕴涵分析化解实质蕴涵怪论问题，澄清自然语言条件句使用中的多重语义，或可为干预式假设性思考建构更为牢固的逻辑基础。
三、余论
在明确条件句的语义排歧路径和假设性思考的量化机制的基础上，我们再就以往讨论中所涉及的一些关键问题做进一步探讨。
罗素关于“形式蕴涵”的命名，的确容易导致其与以“形式保真”为特征的“逻辑蕴涵”的混同，为此笔者在《一论》和《层级论》中，曾就形式蕴涵与逻辑蕴涵的根本差异做了特别说明。本文关于假设性思考的量化机制的研讨，使我们对二者之间的相互关联又有了更加明晰的认识。我们可以在王一奇所讨论的假设性思考之不同类型的基础上，进一步将“假设性思考”概念广义化，使之能够涵盖所有使用具有“保真”意涵条件句的思考方式。实际上，亚里士多德在逻辑学的创始本文《工具论·前分析篇》中，就是用“如果—那么”来联结有效推理的前提与其结论的，这个传统也为现代逻辑用永真（普遍有效）蕴涵式刻画有效推理所继承。而今天国际学界的共识是，即使我们使用已确认为真的前提做有效证明，也只是表示证明者或证明者所在的认知共同体对前提之为真高度置信，并不能确保前提必定为真。