2002年11月,逻辑学课程列入了浙江大学首批精品课程建设计划。从那时开始,我们围绕精品课程建设的总体目标和思路,在反复酝酿写作提纲的基础上,着力编写这本与逻辑学网络课程配套的新教材。
本书的编写力图体现传统逻辑方法与现代逻辑观念的有机结合,逻辑基本理论阐发与逻辑思维训练的有机结合,逻辑历史线索把握与逻辑前沿问题介绍的有机结合,以便更好地为提高在校大学生的思维素质和思维能力服务。

绪论
0.1 逻辑的研究对象
0.2 逻辑的基本规律
0.3 逻辑的功能定位
0.4 逻辑的历史演进
练习题
第1章 命题逻辑(一)
1.1 命题和推理的概述
1.2 联言命题及其推理
1.3 选言命题及其推理
1.4 假言命题及其推理
1.5 负命题及其推理
1.6 二难推理
1.7 其他复合命题推理
练习题
第2章 命题逻辑(二)
2.1 真值联结词
2.2 真值形式
2.3 真值表方法
2.3 真值表方法
2.4 范式及其应用
练习题
第3章 命题逻辑(三)
3.1 命题逻辑自然推理概述
3.2 推理规则及其应用
3.3 置换规则及其应用
3.4 条件证明规则及其应用
第4章 谓词逻辑(一)
4.1 直言命题
4.2 直言命题的直接推理
4.3 三段论
练习题
第5章 谓词逻辑(二)
5.1 个体词、谓词与量词
5.2 直言命题符号化
5.3 关系命题
5.4 否定式的量化与量化式的否定
5.5 普遍有效性和可满足性
练习题
第6章 谓词逻辑(三)
6.1 谓词逻辑的推理规则
6.2 带量词的关系命题推理
6.3 转换判定方法
6.4 解释方法
第7章 模态逻辑
7.1 真值模态命题及其推理
……
第8章 归纳逻辑
第9章 语用逻辑(一)
第10章 语用逻辑(二)
第11章 语用逻辑(三)
第12章 语用逻辑(四)
第13章 非形式逻辑(一)
第14章 非形式逻辑(二)
第15章 非形式逻辑(三)
主要参考文献
后记