逻辑可以不涉及心灵的过程独立进行有益的研究

英国逻辑学家、数学家乔治·布尔所提出。提起布尔这个名字，大家一般都会想到布尔代数，这是个在数学和逻辑上有重要意义的发现。布尔曾花费大量时间和精力研究逻辑基础问题。这方面的成果最后体现在《思维规律研究，逻辑和概率的数学理论基础》一书之中。布尔试图探讨思维的最一般规律，而建立了一种类的演算，也就是现在所称的布尔代数。关于布尔代数的一般介绍，读者会在普通的代数或逻辑著作中找到，这里仅谈谈它的意义。通过这个演算，布尔对传统逻辑所承认的一切推理给出代数表示，但它的功用并不限于此。布尔的演算采用的是代数符号，而能得到传统逻辑得到的一切结果。我们不再需要谈论主谓词项，不要讨论判断和概念，也就是说抛开了形而上学的概念，而形式地研究逻辑推理，这不能不说是一个极大的成就。从这时起，逻辑彻底地从认识论的统治下解放出来，逻辑作为—门独立的科学获得新生。布尔奠基了以后逻辑发展的方向，而布尔代数本身也直接推动了数理逻辑的产生与发展。