内容简介
现代 逻辑 起源于19与20世纪之交 人类 对于 数学 基础问题的 思考 。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念 文字 、希尔伯特公理 系统 、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代 计算机 科学 ，还促成了分析 哲学 的崛起，由此深刻地改变了哲学研究的样貌。
此后的数理逻辑越来越陷入高度的 技术 化与专业化，并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而，无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学 工作 者或爱好者快速正确 地理 解 当代 数理逻辑的主要工作，也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。
评论列表
发表评论