现代逻辑导引

    逻辑是保证人类正确思维的根本。本书作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分：第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容；第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算；第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍；第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。本书既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。

绪论
  A．1　逻辑学的对象和性质
  A．2　逻辑思维的基本规律
  A．3　逻辑思想与学习逻辑的方法
1　命题逻辑
  1．1　词项与命题
  1．2　简单命题及其推理
  1．3　复合命题及其推理
  练习题
2　命题演算
　2．1　命题演算概述
　2．2　命题演算系统LP
　2．3　命题演算系统LP的可靠性和完全性
　练习题
3　谓词逻辑
　3．1　谓词和量词
　3．2　形式语言
　3．3　命题的量化形式结构
　3．4　谓词逻辑推理的规则
　练习题
4　谓词演算 
  4．1　谓词演算
  4．2　演绎定理
  4．3　谓词演算的可靠性与完全性
　练习题
5　模态逻辑
　5．1　模态逻辑概述
　5．2　可能世界语义学
　5．3　框架、模型和有效性
　练习题
6　模态命题演算
  6．1　形式语言LPM
  6．2　K，D和T系统
  6．3  S4，S5和B系统
  6．4　模态系统的可靠性与完全性
  练习题
7　现代逻辑的现代发展
  7．1  时态逻辑
  7．2　认知逻辑
  7．3  自然语言逻辑
参考文献
后记