现代形式逻辑入门

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

暂缺《现代形式逻辑入门》作者简介

章 经典形式逻辑简介
节 形式逻辑之初衷
第二节 工具论
第三节 四种判断之间的关系
第二章 现代形式逻辑简介
节 简史
第二节 弗雷格的批判
第三节 数理逻辑的哲学意义
第三章 谓词演算
节 从函数到谓词演算
第二节 个体词(个体常项、专指语)
第三节 量词
第四节 谓词常项与变项
第五节 谓词演算的公理和定理
第六节 小结
第四章 命题演算
节 逻辑原子论
第二节 逻辑联结词
第三节 命题演算和逻辑真值表
第四节 复杂的复合命题
第五节 归谬法、重言式
第六节 英语终止性和延续性动词之间的假言关系
第五章 内涵逻辑
节 从外延逻辑说起
第二节 问题的提出：实质蕴涵悖论
第三节 内涵逻辑
第六章 狭义模态逻辑
节 基本概念
第二节 狭义模态逻辑
第三节 克里普克语义学
第七章 模态命题演算VS模态谓词演算
节 模态命题演算
第二节 模态谓词演算
第三节 小结
第八章 广义模态逻辑
节 可证性逻辑
第二节 认识逻辑
第三节 道义逻辑
第四节 时态逻辑
第九章 关系逻辑与谓词特征
节 关系逻辑
第二节 谓词特征和元
第三节 二元谓词的特征和推理
第十章 语义公设
节 语义公设与涵义关系
第二节 小结
第十一章 蒙塔吉语义学
节 转换生成语法vs蒙塔古语法
第二节 通用语法
第三节 用内涵逻辑解释语义