形式邏輯與數理邏輯

形式邏輯和數理邏輯是兩個不同的學科,兩者在研究對象,方法,特征等方面都存在着本質的差別.

從研究對象的角度來看,形式邏輯的研究對象是人們的思維形式及其規律;而數理邏輯主要研究某種特殊函數關系,算是一門數學.

先拿形式邏輯開刀,在了解形式邏輯的研究對象之前,我們要先了解啥叫思維形式.

順帶說一下,我曾經在查字典的時候,發現字典的一個特點:就是用其他詞(特别是人們大都知道意思的詞)來解釋不常見的詞.是以,我就想是否存在一個基本詞彙集合,使得其他詞彙都可以用這個集合中的詞彙來幫助我們了解新的詞彙.根據印象,朗文英漢雙解詞典就是用常見的2000詞來解釋其他詞語的,這就間接證明了英文存在一個基本詞彙集合,隻不過這個詞彙集合是否可以進一步縮小,就難說了.那麼,我們的漢語體系是否也存在一個基本詞彙體系呢?我認為是有的.但是,現在沒時間研究.不知道是否有前輩早已把漢語基本詞集找出來了.如果您知道,請留言告訴我,謝謝!至于這個詞集有啥用,第一個想到的用途是可以作為人們學習漢語的必備詞彙.

廢話這麼多,一時興起,回到正題.

啥叫思維形式呢?

思維形式是人們認識世界的進階反映方式.而形式邏輯主要以思維形式結構為其研究對象.(形式一詞就已經表明主要研究結構)

至于思維嘛,大緻可以分為思維形式和思維内容兩大類.

思維内容以思維形式為骨架,思維形式以思維内容為肌膚.

沒有骨架,思維内容是一堆爛肉,毫無形态可言;

沒有肌膚,思維形式是一架朽骨,無多大意義.

例如:

所有的人都是動物.

所有的男人都是人.

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

所有M都是P.

所有S都是M.

是以,所有S都是P.

上面具體化的就是思維内容.

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

注意:人類思維方式有很多種,在這裡我們隻研究邏輯思維,至于形象思維等就留待以後有機會再研究.

通過觀察上面的思維形式,或許你會說這不是經典的三段論嗎.

的确,這就是三段論.

不過,在繼續下面的内容之前,我想問你一句:你覺得三段論自然嗎?為什麼會覺得自然?

因為三段論是一種思維形式,而思維形式是人類思維結構的提煉,是以是自然的.

在人們現實的思維活動中,具體的思維内容總是通過概念、判斷、推理等一般的思維形式表現出來的。