斯图尔特·夏皮罗的这本独特的著作分为4大部分，全面地阐述了同数学有关的哲学问题和立场。全书探讨了自人类开始理智活动以来所引起的哲学家思考的那些数学问题。在对历史的全面综合中，作者讨论了数学在柏拉图、亚里士多德、康德和密尔这些思想家心目中的地位，并论述了贯串整个20世纪的3种主要立场： 数学即逻辑（逻辑主义），数学的本质是按照规则对字符的操作（形式主义），以及认为数学是一种心灵活动的修正主义哲学（直觉主义）。最后，夏皮罗考察了当代的立场和著作，把读者引领到这个领域的最前沿。

マイケル・ダメットは1925年生まれ、イギリスの哲学者。ダメットの主張は「反実在論」と呼ばれる。彼の着想は従来の実在論―反実在論の論争とは違うところにある。この論争を外的世界についての言明に対してどのような意味論を採用するかをめぐる論争と捉えるのである。膨大な数の著作でなされる議論の相互関係を分り易く解説する。

《形而上学的逻辑基础》是达米特的代表性著作，它最为系统地反映了作者哲学思想的全貌。全面阐述了意义，真与反实的论等问题。从弗雷格的意义理论出发，作者阐发了弗雷格的涵义和指称的概念，对弗雷格关于涵义与指称区别的论证做了进一步的辩护，批判了真值条件意义理论，提出了辩护主义的意义理论以及意义理论的显示原则、交流原则，试图把应用于数学领域的直觉主义逻辑方法推广到日常语言领域，解决实在论与反实在论的争论问题，以奠定其哲学理论的逻辑基础。
《形而上学的逻辑基础》涉及的哲学理论博大精深，其主要观点大胆而深刻，颇有争议而极具原创性，是学界公认的一部相当重要的著作，是20世纪哲学的真正高水准的成果之一。

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