内容简介

杨睿之著，2016年11月由复旦大学出版社出版，属“逻辑与形而上学教科书系列”学术专著。作者为复旦大学哲学学院学者，研究方向聚焦数理逻辑与数学哲学。本书探讨数理逻辑的哲学内核及其与分析哲学发展的互动关系，系统梳理现代逻辑起源及对数学基础、计算机科学等领域的影响。通过弗雷格、希尔伯特、哥德尔等学者理论分析，论证数理逻辑仍具有哲学探索属性，并分章讨论计算与随机性、相对一致性、无穷数学等前沿议题。全书以形式语言演化、集合论模型等专题重构逻辑学与哲学对话框架，强调数学基础问题需两者的深度结合。目录涵盖导言、计算与随机、相对一致性、无穷之上四部分，呈现交叉学科研究动态。