以亚里士多德为代表的古典逻辑向现代符号逻辑的数学转向,是逻辑史上的一场革命。布尔把数学方法引入逻辑,为现代逻辑的发展奠定了基础。布尔的逻辑理论主要由一个基本逻辑系统及其扩充构成,而在布尔逻辑理论的批判者看来,布尔无限制地运用数学,使得其逻辑理论中含有一些"不可解释的表达式"。但是从布尔逻辑理论的建构来看,由于引入了逻辑的普遍方法,他将这些表达式作为非逻辑的表达式,而没有将它们视为逻辑的普遍方法的构成部分。将这些表达式限制到逻辑的普遍方法中,则可以消解"不可解释的表达式"问题。
科研之友
微信
新浪微博
Facebook
分享链接
