| 从谓词逻辑的观点看传统词项逻辑推理中的空词项 |
| |
| 引用本文： | 刘明元,陈治龙.从谓词逻辑的观点看传统词项逻辑推理中的空词项[J].毕节学院学报,2011,29(6):45-54. |
| |
| 作者姓名： | 刘明元 陈治龙 |
| |
| 作者单位： | 西南大学逻辑与智能研究中心; |
| |
| 摘 要： | 传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。
|
| 关 键 词： | 传统词项逻辑 谓词逻辑 空词项 |
From the View of the Predict Logic to See Empty Lexical Item of Traditional Term Logic Reasoning |
| |
| LIU Ming-yuan,CHEN ZHi-long.From the View of the Predict Logic to See Empty Lexical Item of Traditional Term Logic Reasoning[J].Journal of Bijie University,2011,29(6):45-54. |
| |
| Authors: | LIU Ming-yuan CHEN ZHi-long |
| |
| Institution: | LIU Ming-yuan,CHEN ZHi-long(Logic and Intelligence Research Center of Southwest University,Chongqing400715,China) |
| |
| Abstract: | A lot of traditional term logic reasoning are not suitable for the empty lexical item,the square of opposition and 9 valid syllogism type,only preinstall the subjects or predicates was set up there.Describe the traditional term logic by natural language,it often makes people know the how but not the why.If the theory of predicate logic is used to formalize and calculate it step by step,people will understand its meaning naturally. |
| |
| Keywords: | Traditional Term Logic Predict Logic Empty Lexical Item |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
