邏輯的數學分析論演繹推理的演算檢視原始碼討論檢視歷史

原圖鏈接來自 孔夫子舊書網 的圖片

《邏輯的數學分析論演繹推理的演算》，邏輯代數的開創性論著。1847年在英國劍橋和倫敦出版。

內容簡介

本書有導言和正文22章。導言指出符號代數理論的有效性不依賴於符號的解釋，而只依賴於符號的組合規律。解釋不必限於數量，也可推廣到邏輯領域。第1章至第7章為邏輯代數化的理論準備部分。討論了符號和它的規律；規律的導出；命題的劃分。給出了一些主要論證和注釋。第8章至第15章為邏輯代數的方法部分。提供了邏輯代數化方法；約簡化歸；第2性命題和例題分析。第16章至第22章為討論或然性部分。提出了邏輯代數化或然性理論；提供了研究或然性的一般方法；給出了一些基本例證；提供了對或然性的看法和分析。本書較完整地闡述了邏輯代數的理論，成功地建立了邏輯發展史上第1個可行的邏輯演算系統。它用等式表示判斷，把推理看作等式的變換。認為這種變換的有效性不依賴於人們對符號的特殊解釋，只依賴於符號的組合規律。它既可以進行公式推演，又可以命題為值進行推演。布爾的目的是構造一個演繹思維的演算系統，其主導思是，邏輯關係和某些數學運算極為類似。代數系統可以有不同的解釋，把其解釋推廣到邏輯領域，就可以構成一個思維演算系統。因此邏輯代數為邏輯學發展開闢了一條新路。本書是研究邏輯學、數學及其發展的重要參考文獻，是學習和研究布爾代數的必讀參考書。

作者簡介

著者格·布爾(1815—1864)，英國數理邏輯學家，邏輯代數的創始人。生於英格蘭林肯，卒於愛爾蘭科克。科克皇后學院數學教授，皇家協會會員。代表性論著有《關於分析中的一個普遍方法》(1844)，《邏輯的數學分析》(1847)、《思維規律的研究》(1854)等。

工具書

工具書是專供查找知識信息的文獻。它系統匯集某方面的資料，按特定方法加以編排，以供需要時查考使用。根據工具書的基本性質和使用功能，可以劃分為檢索性工具書和參考性工具書（美國工具書專家蓋茨稱其為控制-檢索型工具書和資料型工具書，Information:control and access，Sources of information)。另外還可以根據語種、學科內容、規模大小等標準進行劃分。

視頻

邏輯的數學分析論演繹推理的演算 相關視頻

高考之數字電路的運算法則，邏輯代數的基本定理 數字電子技術基礎 王紅清華大學2.2 邏輯代數的三種基本運算