本书在已有教材基础上修订而成，考虑到高校的教学实际，本次修订改动如下：删除了上一版教材介绍公理系统的一章；对词项逻辑、命题逻辑、谓词逻辑等三章，篇幅有所调整，删除了若干段落，更换了若干案例和相关的分析，部分调整了章节内部的顺序，使不同内容间的联系更加紧密、突出。同时，教材形态有所更新，各章配备了二维码，提供教学指导，以便高校师生使用。
本书可供高校文科专业开设逻辑学课程使用，也可供有兴趣的爱好者阅读。
- 前辅文
- 第一章 绪论
- 1.1 逻辑简史
- 1.2 逻辑的性质
- 1.3 形式逻辑
- 1.4 逻辑、语言与思维
- 思考题
- 第二章 命题逻辑
- 2.1 命题联结词的句法
- 2.2 命题联结词的语义
- 2.3 括号与主联结词
- 2.4 重言式与有效性
- 2.5 真值表法
- 2.6 简化真值表法
- 2.7 真值树法
- 2.8 命题推理的证明规则
- 2.9 等值规则
- 2.10 条件证明
- 2.11 间接证明
- 2.12 重言式的形式证明
- 2.13 命题逻辑推理规则的运用
- 习题
- 第三章 词项逻辑
- 3.1 直言命题及其形式
- 3.2 对当方阵的语义解释
- 3.3 对当方阵推理
- 3.4 换质位推理
- 3.5 三段论的格与式
- 3.6 三段论的有效性
- 3.7 词项逻辑的意义与运用
- 习题
- 第四章 谓词逻辑
- 4.1 个体词与谓词
- 4.2 量词
- 4.3 关系命题
- 4.4 多个量词
- 4.5 量词的否定
- 4.6 真、可满足与有效性
- 4.7 树形判定法
- 4.8 形式证明
- 4.9 条件证明
- 4.10 间接证明
- 4.11 谓词逻辑的运用
- 习题
- 附录一 逻辑规则与方法
- 1 命题逻辑的证明规则
- 2 谓词逻辑的证明规则
- 3 词项逻辑的规则
- 附录二 习题参考答案
- 主要参考文献
- 索引
