受限量化域与实质蕴涵“严峻反例”的化解——四论从形式蕴涵看“实质蕴涵怪论”

发布时间：2021-03-13 00:10

　　从形式蕴涵看"实质蕴涵怪论",是化解实质蕴涵理论之"严峻反例"的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的"高层次的重复"。基于受限量化域的特殊形式蕴涵,是化解"严峻反例"的基本工具。准确理解命题函数和逻辑量词,清晰分辨命题与命题函数、条件命题与条件句,对于把握形式蕴涵化解路径起着关键作用。关于"吉伯德反例"等"极严峻反例"的化解,需诉诸刻画"多重概括"的量词叠置型形式蕴涵。以受限量化域和特殊形式蕴涵刻画某些自然语言条件句的逻辑形式,澄清认知共同体关于这些语句的"为假直觉"或"为真直觉"之逻辑机理,有助于将经典逻辑正确运用于自然语言理解,对逻辑教学体系改革也具有重要意义。 

【文章来源】：湖北大学学报(哲学社会科学版). 2020,47(05)北大核心CSSCI

【文章页数】：12 页

【文章目录】：
一、“形式蕴涵化解路径”是否“高层次的重复”?
二、条件句的“逻辑形式”与“受限量化域”之使用
三、“多重概括”的刻画与“吉伯德反例”的化解
四、余论



本文编号：3079230