希臘哲學(xué)家亞里士多德創(chuàng)立了形式邏輯,數(shù)理邏輯是形式邏輯的現(xiàn)代形式。形式邏輯成為科學(xué)知識體系的邏輯基礎(chǔ),是建構(gòu)科學(xué)殿堂的工具。亞里士多德更強(qiáng)調(diào)矛盾律的重要性,矛盾律是一切證明都需要的*根本的原理,矛盾律是建構(gòu)科學(xué)理論體系的基本原則。科學(xué)家遵循形式邏輯的規(guī)則,對理論中的矛盾采取零容忍的態(tài)度。他們總是全力以赴,鍥而不舍地尋求解決矛盾的方法,直到矛盾解決,創(chuàng)立新理論,推進(jìn)科學(xué)進(jìn)步,這也影響到哲學(xué)觀念的變革。形式邏輯對人類文明和社會進(jìn)步做出了重大貢獻(xiàn)。數(shù)學(xué)科學(xué)、物理科學(xué)有幾千年、幾百年的發(fā)展歷史,科學(xué)發(fā)展的軌跡表明,辯證邏輯規(guī)律并不是普遍適用的,不是進(jìn)行科學(xué)研究指導(dǎo)原則。而進(jìn)行科學(xué)研究的指導(dǎo)原則,只能是形式邏輯的基本規(guī)律,特別是矛盾律。
本書適用于邏輯學(xué)研究人員
《形而上學(xué)》-是古希臘哲學(xué)家亞里士多德的哲學(xué)代表作,他在《形而上學(xué)》這本書中,寫的第一句話就是“求知是人類的本性!边@使人回想起一些倒行逆施,有人說什么知識越多越反動;還強(qiáng)迫青少年上山下鄉(xiāng),剝奪他們受教育的權(quán)利。
亞里士多德不僅把“求知”提到非常重要的地位,而且他還創(chuàng)立了形式邏輯,強(qiáng)調(diào)矛盾律的重要性,為人類文明和科學(xué)進(jìn)步作出了巨大的貢獻(xiàn)。實(shí)際上,亞里士多德創(chuàng)立的邏輯是科學(xué)體系的邏輯基礎(chǔ),是構(gòu)建科學(xué)殿堂的工具。一切科學(xué)理論都必須是不矛盾的,相容的,都是按照這樣的邏輯建立起來的。
在科學(xué)發(fā)展的過程中會遇到矛盾,或者是理論與觀測(或?qū)嶒?yàn))事實(shí)的矛盾,或者是理論內(nèi)部的不一致?茖W(xué)家對這樣的矛盾總是采取零容忍的態(tài)度。它們用堅(jiān)忍不拔、百折不饒、精衛(wèi)填海的精神解決矛盾。歐幾里得第五公設(shè)問題,數(shù)學(xué)家從古希臘開始,用了兩千年的時(shí)間,直到19世紀(jì)20年代非歐幾何的誕生,才得以解決?茖W(xué)家這種嘔心瀝血,堅(jiān)持不懈地消除理論中的矛盾,追求真理的精神是十分感人的。
非歐幾何的創(chuàng)立者之一J.波爾約的父親曾從事第五公設(shè)證明的研究多年,但未獲得肯定的結(jié)果。于是,他認(rèn)為這是件無意義的工作而放棄了。當(dāng)知道自己的兒子在研究這個問題時(shí),他在給兒子的信中說:“你絕不可再試圖沿這條道路去研究平行線了。我熟悉這條道路直至盡頭。我曾走過這無盡的黑暗,它熄滅了我一生的光明和歡樂。我懇求你丟開關(guān)于平行線的科學(xué)吧!以(jīng)想為了真理而犧牲自己。我曾經(jīng)打算作一個殉道者以除去幾何學(xué)中的毛病并將純潔的幾何學(xué)給予人類。我付出了極大的勞動;我的創(chuàng)造遠(yuǎn)遠(yuǎn)優(yōu)于其他人,然而我一直沒有完全滿足!(dāng)我看沒有一個人能達(dá)到黑暗的盡頭時(shí),我就回頭了。我滿懷痛苦地回頭了,為自己也為人類憐惜。我承認(rèn)我不能期望你離開自己的航線。我以曾到過這些地區(qū),似曾駛過這無底死海的每一塊礁石,可是每一次都折桅裂帆而歸,我曾連想也不想就以我的生命和歡樂來冒險(xiǎn),我的毀滅和失敗就是這樣來的!睆倪@段話,我們可以體會到科學(xué)家追求真理的那種殉道者的犧牲精神。當(dāng)然,波約爾的父親沒有能完成的工作,波約爾完成了,而且是在知道其中的困難和危險(xiǎn)的情況下,義無反顧地完成的。
然而,黑格爾在評價(jià)亞里士多德的形式邏輯時(shí)說:“亞里士多德的書里所陳述的的哲學(xué)形式,卻只是理智思維形式,是抽象的理智所區(qū)別出來的一般的思維的規(guī)定。這不是思辨思維的邏輯,不是作為與理智有別的理性邏輯;理智的同一性,即任何東西都不應(yīng)該自相矛盾,是它的基礎(chǔ)。這種邏輯按其本性來說就不是思辨的。……亞里士多德乃是理智的普通邏輯的創(chuàng)立者,他的形式所觸及的只是有限的東西彼此之間的關(guān)系,真理在這種形式中是不能被把握到的。”黑格爾不贊成亞里士多德的形式邏輯,‘而建立起一個辯證法體系。
李浙生,男,漢族,浙江人,1932年5月出生。1961年畢業(yè)于北京大學(xué)哲學(xué)系。畢業(yè)后被分配到北京礦務(wù)局煤礦當(dāng)掃盲教員,1980年,歸隊(duì)來到北京市社會科學(xué)院哲學(xué)所。他通過自學(xué)掌握了現(xiàn)代科學(xué)的基本知識和精神,從事科學(xué)哲學(xué)的研究工作。已出版專著7本:《數(shù)學(xué)科學(xué)與認(rèn)識論》《數(shù)學(xué)科學(xué)與辯證法》《論數(shù)學(xué)真理》《倏忽之間——混沌與認(rèn)識》《物理科學(xué)與認(rèn)識論》《物理科學(xué)與辯證法》《遺傳學(xué)中的哲學(xué)問題》。發(fā)表論文20多篇。2000年,作為訪問學(xué)者,訪問過柏林工業(yè)大學(xué)。
前言
第一章 形式邏輯的源流
第一節(jié) 形式邏輯的創(chuàng)立
一 形式邏輯產(chǎn)生的思想淵源
二 形式邏輯的創(chuàng)立
第二節(jié) 麥加拉-斯多阿學(xué)派
一 麥加拉學(xué)派的邏輯思想
二 斯多阿學(xué)派的邏輯思想
第三節(jié) 歐洲中世紀(jì)形式邏輯
一 三段論理論的發(fā)展
二 命題邏輯的發(fā)展
三 悖論
第四節(jié) 結(jié)論
第二章 數(shù)理邏輯
第一節(jié) 萊布尼茨的數(shù)理邏輯思想
一 普遍語言
二 思維的運(yùn)算
三 計(jì)算機(jī)
第二節(jié) 布爾代數(shù)
一 類的演算
二 命題演算
第三節(jié) 弗雷格的貢獻(xiàn)
一 幾個名詞
二 概念語言
三 弗雷格的命題邏輯
第四節(jié) 羅素的貢獻(xiàn)
一 建立了一個完全的命題演算和謂詞演算,是邏輯
演算的完成者
二 建立了一個完全的關(guān)系邏輯
三 摹狀詞理論
四 悖論和類型論
五 數(shù)學(xué)與邏輯
第五節(jié) 結(jié)論
第三章 矛盾律
第一節(jié) 形式邏輯的基本規(guī)律
一 同一律
二 矛盾律
三 排中律
第二節(jié) 矛盾律
一 矛盾律是事物和思維的根本規(guī)律
二 矛盾律是不能證明的自明的公理
三 矛盾律的證明
第三節(jié) 哲學(xué)家談矛盾律
第四節(jié) 數(shù)理邏輯中的矛盾律
一 命題演算的一致性
二 謂詞演算的一致性
第五節(jié) 數(shù)學(xué)的無矛盾性
一 數(shù)學(xué)的三 次危機(jī)
二 非歐幾何的相容性問題
第六節(jié) 物理學(xué)的無矛盾性
一 相對論的創(chuàng)立
二 量子力學(xué)的創(chuàng)立
第七節(jié) 結(jié)論
第四章 科學(xué)與一分為二
第一節(jié) 辯證邏輯
第二節(jié) 一分為二
第三節(jié) 數(shù)學(xué)科學(xué)與一分為二
一 多值邏輯
二 模糊數(shù)學(xué)
三 概率論
第四節(jié) 物理科學(xué)與一分為二
一 物質(zhì)與反物質(zhì)
二 自然界的四 種相互作用
第五節(jié) 結(jié)論
一 科學(xué)中的合二而一現(xiàn)象
二 一分為二被絕對化
三 對楊獻(xiàn)珍的批判
第五章 科學(xué)與黑格爾的三段式
第一節(jié) 數(shù)學(xué)科學(xué)與黑格爾的三段式
一 曲線概念的發(fā)展
二 函數(shù)概念的發(fā)展
三 歐氏幾何、黎曼幾何和非黎曼幾何
第二節(jié) 物理科學(xué)與黑格爾的三段式
一 真空概念的發(fā)展
二 力的概念的發(fā)展
三 宇宙學(xué)的發(fā)展
第三節(jié) 結(jié)論
第六章 邏輯與歷史的不一致
第一節(jié) 數(shù)學(xué)領(lǐng)域中邏輯與歷史的不一致
一 線性代數(shù)中邏輯與歷史的不一致
二 幾何學(xué)中邏輯與歷史的不一致
三 微積分中邏輯與歷史的不一致
第二節(jié) 物理學(xué)領(lǐng)域中邏輯與歷史的不一致
一 物理理論的邏輯順序
二 宇宙的演化
三 物理學(xué)中邏輯與歷史的不一致
第三節(jié) 遺傳學(xué)中邏輯與歷史的不一致
一 達(dá)爾文的進(jìn)化論與孟德爾的遺傳理論
二 孟德爾的遺傳理論與摩爾根的基因論
三 基因論與分子遺傳學(xué)
四 分子遺傳學(xué)與進(jìn)化論
第四節(jié) 結(jié)論
第七章 辯證法與詭辯
第一節(jié) 黑格爾的顏色理論及其他
一 黑格爾的顏色理論
二 黑格爾反對道爾頓的原子論
三 歪曲形而上學(xué)的本義
第二節(jié) 米丘林學(xué)說與李森科
一 遺傳物質(zhì)
二 對獲得性遺傳的批判
三 米丘林的遺傳理論
第三節(jié) 微分運(yùn)算與否定之否定
第四節(jié) 結(jié)論
參考文獻(xiàn)
后記