
北京师范大学哲学学院
摘 要:希尔伯特纲领是20世纪20年代希尔伯特为了应对以集合论悖论为代表的数学危机和构造主义的挑战而提出的为古典数学奠基的新方案。它不仅是希尔伯特哲学思想的具体数学体现,也是数学基础中形式主义的重要代表。学界通常认为希尔伯特纲领由于哥德尔不完全性定理的出现而遭受彻底失败,然而也有一些反对意见存在。通过区分对希尔伯特纲领三种不同的可能哲学阐释,可以系统而全面的探讨哥德尔不完全性定理是否对希尔伯特特定认识论意义下的希尔伯特纲领构成致命打击。通过聚焦于“一致性的不可证性”这一核心问题,我们给出肯定的看法,并说明这一论断的哲学含义。
关键词:希尔伯特纲领 不完全性定理 一致性