布尔逻辑理论中“不可解释的表达式”问题研究  

Analysis on Inexplicable Expression Problem of Boolean Logic Theory

作　　者：王春丽[1] 何向东[1] WANG Chun-li;HE Xiang-dong

机构地区：[1]西南大学逻辑与智能研究中心,重庆400715

出　　处：《湖北大学学报（哲学社会科学版）》2020年第3期93-100,共8页Journal of Hubei University(Philosophy and Social Science)

基　　金：国家社会科学基金重大项目“信息互动的逻辑、认知与计算研究”(14ZDB016)。

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

关 键 词：布尔逻辑 不可解释的表达式 逻辑的普遍方法 

分 类 号：B81[哲学宗教—逻辑学]