邏輯的數學分析論演繹推理的演算檢視原始碼討論檢視歷史
《邏輯的數學分析論演繹推理的演算》,邏輯代數的開創性論著。1847年在英國劍橋和倫敦出版。
內容簡介
本書有導言和正文22章。導言指出符號代數理論的有效性不依賴於符號的解釋,而只依賴於符號的組合規律。解釋不必限於數量,也可推廣到邏輯領域。第1章至第7章為邏輯代數化的理論準備部分。討論了符號和它的規律;規律的導出;命題的劃分。給出了一些主要論證和注釋。第8章至第15章為邏輯代數的方法部分。提供了邏輯代數化方法;約簡化歸;第2性命題和例題分析。第16章至第22章為討論或然性部分。提出了邏輯代數化或然性理論;提供了研究或然性的一般方法;給出了一些基本例證;提供了對或然性的看法和分析。本書較完整地闡述了邏輯代數的理論,成功地建立了邏輯發展史上第1個可行的邏輯演算系統。它用等式表示判斷,把推理看作等式的變換。認為這種變換的有效性不依賴於人們對符號的特殊解釋,只依賴於符號的組合規律。它既可以進行公式推演,又可以命題為值進行推演。布爾的目的是構造一個演繹思維的演算系統,其主導思是,邏輯關係和某些數學運算極為類似。代數系統可以有不同的解釋,把其解釋推廣到邏輯領域,就可以構成一個思維演算系統。因此邏輯代數為邏輯學發展開闢了一條新路。本書是研究邏輯學、數學及其發展的重要參考文獻,是學習和研究布爾代數的必讀參考書。
作者簡介
著者格·布爾(1815—1864),英國數理邏輯學家,邏輯代數的創始人。生於英格蘭林肯,卒於愛爾蘭科克。科克皇后學院數學教授,皇家協會會員。代表性論著有《關於分析中的一個普遍方法》(1844),《邏輯的數學分析》(1847)、《思維規律的研究》(1854)等。
工具書
工具書是專供查找知識信息的文獻。它系統匯集某方面的資料,按特定方法加以編排,以供需要時查考使用。根據工具書的基本性質和使用功能,可以劃分為檢索性工具書[1]和參考性工具書[2](美國工具書專家蓋茨稱其為控制-檢索型工具書和資料型工具書,Information:control and access,Sources of information)。另外還可以根據語種、學科內容、規模大小等標準進行劃分。
視頻
邏輯的數學分析論演繹推理的演算 相關視頻
參考文獻
- ↑ 檢索工具書可以用哪些 ,搜狐,2019-12-20
- ↑ 參考工具書,道客巴巴,2013-03-30