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

有些错觉也具有一定程度上的“恒定性”。比如关于实质蕴涵法则在某些条件句的使用中“失效”，就是一种流传已久颇具“恒定性”的错觉。而通过澄清层面混淆说明这种错觉之所由来，人们在条件句日常使用中的某些具有“恒定性”的为真直觉与为假直觉，就可以通过恰当的逻辑刻画得到“拯救”。尽管我们以往的讨论没有也不可能触及所有蕴涵怪论，但以往系列研讨呈现的基本理路已可以比较充分体现出，从形式蕴涵看实质蕴涵怪论的进路，乃基于对人类假设性思考中使用条件句的为真直觉和为假直觉的充分尊重，因而也可隶属于麦基所谓“经验研究”。而通过对诸多实质蕴涵“反例”的自然化解，消除像因果模型论这样的创新性理论的“反经典外貌”，维护实质蕴涵理论的基础性和普适性，经典逻辑在人类智能和人工智能研究中的基础功能和作用也可得到进一步开掘。
王浩先生曾基于哥德尔和他本人的研究如此谈及形式与直觉的关系：“有效的思维，其特色即是把形式和直觉适当地融合起来。数学和逻辑之所以重要，是因为它们为我们提供了形式与直觉相互作用的模型与参考系。”这为我们探讨条件句和假设性思考这样的课题提供了基本指针。在目前逻辑科学呈现“一体两面”（面向人工智能和信息处理；面向自然语言和实际思维）的大背景下，遵循这样的指针，有利于在学术争鸣过程中产生更多建设性成果。
作者简介
张建军，教授，博士生导师，南京大学现代逻辑与逻辑应用研究所所长，主要从事现代逻辑与逻辑哲学研究；
张顺，南京大学哲学系逻辑学专业助理研究员。主要研究兴趣为现代逻辑与逻辑哲学、语义悖论等。
基金项目：国家社科基金重大项目（18ZDA031）；
国家社科基金重大项目（17ZDA024）
文章来源：湖南科技大学学报（社会科学版）第24卷第6期
编辑：杨宇含