一阶谓词逻辑反驳演算自然推理系统 |
| |
引用本文: | 杜国平,赵曼.一阶谓词逻辑反驳演算自然推理系统[J].重庆理工大学学报(社会科学版),2013,27(9). |
| |
作者姓名: | 杜国平 赵曼 |
| |
作者单位: | 中国社会科学院,北京,100732 |
| |
基金项目: | 国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究" |
| |
摘 要: | 反驳各种逻辑谬误离不开对矛盾式的认识和理解.为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论.在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统.
|
关 键 词: | 反驳演算 自然推理系统 可证伪 矛盾式 |
Natural Deduction System of First-order Logical Refuting Calculus |
| |
Authors: | DU Guo-ping ZHAO Man |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|