概念是人的理性认识。它要随着人的认识和实践发展而不断完善丰富。这是一种内涵方面量的积累。这种内涵的逐步丰富并不会使理性认识中产生出一种辩证类型的概念。因而把概念分为普通概念和辩证概念是没有根据的。辩证思想、辩证命题的辩证性来自思想的内容...[详细]
首先，哥德尔的完全性定理和不完全性定理中的“完全性”是两回事。完全性定理是说一阶逻辑对推理的语法和语义刻画重合的；不完全性定理是说如果足够丰富的形式系统是和谐的，那么存在可以形式表述的真命题不可在系统中证明。接着要纠正对哥德尔定理的误解...[详细]
《哲学逻辑手册》（英文，第2版，约18卷）的出版表明，当代逻辑的发展更多地受计算机科学和人工智能研究的驱动，从上世纪80年代左右开始，逻辑学发展又进入一个新的高峰期，经典的逻辑理论得到应用和发展，许多新的逻辑分支大量涌现，逻辑研究在观念、对象...[详细]
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。其次，我们引入关系语义，给出描述KA的特征公理的框架条件，证明KA相对这个框架条件是框架可靠的。最后，我们证明KA相对这个框架条件也是框架完全的。 [详细]
本论文试图从“度”这个概念入手，在考察已有n度系统概念的基础上，提出n+度系统和n.m度系统的定义，探讨模态系统中模态符串和公式相对于上述定义的可归约性，分别讨论了n度系统、n+度系统和n.m度系统的特征，分析他们的区别和联系，并揭示了研究这些度的...[详细]
本文介绍心理学上关于演绎推理的三个前沿理论――心理逻辑理论、心理模型理论、信息获取理论，并作简要评论。[详细]
文献表明，到目前为止，还没有一个全面的、精确的和统一的研究人类推理心理学理论，而心智逻辑理论和心智模型理论是近20年来发展最快的两个主流理论。心智逻辑理论认为人类运用推理图式进行推理；心智模型理论则认为人类通过构造心智模型实现推理。 本文讨...[详细]