一阶谓词逻辑反驳演算自然推理系统

• 作者: 杜国平 赵曼
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 反驳演算 自然推理系统 可证伪 矛盾式
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 1-6
• 页数: 6页
• 分类号: B81
• 字数: 4810字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2013.09.001

摘要

反驳各种逻辑谬误离不开对矛盾式的认识和理解.为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统；根据定义的语义解释,考察了该系统的一些元理论.在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式；(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜国平		43	93	5.0	8.0
2	赵曼		5	11	2.0	3.0