对Hamilton谓词形式系统中两个公理模式的讨论

• 作者: 宋伟
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: Hamilton 谓词形式系统 公理模式
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 逻辑学与科学方法论
• 页码范围: 19-21
• 分类号: B81
• 字数: 3109字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2010.04.005

摘要

Hamilton的谓词形式系统中有这样两个公理模式:(((A)χi).A→A)(其中χi不在A中自由出现)和((χ)A(χi)→A(t))(其中项t对A(χi)中的χi是自由的).在将Hamilton的谓词形式系统与Chureh, Hunter, Menolelson等人的系统进行比较之后,分析了Hamilton将(((A)χi)A→A)(其中χi不在A中自由出现)作为一个公理模式的原因,并得出结论认为,在Hamilton的谓词形式系统中公理模式(((A)χi)A→A)(其中χi不在A中自由出现)完全可以归结为公理模式(((A)χi)A(χi)→A(t))(其中项t对A(χi)中的χi是自由的),从而使该系统的公理模式得以简化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋伟	湖北大学哲学学院	14	19	2.0	4.0