《现代形式逻辑入门》是一部由我国语言学家编写的逻辑学导论型教材，主要面向文科读者，特别是语言学方面的读者。逻辑学和语言学有着天然的密切联系。逻辑学也涉及语言、语词、句子，有句法、语义等内容。仅从专业词汇看，逻辑学和语言学就有不少共用的术语。如果掌握逻辑学知识，也就多了一种视角和研究方法，便于更好地理解语言以及进行语言学的学习和研究。本书凝聚了作者自己多年来逻辑学的学习以及教学的心得和总结，形成了全书“重在理解，力求全面，循序渐进”的特点。

第一章 经典形式逻辑简介
第一节 形式逻辑之初衷
第二节 工具论
第三节 四种判断之间的关系

第二章 现代形式逻辑简介
第一节 简史
第二节 弗雷格的批判
第三节 数理逻辑的哲学意义

第三章 谓词演算
第一节 从函数到谓词演算
第二节 个体词（个体常项、专指语）
第三节 量词
第四节 谓词常项与变项
第五节 谓词演算的公理和定理
第六节 小结

第四章 命题演算
第一节 逻辑原子论
第二节 逻辑联结词
第三节 命题演算和逻辑真值表
第四节 复杂的复合命题
第五节 归谬法、重言式
第六节 英语终止性和延续性动词之间的假言关系

第五章 内涵逻辑
第一节 从外延逻辑说起
第二节 问题的提出：实质蕴涵悖论
第三节 内涵逻辑

第六章 狭义模态逻辑
第一节 基本概念
第二节 狭义模态逻辑
第三节 克里普克语义学

第七章 模态命题演算VS模态谓词演算
第一节 模态命题演算
第二节 模态谓词演算
第三节 小结

第八章 广义模态逻辑
第一节 可证性逻辑
第二节 认识逻辑
第三节 道义逻辑
第四节 时态逻辑

第九章 关系逻辑与谓词特征
第一节 关系逻辑
第二节 谓词特征和元
第三节 二元谓词的特征和推理
……
第十章 语义公设
第十一章 蒙塔吉语义学
第十二章 现代形式逻辑的利与弊
附录
主要参考书目