第十四章：现代数学概观二十世纪的数学第一节 五大新兴学科的建立 一、数理逻辑 1符号逻辑数理逻辑作为一门数学学科，来源于对数学和逻辑基础的探讨，它最早可追溯到莱布尼茨，他关于逻辑演算的观念预示着布尔代数，而英国数学家布尔(GBoole 18151864)在1847年出版逻辑的数学分析一书，正式推出所谓布尔代数，在逻辑上相当于命题演算其后由英国数学家杰方斯(WSJevons，18351882)和小皮尔斯(CSPeirce，18391914)在1874年加入次序关系，德国数学卷中加以公理化第一个完全形式化的语言是德国数学家弗瑞格(GFrege，18481925)在1879年出版的概念文字中引进的他首先定义了全称量词及存在量词并引进一般的谓词逻辑不过相应的逻辑代数一直到1950年才由波兰数学家塔斯基(ATarski，19021983)所发展，他引进所谓“圆柱代数”1955年美国数学家哈尔莫斯(PHalmos，1916)又引进多进代数，形成一般的逻辑代数理论1889年意大利数学家皮亚诺(GPeano，
