內容簡介
希臘哲學家亞裡士多德創立了形式邏輯,數理邏輯是形式邏輯的現代形式。形式邏輯成為科學知識體繫的邏輯基礎,是建構科學殿堂的工具。亞裡士多德更強調矛盾律的重要性,矛盾律是證明都需要的*根本的原理,矛盾律是建構科學理論體繫的基本原則。科學家遵循形式邏輯的規則,對理論中的矛盾采取零容忍的態度。他們總是全力以赴,鍥而不舍地尋求解決矛盾的方法,直到矛盾解決,創立新理論,推進科學進步,這也影響到哲學觀念的變革。形式邏輯對人類文明和社會進步做出了重大貢獻。數學科學、物理科學有幾千年、幾百年的發展歷史,科學發展的軌跡表明,辯證邏輯規律並不是普遍適用的,不是進行科學研究指導原則。而進行科學研究的指導原則,隻能是形式邏輯的基本規律,特別是矛盾律。