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

摘要

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