作为哲学的数理逻辑

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成果以及两者分离后逻辑学的发展路径。本书试图说明，当代逻辑学的研究仍然具有深刻的哲学内涵，并且可以为面临困境的当代哲学提供新的思想资源。