从谓词逻辑的观点看传统词项逻辑推理中的空词项

• 作者: 刘明元 陈治龙
• 来源期刊: 毕节学院学报：综合版
• 学科: 哲学
• 关键词: 传统词项逻辑 谓词逻辑 空词项
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 45-54
• 分类号: B812.23
• 字数: 7182字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-7059.2011.06.010

摘要

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘明元	西南大学逻辑与智能研究中心	5	1	1.0	1.0
2	陈治龙	西南大学逻辑与智能研究中心	2	0	0.0	0.0