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