自然语言中的实际蕴涵推理

自然语言中利用假言命题进行的各种推理与这种命题前后件的关系紧密相关。实质蕴涵理论不能真实地反映这种关系。把推理的逻辑基础看作是实质蕴涵关系,将导致许多解释不通的问题。否定实际蕴涵命题,得到的应该是与之等值的假言命题。根据不同条件假言命题前后件的不同关系,可以有各种不同的、符合实际蕴涵关系的假言推理。不仅自然语言中关于不同假言命题的推理可以用实际蕴涵来表达,而且自然语言中的其他推理同样也可以用实际蕴涵来表达。引入“实际蕴涵”概念,对于客观而准确地理解和分析自然语言推理,具有极其重要的意义。彻底澄清用实质蕴涵理论来分析和说明自然语言中的推理问题,主要与人们的逻辑观念相关。