邏輯的數學分析

reason theories an

名詞釋義

簡介

書名，由英國數學家及邏輯學家 布爾（Boole·George）著作。他用通常的代數符號並以等式來表示邏輯關係。這種分析可以說是對符號進行形式上的處理而抽出了符號所代表的具體涵義，後來稱之為“邏輯代數”。

創作歷程

1847年，布爾出版了《邏輯的數學分析，論演繹推理的演算法》(The mathematical analysis of logic，being an essay towards a calculus of deductive reasoning)，此書並不厚，但足以使他出名，並且使科克的學院聘他任教．1854年，他又出版了《思維規律的研究，作為邏輯與機率的數學理論的基礎》 (An investigation into the laws of thought，on whichare founded the mathematical theories of logic and probability)一書，其中完滿地討論了這個主題並奠定了現在所謂的數理邏輯的基礎．為這一學科的發展鋪平了道路．