证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.

《形式逻辑（第六版）》全书按形式逻辑的对象和意义、概念、命题及其推理、归纳推理、类比推理与假说、形式逻辑的基本规律、论证等内容分章，讲述简明精要，易于理解，每章还配有练习题和解题思路。本次修订保持了全书原有结构和内容，对上一版的某些内容表述作了必要的修改和加工，使得全书的表述更加准确、恰当；对版式进行了调整，使得概念、定义更加突出。各章练习题配有解题思路，更易于教与学。

本书是一本新型的逻辑教科书辅导用书，适合于大学文理科的逻辑教学。它在一个统一的框架内，讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。

这本书是作者在广西大学本科生中三年的逻辑与批判性思维训练课程教学实践的产物。该书基于教学过程中的第一手资料，紧紧衔接教学实践的地气，是全校逻辑与批判性思维教学的一项探索成果。本书命名为普通逻辑学，是相对于更为复杂的数理逻辑而言的，注重体系的完整性,分别介绍了演绎推理、归纳推理和类比推理的内容，且增加大量的生动的逻辑学案例，突出逻辑的趣味性，是一本适合非逻辑学专业的高校学生通俗教材。

本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。

普通逻辑课程目标是向学生传授较为系统的普通逻辑基础知识，并指导学生进行逻辑基本训练，提高他们的逻辑思维能力和语言表达能力，以利于今后的学习和教学工作。本书内容主要讲授传统形式逻辑关于概念、判断、推理、假说、论证以及逻辑思维基本规律的知识，对概念、判断、推理、假说、论证在实际运用与表达中的一些逻辑问题，也做了必要的论述。本书力求简明扼要，讲究实用，注意理论联系实际。每章后面均有练习题，配合各章内容进行逻辑思维训练。

本书原为卫星电视教材，前三版以其简明实用的特色深受读者欢迎。此次修订根据国家建构全民终身学习体系的精神和高等学校教育、教学改革与发展实际， 调整了章节结构，改写了部分内容，更新了一些例证，使其更为科学实用。全书对逻辑知识的介绍通俗易懂，重点突出。书中列举了大量的实例辅助读者理解相关逻辑学理论，并用表格和图片对疑难知识点进行形象化转化，更易于读者消化吸收相关知识。每章后设有思考题和思维训练题，便于学生复习巩固。此外，该书配有丰富的数字化资源，包括各章自测题、学习指导书和教学参考书，以满足当前

本书是中国人民大学哲学院逻辑学教研室集体编写同名教材的第4版，可继续用作高等教育逻辑学课程教材。本书内容 涵盖逻辑学基础知识各主要分支，有形式逻辑，也有非形式逻辑；有传统逻辑，也有现代逻辑；有对逻辑学基础理论知识的系统讲授，也包括训练逻辑思维能力的大 量素材。全书配有大量练习题，并附有相关练习题答案。

本教材为普通高等院校哲学大类专业课程十三五规划教材中的一种。全书基本内容可被概括为：以名侦探们的推理故事为切入点，以期勾勒逻辑学的基本样貌。全书由推理：你怎么知道华生刚从阿富汗回来、演绎推理：你怎么知道小兰躲在体育馆里、归纳推理：从数学考试的盲点中你看到了什么、溯因推理：从本案的三个疑点中你推理出了什么、名侦探的发现逻辑：新一与平次是如何一较高下的、语言推理：如何让斯密司太太不自觉地透露关键信息六大部分构成。每部分均由经典的侦探故事引出值得思考的逻辑学问题，进而以演绎-归纳-溯因为基本框架