亦称符号逻辑、逻辑斯提。是数学、逻辑学交叉的一门边缘学科，但主要是数学的一门分科，研究数学中的推理、计算等逻辑问题。内容有模型论、集合论、递归论和证明论。
数理逻辑的发展经历了几个阶段。初期，它是用数学的方法来研究形式逻辑中的某些问题，例如用数学中代表数量的变项“x”、“y”和“z”来代表概念; 用数学中代表数量运算的符号“+”、“-”和“×”来代表概念间的关系，这就把由概念构成的判断形式变为类似数学的公式。首先作这个尝试的是德国人莱布尼茨(1646——1716年) ，他说：“一切推理的正确性将化归于计算。……其中的字母和字将由推理来确定; 除却事实的错误 ...... （共775字） [阅读本文]>>
哲学知识概念间最常见、最简单的关系有以下四类(共五种)：(1)同一关系。处在同一关系中的两个概念，其外延是全同的。例如，“珠穆朗玛峰”与“世界上的最高峰”，就是同一关系的两个概念。因为“珠穆朗玛峰”是“世界上
哲学知识判断是借助语句断定事物情况的一种思维形式。例如： ①金川是我国最大的有色金属工业基地; ②敦煌石窟不是始建于唐朝。这就是两个判断。例①是关于金川情况的一个肯定，例②是关于敦煌石窟情况的一个否定。肯定或
哲学知识直接断定认识对象具有(或不具有)某种性质的一种简单判断，亦称为直言判断、属性判断。例如： ①所有的官僚主义者都不是全心全意为人民服务的; ②有些哺乳动物是胎生的。这就是两个性质判断。它们都是由四个部分
哲学知识是断定事物或然性(可能性)或必然性的一种判断。例如：①西汉史学家司马迁可能是生于公元前135年。②共产主义必然要胜利。例①是断定事物或然性的，即西汉史学家司马迁生于公元前135年的可能性(或然性)。例
哲学知识是借助语群(或复句)，从已知判断推出新判断的思维形式，例如：上述三例中，所有横线上面的判断都是已知的判断，从这些已知的判断就可以推出横线下面这些新判断。在人们日常的讲话或写文章进行推理时，都是用句群或
上一篇