形式邏輯-辯證邏輯-科學(xué)

前言第一章 形式邏輯的源流 第一節(jié) 形式邏輯的創(chuàng)立 一 形式邏輯產(chǎn)生的思想淵源 二 形式邏輯的創(chuàng)立 第二節(jié) 麥加拉—斯多阿學(xué)派 一 麥加拉學(xué)派的邏輯思想 二 斯多阿學(xué)派的邏輯思想 第三節(jié) 歐洲中世紀(jì)形式邏輯 一 三段論理論的發(fā)展 二 命題邏輯的發(fā)展 三 悖論 第四節(jié) 結(jié)論第二章 數(shù)理邏輯 第一節(jié) 萊布尼茨的數(shù)理邏輯思想 一 普遍語言 二 思維的運算 三 計算機(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é) 微分運算與否定之否定 第四節(jié) 結(jié)論參考文獻(xiàn)后記