数理逻辑的方法论意义初探

数理逻辑是古典形式逻辑的发展,它是用数学的方法研究推论有效性的判定方法和原则的科学,也被称为符号逻辑、现代逻辑。数理逻辑的创立起源于十七世纪的数学家莱布尼兹所提出的宏大构想:建立一个“普通的符号语言”,即类似数学符号的“通用语言”,利用它来进行“思维的演算”。十九世纪初,英国数学家布尔发表了《逻辑的数学分析》一书,他用代数方法处理逻辑问题,建立了逻辑代数。