|
|||||
|
|
| 直言逻辑与谓词逻辑的对比研究 | |
| 引用本文： | 樊明亚.直言逻辑与谓词逻辑的对比研究[J].上饶师范学院学报,1989(6). |
| 作者姓名： | 樊明亚 |
| 摘 要： | 1.1 这里的直言逻辑,就是传统的直言命题逻辑,而这里的谓词逻辑,实际上也只涉及一部分,这部分通常称为狭谓词逻辑。为了行文简便,故使用简称。1.2 直言逻辑研究直言命题及其推理的形式,是传统逻辑的重要组成部分,亚里士多德奠定了其基本内容。谓词逻辑研究谓词公式及其推演,并给出语义解释。谓词公式经过解释成为命题形式的符号表达式。谓词逻辑是现代逻辑的基础之一,罗素第一个建立了完全的谓词演算系统。1.3 谓词逻辑所研究的思维形式,从量上来说远远多于直言逻辑,而其中有一部分是与直言逻辑相同的,但两者在理解和处理这相同的对象时,表现出诸多的不同,从这方面对 |
| 本文献已被 CNKI 等数据库收录！ | |