逻辑与形而上学教科书系列：作为哲学的数理逻辑
图书信息
书名：逻辑与形而上学教科书系列：作为哲学的数理逻辑作者：杨睿之
包装：平装
开本：16
页数：218页
全文字数：250000
出版社：复旦大学出版社
出版时间：2016-11-1
图书简介
在19与20世纪之交，现代逻辑起源于对数学基础问题的思考。早期的发展对人类理性事业有着重大的推动。本书对弗雷格概念文字、希尔伯特公理系统、塔斯基真定义，哥德尔完备性与不完备性定理、图灵机刻画机械可计算的等成果进行了系统的介绍。这些成果让人类对数学基础有了全新的理解，孕育了现代计算机科学，并促成了分析哲学的崛起，深刻地改变了哲学研究的样貌。此后的数理逻辑渐渐淡出公众、哲学家甚至其他数学家的视野，本书试图将演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速理解数理逻辑的主要工作，让逻辑学工作者或学生认识与他们的工作相关的哲学问题。这本书将逻辑学和哲学之间的联系更加清晰地呈现给大众。
推荐理由
如果你是对哲学和数学基础问题感兴趣的读者，那么这本书一定不容错过。本书所涵盖的知识点将让你对现代逻辑的起源和发展有更全面的认识，深入探讨创新成果对分析哲学和现代计算机科学的影响。你将更好地了解数学基础问题和一些哲学问题，也许能发现新的研究方向。