数学是逻辑吗?——论数学的逻辑主义基础

数学与逻辑的关系问题一直都是数学哲学家们关注的重点,对这一问题的解决直接关系到人们对数学基础的研究能否深入。以罗素为代表的逻辑主义提出数学可化归为逻辑的观点受到了哲学界广泛的关注和批判。文章试图通过剖析逻辑主义的基本论点,进一步揭示数学与逻辑之间的联系与差异,指出数学不只是逻辑。因为我们认为非直谓定义、集合论的无穷公理在数学研究中有着广泛的应用,然而这二者却不容于逻辑。因此,数学比逻辑有着更宽泛的研究对象和范畴。