本书目录导读：
在当今信息爆炸的时代，逻辑、语言与计算这三个领域已经成为现代科学技术的基石，我国著名计算机科学家、逻辑学家马希文的文选，正是对这三个领域深入探讨的结晶，本文将带领读者走进马希文先生的文选，感受逻辑、语言与计算的智慧之光。
作者：马希文
出版社：清华大学出版社
出版时间：2018年
《逻辑、语言与计算：马希文文选》收录了马希文先生在不同时期发表的论文、讲义、演讲等作品，涵盖了逻辑、语言、计算等多个领域，本书旨在为广大读者提供一部全面了解马希文先生学术思想的佳作。
1、逻辑篇
在逻辑篇中，马希文先生深入探讨了形式逻辑、数理逻辑、模态逻辑等多个分支，他运用严谨的逻辑推理，对传统逻辑理论进行了批判性分析，提出了许多新颖的观点，他在《形式逻辑的批判性分析》一文中，对传统形式逻辑的局限性进行了揭示，并提出了形式逻辑的批判性分析方法。
2、语言篇
在语言篇中，马希文先生从哲学、语言学、计算机科学等多个角度对语言进行了深入研究，他认为，语言不仅是人类交流的工具，还是人类思维和认知的基础，在《语言的哲学与认知》一文中，他详细阐述了语言与思维、认知之间的关系，为语言哲学和认知科学的研究提供了新的思路。
3、计算篇
在计算篇中，马希文先生对计算机科学的发展历程、基本原理和关键技术进行了梳理，他强调，计算技术是现代科技发展的核心，计算机科学的研究对于推动社会进步具有重要意义，在《计算机科学的哲学基础》一文中，他探讨了计算机科学的哲学基础，为计算机科学的发展指明了方向。
《逻辑、语言与计算：马希文文选》是一部具有较高学术价值的著作，马希文先生在逻辑、语言、计算等领域的研究成果，为我们提供了丰富的思想资源，通过阅读这本书，读者可以深入了解马希文先生的学术思想，领略逻辑、语言与计算的智慧之光。