名词释义

简介

书名，由英国数学家及逻辑学家 布尔（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)一书，其中完满地讨论了这个主题并奠定了现在所谓的数理逻辑的基础．为这一学科的发展铺平了道路．