形式逻辑和数理逻辑是两个不同的学科,两者在研究对象,方法,特征等方面都存在着本质的区别.

 

从研究对象的角度来看,形式逻辑的研究对象是人们的思维形式及其规律;而数理逻辑主要研究某种特殊函数关系,算是一门数学.

 

先拿形式逻辑开刀,在理解形式逻辑的研究对象之前,我们要先理解啥叫思维形式.

 

顺带说一下,我曾经在查字典的时候,发现字典的一个特点:就是用其他词(特别是人们大都知道意思的词)来解释不常见的词.因此,我就想是否存在一个基本词汇集合,使得其他词汇都可以用这个集合中的词汇来帮助我们理解新的词汇.根据印象,朗文英汉双解词典就是用常见的2000词来解释其他词语的,这就间接证明了英文存在一个基本词汇集合,只不过这个词汇集合是否可以进一步缩小,就难说了.那么,我们的汉语体系是否也存在一个基本词汇体系呢?我认为是有的.但是,现在没时间研究.不知道是否有前辈早已把汉语基本词集找出来了.如果您知道,请留言告诉我,谢谢!至于这个词集有啥用,第一个想到的用途是可以作为人们学习汉语的必备词汇.

 

废话这么多,一时兴起,回到正题.

啥叫思维形式呢?

思维形式是人们认识世界的高级反映方式.而形式逻辑主要以思维形式结构为其研究对象.(形式一词就已经表明主要研究结构)

 

至于思维嘛,大致可以分为思维形式和思维内容两大类.

思维内容以思维形式为骨架,思维形式以思维内容为肌肤.

没有骨架,思维内容是一堆烂肉,毫无形态可言;

没有肌肤,思维形式是一架朽骨,无多大意义.

 

例如:

所有的人都是动物.

所有的男人都是人.

所以,所有的男人都是动物.

 

所有M都是P.

所有S都是M.

所以,所有S都是P.

 

上面具体化的就是思维内容.

下面抽象化的就是思维形式.

 

注意:人类思维方式有很多种,在这里我们只研究逻辑思维,至于形象思维等就留待以后有机会再研究.

 

通过观察上面的思维形式,或许你会说这不是经典的三段论吗.

的确,这就是三段论.

不过,在继续下面的内容之前,我想问你一句:你觉得三段论自然吗?为什么会觉得自然?

因为三段论是一种思维形式,而思维形式是人类思维结构的提炼,因此是自然的.

 

在人们现实的思维活动中,具体的思维内容总是通过概念、判断、推理等一般的思维形式表现出来的。

比如说，上面的人，动物，男人就是概念，所有人是动物是判断，三段论就是推理。

 

而这种为各具体思维所共有的形式，就叫思维的形式。概念，判断，推理等就是人们用以反映客观事物的本质、整体，内在联系的思维形式。