你可以把逻辑作为研究数学、哲学的一种辅助手段,分析哲学的奠基者弗雷格和罗素就是这么做的,他们通过逻辑分析建立起来的哲学观点像数学命题一样明确又直接,同时又具备了公共可检测性,剃去了传统哲学中不是知识论问题的问题。
弗雷格和罗素另外提出了把数学还原为逻辑的逻辑主义计划,并以算术作为工作起点,其成果是弗雷格的两本巨著《算术的基本原则》,以及罗素和怀特海合著的三大卷《数学原理》。如果这项工作完成了,今天的大学数学系可能就会被逻辑系取代。这项工作分为三个阶段性任务:①建立一套逻辑语言;②用这套语言定义整数和算术规则;③证明这个定义是完备的。他们完成了第一个任务,也就是今天我们使用的数理逻辑前身。1931年随着哥德尔不完备定理的诞生,第三个计划被宣告终结。