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