逻辑学教程

　　第一章  绪论
　　§1  逻辑的研究对象
　　§2  逻辑的作用
　　§3  逻辑的发展简史
　　第二章  非开式的命题逻辑
　　§1  命题的联结词
　　§2  真值表方法  真值函数
　　§3  真值函数可定义性  联结词的完全性与独立性
　　§4  重言式的逻辑分析
　　§5  推理的有效性  重言后承
　　§6  范式
　　练习题
　　第三章  命题演算
　　§1  形式系统概述
　　§2  命题演算系统P的结构
　　§3  P的内定理的证明
　　§4  演绎定理及其应用
　　§5  P的定义式定理
　　§6  P的元理论
　　§7  命题演算自然推理的系统PN
　　练习题
　　第四章  传统谓词逻辑
　　§1  概念
　　§2  性质命题
　　§3  性质命题直接推理
　　§4  三段论
　　练习题
　　第五章  非形式的一阶谓逻辑
　　§1  从传统谓词逻辑到现代谓词逻辑
　　§2  命题的一阶谓逻辑分析
　　§3  一阶谓词语言L1的语法和语义
　　§4  代入和字母变易
　　§5  前束范式
　　练习题
　　第六章  一阶谓词演算
　　§1  一阶谓词演算系统F的构成
　　§2  F的导出规则
　　§3  演绎定理及其用
　　§4  F的元理论
　　§5  带等词的一阶谓词演算系统F
　　练习题
　　第七章  模态逻辑
　　§1  模态逻辑概述
　　§2  非形式的模态命题逻辑
　　§3  模态命题演算公理系统
　　§4  可能世界语义学
　　§5  模态命题逻辑元理论
　　……
　　第八章  归纳逻辑
　　第九章  语用逻辑
　　主要参考书目
　　后记

　　    逻辑是一门既古老双年轻的学科。说它古老，是因为它的历史源远流长；说它年轻，是因为它今天仍然充满着生机和活力，在人们现实的思维和交际中起着其他学科不可替代的重要作用。依据“由抽象上升到具体”的理论建构原则，我们分九章来安排《逻辑学教程》的教学体系。
　　    《逻辑学教程》的第一章介绍逻辑的对象、作用和对象、作用和历史，旨在为逻辑画一个总的轮廓，使读者对逻辑有一个概略的了解。
　　    《逻辑学教程》的第二章和第三章所讨论的问题，属于命题逻辑的范围。就命题逻辑而言，简单、基本的东西就是命题联结词，所以第二章就从联结词讲起。第三章讨论命题演算，它是命题逻辑的形式化、系统化。命题演算包括公理系统的自然推理系统，本章对这两大系统都作了简明扼要的介绍。