现代逻辑基本概念和技术

　　本书介绍了有效推理和与此相关的一系列概念（矛盾句、有效句、语句间的蕴涵关系和等价关系），这些语句层面上的概念最终都可以借助语句模式的概念加以说明。本书还介绍了检验和证明语句模式有效性的技术，特别是主要运用于真值函项模式的真值分析法和运用于一般的量化模式的纯存在式方法和奎因方法。本书纠正了一些因袭性的概念错误并给予了正确解释，如相容选言句和不相容选言句的含义，蕴涵关系和条件句之间的区别和联系，等等。特别值得一提的是，本书花了三章的篇幅，从日常语言着手，将谓词、变项和量词这几个专业概念的来龙去脉交代得清清楚楚。本书适合用作各大院校的逻辑教材，也可供逻辑爱好者自修之用。

　　翟玉章，1965年出生，江苏盐城人。1995年7月获北京大学哲学博士学位。南京师范大学哲学系副教授。曾在世界知识出版社和中国驻外使馆工作。从事分析哲学（特别是罗素、卡尔纳普和奎因的哲学）的教学和研究工作。

第一章 有效推理和矛盾
第二章 矛盾句和矛盾模式、逻辑结构的层次性
第三章 真值函项联结词和真值函项模式
第四章 真值函项模式矛盾性和有效性的检验：真值分析法
第五章 真函有效推理的检验方法
第六章 模式间的蕴涵关系和等价关系
第七章 中场总结和预告
第八章 谓词和谓词字母
第九章 谓词提取和变项
第十章 量词
第十一章 量化模式及其有效性
第十二章 量化模式的替换规则
第十三章 移置规则和量化模式的前置化处理
第十四章 量化模式有效性的检验方法：纯存在式方法
第十五章 量化模式有效性的证明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 单独词项和“=”
附录一 奎因论现代逻辑(英汉对照)
附录二 复习思考题参考答案
附录三 专业术语索引
出版后记