本书是一本新型的逻辑教科书，适合于大学文理科的逻辑教学，力图贯彻一个核心理念：逻辑学是对于理性精神的培养和训练。它在一个统一的框架内讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。全书由六章组成，分别是：逻辑是关于推理和论证的科学、命题逻辑、词项逻辑、谓词逻辑、归纳逻辑和非形式逻辑。本书各章后面有内容概要、思考题和练习题，为了帮助读者延伸阅读，书末附有“推荐阅读数目”。

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

　　《新编逻辑与写作》编写框架由导论、上编、中编、下编四部分组成。导论部分对于相关概念进行界定，全面介绍常见的思维形式。上编“形式逻辑基本要素在写作中的应用”纵向介绍概念、命题、推理三大形式逻辑基本要素的知识脉络，在此基础上，对这些要素在写作中的应用进行分析。中编“非形式逻辑基本要素在写作中的应用”，主要结合论证，解释非演绎逻辑在具体思维中的应用，对因果方法的断定、逻辑基本规律在写作中的要求进行阐述。下编“写作的逻辑及其规范”，主要针对论证文和材料写作的思路、要求及规范进行介绍，并对写作中应避免

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

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

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

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

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

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