在西方思想史上,邏輯學的發展經歷了三個時期。當然,這三個時期並不是連續的,還有壹些貧瘠期。綜合來看,第壹個時期是公元前400年至公元前200年的古希臘,這壹時期最有影響的人物是亞裏士多德,他發展了“三段論”;第二個時期是12世紀至14世紀,這壹時期的繁榮源於中世紀的歐洲大學,如巴黎大學、牛津大學等。隨著19世紀抽象代數的發展,邏輯的第三個時期產生了。這期間弗雷格和羅素提出了非常新穎的邏輯觀點,第三個時期可能是三個發展階段中最偉大的。以下是對這三個時期的簡要介紹:
這壹時期,同時出現了兩種思潮。第壹個是亞裏士多德(通常被認為是邏輯學的創始人)在雅典建立的“學院學派”。另壹個在雅典以西50公裏的梅加拉。我們對這個學派知之甚少,但後來興起的另壹個學派斯多葛學派,據知深受麥加拉邏輯的影響。斯多葛派邏輯學家關註的壹個重要方面是研究否定、連詞、析取和條件句的特點。另外需要指出的是,在西方出現這些邏輯流派的同時,印度也出現了許多主要由佛教邏輯學家提出的理論,但這些理論並沒有達到當時西方邏輯的嚴密性。
鄧斯·斯科特畢業於牛津大學,奧康的威廉先就讀於牛津大學,後赴巴黎求學。正是因為這兩個重要人物的學習經歷,才使得他們在第二時期的牛津和巴黎大學蒸蒸日上。他們繼承和發展了古希臘的邏輯思想,並使之系統化。然而,在那之後,邏輯在19世紀下半葉之前是停滯不前的,這期間唯壹發光的邏輯學家是萊布尼茨。萊布尼茨是歷史上少有的通才,被譽為17世紀的亞裏士多德。他預見到了當代邏輯的壹些發展,但他那個時期的數學比較落後,思想也從來沒有流行過。
弗雷格和羅素提出了非常新穎的邏輯觀點,比如用真值函數來理解否定、合取和析取,把描述孤立起來作為重要的邏輯範疇。在這些觀點上發展起來的邏輯理論通常被稱為現代邏輯。要知道現代邏輯與數學有著非同尋常的關系,羅素作為數學哲學基本邏輯主義學派的經典代表,就是著名的《數學原理》。羅素說:“邏輯是數學的青年,數學是邏輯的壯年。”“數學就是邏輯。”
在閱讀《邏輯發展史》的相關文本之前,我並沒有意識到邏輯與數學之間有如此密切的關系。沒有意識到邏輯在生活中的應用是有滲透性的,比如名字和量詞,必然性和可能性,過去和未來,概率和逆概率,決策論等等。我們經常提到的這些話,都離不開邏輯的支撐。我決定花壹段時間記錄下邏輯與我們生活的關系,寫壹個關於邏輯的小話題,供對邏輯感興趣的朋友借鑒。