逻辑的数学分析

逻辑的数学分析
《逻辑的数学分析》是由英国数学家及逻辑学家乔治·布尔(Boole·George)于1847年出版的书籍。布尔在这本书中使用了通常的代数符号和等式来表示逻辑关系,这种分析方法后来被称为“逻辑代数”。

创作历程

1847年,布尔出版了《逻辑的数学分析,论演绎推理的演算法》,这本书虽然不厚,但足以使他出名,并且使科克的学院聘他任教。1854年,他又出版了《思维规律的研究,作为逻辑与概率的数学理论的基础》一书,其中完满地讨论了这个主题并奠定了所谓的数理逻辑的基础,为这一学科的发展铺平了道路。

创作意义

在《逻辑的数学分析》的导言中,布尔反对当时流行的观点,即把数学看作是量或数的科学。他支持一种更加一般的观点,认为数学是一种依赖于符号使用的方法,这些符号的组合规则是已知的、通用的,其结果允许有前后一致的解释。布尔提议建立逻辑学的微积分,并认为它有资格在数学分析的公认形式当中拥有一席之地。