逻辑学与哲学的关系：老问题与新挑战

多德的三段论成为形式逻辑最经典的理论。 　　1879年弗雷格《概念文字》的发表，标志着现代逻辑的诞生。这一著作给出了真正的形式语言和演算系统。现代逻辑的代表人物还有罗素、希尔伯特、哥德尔、图灵等。现代逻辑的思想渊源可以追溯到莱布尼茨关于普遍语言的思想：他期望能够设计一个...

http://jspopss.jschina.com.cn/shekedongtai/201312/t20131209_1359763.shtml

逻辑学的演进

数学转向，形成了形式逻辑的现代版——符号逻辑。 　　符号逻辑是现代逻辑大厦的基础，包括命题演算和谓词演算。布尔逻辑就属于一个命题演算系统，只不过现在人们所常用的命题演算系统是指希尔伯特和阿克曼在1928年给出的。1879年，德国逻辑学家弗雷格在《概念文字》中通过引入量词，将...

http://jspopss.jschina.com.cn/shekedongtai/201604/t20160413_2767900.shtml