甘岑后继式演算系统与其自然演绎系统的比较

• 作者: 董文媛
• 来源期刊: 贵州工程应用技术学院学报
• 学科: 哲学
• 关键词: 自然演绎 后继式演算 逻辑演算系统
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 66-71
• 页数: 6页
• 分类号: B81
• 字数: 6646字
• 语种: 中文

摘要

《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文，文中甘岑提出了两种逻辑演算系统，即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算，而后针对自然演绎系统的不足进行了转化和改进，构造了后继式演算系统，并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位，对现代逻辑和证明论的发展具有深远的影响。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董文媛	山西农业大学信息学院	2	0	0.0	0.0