逻辑的数学分析论演绎推理的演算

《逻辑的数学分析论演绎推理的演算》，逻辑代数的开创性论著。1847年在英国剑桥和伦敦出版。

内容简介

本书有导言和正文22章。导言指出符号代数理论的有效性不依赖于符号的解释，而只依赖于符号的组合规律。解释不必限于数量，也可推广到逻辑领域。第1章至第7章为逻辑代数化的理论准备部分。讨论了符号和它的规律；规律的导出；命题的划分。给出了一些主要论证和注释。第8章至第15章为逻辑代数的方法部分。提供了逻辑代数化方法；约简化归；第2性命题和例题分析。第16章至第22章为讨论或然性部分。提出了逻辑代数化或然性理论；提供了研究或然性的一般方法；给出了一些基本例证；提供了对或然性的看法和分析。本书较完整地阐述了逻辑代数的理论，成功地建立了逻辑发展史上第1个可行的逻辑演算系统。它用等式表示判断，把推理看作等式的变换。认为这种变换的有效性不依赖于人们对符号的特殊解释，只依赖于符号的组合规律。它既可以进行公式推演，又可以命题为值进行推演。布尔的目的是构造一个演绎思维的演算系统，其主导思是，逻辑关系和某些数学运算极为类似。代数系统可以有不同的解释，把其解释推广到逻辑领域，就可以构成一个思维演算系统。因此逻辑代数为逻辑学发展开辟了一条新路。本书是研究逻辑学、数学及其发展的重要参考文献，是学习和研究布尔代数的必读参考书。

作者简介

著者格·布尔(1815—1864)，英国数理逻辑学家，逻辑代数的创始人。生于英格兰林肯，卒于爱尔兰科克。科克皇后学院数学教授，皇家协会会员。代表性论著有《关于分析中的一个普遍方法》(1844)，《逻辑的数学分析》(1847)、《思维规律的研究》(1854)等。

工具书

工具书是专供查找知识信息的文献。它系统汇集某方面的资料，按特定方法加以编排，以供需要时查考使用。根据工具书的基本性质和使用功能，可以划分为检索性工具书^[1]和参考性工具书^[2]（美国工具书专家盖茨称其为控制-检索型工具书和资料型工具书，Information:control and access，Sources of information)。另外还可以根据语种、学科内容、规模大小等标准进行划分。

视频