#! (ink pub (T i) (attr (type Topic)) (edge (supset 3.1 IANDTA)))
知性与知性思维
知性最早见于《孟子·尽心上》：“尽其心者，知其性也，知其性则知天矣。” 焦循 正义：“知其性，谓知其性之善也。
知性思维，是指运用普通形式逻辑的思维规则所进行的思维，形式逻辑是知性思维的集中体现。形式逻辑的基本规则最先由古希腊哲学家亚里士多德所阐明，它由同一律、矛盾律、排中律所构成。同一律的公式为“A是A”，它是指在同一思维过程中，一个思想（概念、判断等）所反映的对象是什么就是什么，不能是别的什么东西。矛盾律的公式为“A不是非A”，它是说一对矛盾判断或者反对判断不能同时为真，其中必有一假。排中律的公式为“A或非A是”，它是说一对矛盾判断不能同时为假，其中必有一真。知性思维要求人们的思维必须是确定的，不能自相矛盾，不能“亦此亦彼”、模棱两可。19世纪以后，数理逻辑作为形式逻辑的一个分支开始兴起，它运用数学方法和专门的符号结构，并借助形式化的逻辑运算来研究逻辑思维。数理逻辑所运用的符号结构有助于用准确的语言来表达复杂的推论，对于人工智能以及现代科学的发展起了巨大的推动作用。