摘要
反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。
Refuting various logical fallacies is inseparable from the acknowledgment and understanding of contradiction. Therefore, the authors build an intuitionist system named Natural Deduction System, a first-order logical refuting calculus system consisting of all contradictions. According to the definition of semantic interpretation, some meta theories are inspected. Even further, the relationship between the system of first-order predicate logical refuting calculus and the proving system is also inspected, and two conclusions are concluded： （ 1 ） Any contradiction of the predicate logic refuting calculus sys- tem correspondent to a valid formula of the classical predicate logic proving system; and （2） Proving system of the classical predicate logic system is included in predicate logic refuting calculus system, which means an ordinary predicate logic axiom system is a subsystem of refuting calculus.
出处
《重庆理工大学学报（社会科学）》
CAS
2013年第9期1-6,共6页
Journal of Chongqing University of Technology（Social Science）
基金
国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
关键词
反驳演算
自然推理系统
可证伪
矛盾式
refuting calculus
Natural Deduction System
falsifiable
contradiction
