“梳理”一下逻辑# Thoughts - 思考者
o*e
1 楼
试着“梳理”一下逻辑。
. 逻辑：一门研究思维和论证有效性的规范和准则的科学,传统上包括定义、分类和正确
使用词项的原则,正确云谓的原则,以及推理和论证的原则 (金山词霸上的，凑合着用吧)
。
. 形式逻辑.不好定义，但只要把它和其他的逻辑作个比较，再介绍一下它包括什么就比
较清楚了。
形式逻辑是一种“好的有用”的逻辑。相比较的是辩证逻辑，对立统一，量变质变，主要
次要矛盾等等。好像什么都能解释，但用处不大。可以称之为“狡猾”逻辑。再一个就是
“杀既是不杀”“一就是二，二就是一”之类的逻辑，好像佛家的禅派(偶懂得不多)就是
这个样子的。可以称之为“大愚若智”逻辑(当然杀既是不杀到了一定层次，也可能是一
种大智若愚逻辑)。
而形式逻辑呢，最简单的最原始的，就是三段论”。A AND B -> C
A。乌鸦都是黑的；
B。那儿有一只乌鸦
C。那支乌鸦是黑的。
这种逻辑源于希腊，也是现代科学，哲学的基础。偶们的“白马非马” 论有一点点这种
形式逻辑的萌芽的味道，可惜该MEME的适应性不比辩证逻辑和不讲逻辑，被早早淘汰掉了
。
形式逻辑也是计算机科学的基础之一。在这个领域里就叫
. 逻辑：一门研究思维和论证有效性的规范和准则的科学,传统上包括定义、分类和正确
使用词项的原则,正确云谓的原则,以及推理和论证的原则 (金山词霸上的，凑合着用吧)
。
. 形式逻辑.不好定义，但只要把它和其他的逻辑作个比较，再介绍一下它包括什么就比
较清楚了。
形式逻辑是一种“好的有用”的逻辑。相比较的是辩证逻辑，对立统一，量变质变，主要
次要矛盾等等。好像什么都能解释，但用处不大。可以称之为“狡猾”逻辑。再一个就是
“杀既是不杀”“一就是二，二就是一”之类的逻辑，好像佛家的禅派(偶懂得不多)就是
这个样子的。可以称之为“大愚若智”逻辑(当然杀既是不杀到了一定层次，也可能是一
种大智若愚逻辑)。
而形式逻辑呢，最简单的最原始的，就是三段论”。A AND B -> C
A。乌鸦都是黑的；
B。那儿有一只乌鸦
C。那支乌鸦是黑的。
这种逻辑源于希腊，也是现代科学，哲学的基础。偶们的“白马非马” 论有一点点这种
形式逻辑的萌芽的味道，可惜该MEME的适应性不比辩证逻辑和不讲逻辑，被早早淘汰掉了
。
形式逻辑也是计算机科学的基础之一。在这个领域里就叫