原标题：《逻辑学与哲学的关系：老问题与新挑战》

　　【核心提示】逻辑学与哲学之间的关系要从亚里士多德的年代开始说起。被逍遥学派冠名为“工具论”指的是亚里士多德论著中涉及逻辑内容的部分。从这个名称已经可以窥见当时大家对逻辑学性质的一种认识：它是“工具性”学科。亚里士多德的三段论成为形式逻辑最经典的理论。

　　逻辑学与哲学之间的关系要从亚里士多德的年代开始说起。被逍遥学派冠名为“工具论”指的是亚里士多德论著中涉及逻辑内容的部分。从这个名称已经可以窥见当时大家对逻辑学性质的一种认识：它是“工具性”学科。亚里士多德的三段论成为形式逻辑最经典的理论。

　　1879年弗雷格《概念文字》的发表，标志着现代逻辑的诞生。这一著作给出了真正的形式语言和演算系统。现代逻辑的代表人物还有罗素、希尔伯特、哥德尔、图灵等。现代逻辑的思想渊源可以追溯到莱布尼茨关于普遍语言的思想：他期望能够设计一个普遍的、没有歧义的语言；一个演算系统，来“计算”我们争论不休的问题。由此带来的精确性使语言哲学转向得以发生，哲学家们开始注重语言分析。然而，逻辑学与哲学的距离似乎日渐拉大。对于一些哲学家而言，逻辑学变得不再容易理解了，因为逻辑学意味着抽象的符号、像数学一样的演算。另一方面，不少逻辑学家沉迷于自己的符号体系中，关注具体定理的证明。加之，逻辑学后来的发展与计算机科学交叉的特点（逻辑学被称为“计算机科学的演算”），一些逻辑学家觉得他们与计算机科学家更容易交流。如今，面对逻辑学与新兴科学（例如认知科学、计算语言学）的继续交叉、发展，重新思考逻辑学与哲学之间的关系显得异乎寻常的必要和紧迫。