哲学方法论系列文库：逻辑主义.pdfVIP

哲学方法论系列文库—— 逻逻辑辑主主义义 哲学是人类文化结晶， 方法论在哲学中占有重要地位。 本文提供 “逻辑主 ” 的现代视点解读，以供大家了解。 逻逻辑辑主主义义 在世纪初，在关于数学基础的讨论中，形成了几个不 同的学派。 逻辑主 是其中之一，代表人物是英国逻辑学家罗 素。 逻辑主 认为，数学即逻辑，二者没有分界线。 逻辑是数学的青年时代，数学是逻辑的壮年时代，数 学可以还原为逻辑。 罗素在与怀特海合着的 《数学原理》一书中，用详尽 的推演表明怎样从逻辑过渡到数学。 这种过渡必须假设无穷公理和选择公理。 这说明逻辑不能无条件地直接地过渡到数学。 为了坚持自己的主张，罗素把必须至少假设上述公理 之一才能推出的定理表述为一个条件命题。 例如，定理A必须假设无穷公理，则表述为：如果无穷 公理，则A 。 从逻辑过渡到数学时，必须发展集合论。 为了排除集合论悖论，罗素用分支类型论来改造朴素 集合论，用这种十分复杂的分支类型论作为明白而又 简单的自然数论的前提，使不少数学家对逻辑主 持 怀疑和否定态度。 更重要的是，从分支类型论必须借助可化归公理才能 推出整个数学。 但分支类型论的全部根据是“恶性循环原则”，而可化 归公理的精神与恶性循环原则是相冲突的。 面对这一情况，逻辑主 者采取了两种不同的方法： 一是干脆不用可化归公理，保留分支类型论的原来面 貌，这时推不出全部数学。 另一种是直接采用根据可化归公理简化后所得的结 果，即直接采用简单类型论，这时可推出整个经典数 学了。 但因为放弃了恶性循环原则，和分支类型论相比，理 论的根据少了，要证明相容性更困难了。