作为哲学的数理逻辑

• 作者: 叶晓璐 杨睿之
• 来源期刊: 中国哲学年鉴
• 学科: 教育
• 关键词: 数理逻辑 计算机科学 公理系统 希尔伯特 图灵机 哥德尔 塔斯基 完备性
• 年，卷（期）: 2017,（1）
• 页码范围: 424-424
• 页数: 1页
• 分类号: G63

摘要

现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考,其早期发展无疑对人类理性事业起到了重大推动作用。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果,不仅让人类对数学基础有了全新的理解,孕育了现代计算机科学,而且还促成了分析哲学的崛起。此后的数理逻辑越来越陷入高度的技术化与专业化,并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而,无论是数学基础问题还是一般的哲学问题都仍然呼唤着逻辑与哲学再度携手。