《逻辑基础（修订本）》是清华大学人文学院的系列教材之一，是专门为大学文科学生以及自学者，特别是那些没有理科背景的读者编写的现代逻辑教科书。本书的编写参考了大量国内外的相关教材，总结了作者多年的研究和教学成果。全书贯穿着一种现代逻辑的观念，力图使学生通过本书的学习，具备基本的逻辑思维能力；该书体例新颖，结构简练，以现代逻辑的基本知识为核心内容，同时兼顾传统逻辑的精华；内容由浅入深，循序渐进；作者通过列举现实生活中大量生动直观的实例，说明比较抽象和技术性较强的逻辑知识，从而省去了现代逻辑中许多枯燥、繁琐的纯符号内容，使本书好教、好学、好用、好理解、好掌握。本书还给出了一些有趣的习题和参考答案，便于学生加深理解和掌握。本书既可作为大学文科逻辑教材，也广大逻辑爱好者的自学用书。

    5.6 一阶逻辑的方法
    以上简单介绍了命题逻辑H和谓词逻辑QH的基本内容。这两部分是一阶逻辑的基本组成部分，也是现代逻辑的基础部分。虽然我们的介绍非常简单，许多重要的定理都没有证明，许多重要的元定理也没有介绍，但是有两个最基本的特征还是可以看出来的。
    一个特征是形式化。一阶逻辑的语言完全是人工语言。它的每一个符号与其意义都是一一对应的，因此不会有歧义。利用这样的语言，我们可以完全消除自然语言的歧义，非常精确地表达我们想要表达的东西。有人可能会认为，我们在陈述的过程中，仍然使用了自然语言。确实是这样。但是，人工语言的使用，使我们可以区别出对象语言和元语言。比如，语言LP和LQ本身是对象语言，它们的构成包括字母表和形成规则，是清楚的。我们陈述和说明它们的语言是元语言。这两种语言不在一个层次上。因此尽管我们在陈述LP和LQ。的过程中也使用了日常语言，从而使两种语言混合在一起，但是它们之间的区别仍然是清楚的。就像一本用汉语写的英语语法书一样。里面的英语是对象语言，而陈述用的日常语言，即汉语，则是元语言。现代逻辑表明，形式化是消除语言歧义、保证表达清晰精确的惟一方法。
    另一个特征是公理化。一阶逻辑的公理系统是比较成熟和完善的系统。它至少有几种非常重要的性质。其一，它可以使对象的研究系统化。以命题逻辑为例，通过公理化的研究，所刻画和揭示的不是某一种推理的特征和性质，而是五种命题联结词及其相关推理的特征和性质。而就谓词逻辑来说，通过公理化的研究，就刻画和揭示了全称量词和存在量词及其相关推理的性质和特征。我们知道，命题逻辑所探讨的五种命题联结词是日常表达中与推理的有效性联系最为紧密的，而全称量词和存在量词也是人们表达量词的最为基本的两种情况。因此这样的研究结果就具有普遍性。
    其二，它可以保证可靠性。这里的可靠性又可以有两层含义。一方面，由于可以构成形式系统，因此可以从几条公理出发，利用推理规则，证明许多定理。这样就真正把推理变成了演算。从而使莱布尼兹“算一算”的思想变为现实。计算所得的结果无疑具有可靠性。另一方面，由于有了公理系统，而公理系统自身是一个完整的体系，因此公理系统本身就成为我们研究的对象，从而形成元逻辑的研究。前面我们在介绍了H和QH之后，分别谈到可靠性定理和完全性定理。我们虽然没有介绍这些定理的证明，但是已经把它们的结果告诉了大家。这两条定理实际上是保证了H和QH的可靠性。由此也说明，H和QH本身的可靠性是不能在H和QH自身来解决的。
    ……

序
第一章  绪论
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  重言式的形式证明
2.14  命题逻辑推理规则的运作
习题
第三章  词项逻辑
3.1  直言命题及其形式
3.2  类与存在假定
3.3  对当方阵的语义解释
3.4  对当方阵推理
3.5  换质拉推量
3.6  三段论的格与式
3.7  三段论的有效性
3.8  三段论的规则与运用
习题
第四章  谓词逻辑
4.1  个体词与谓词
4.2  量词
4.3  关系命题
4.4  多个量词
4.5  量词的否定
4.6  真、可满足与有效性
……
第五章  一阶逻辑
第六章  思维与语言
附录1  命题逻辑规则与方法
附录2  谓词逻辑规则与方法
附录3  词项逻辑规则与方法
附录4  习题参考答案
主要参考文献
索引