《逻辑:从三段论到不完全性定理》以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。《逻辑:从三段论到不完全性定理》力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

本书以我国著名哲学家高清海先生对于辩证法和形式逻辑关系的一种新的理解, 即把辩证法看作是一种人的逻辑, 把形式逻辑看作是一种物的逻辑为思想起点, 对这一观点进行了全面展开和论证。先后通过对这两种逻辑关系的哲学史考察、辩证法与人的生存本性的契合、形式逻辑与物的现成性的契合, 现代西方哲学的生存论与两种逻辑的关系、辩证法和形式逻辑的功用、形式逻辑发展中的困境与辩证法对此的关照等方面全面论证了这一观点, 最终得出辩证法所要把握的是人, 它是一种关于“人的哲学”的思维方式, 而形式逻辑所要把握的对象乃是物, 它是一种关于“物的哲学”的思维方式。

认知逻辑是将现代逻辑应用于人的认知活动而形成的一个专门逻辑领域，它涉及现代逻辑应用于人工智能研究的许多重要而核心的内容。 本书是国家社科基金项目“现代逻辑在人工智能中的应用研究”的研究成果，主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑、非单调逻辑和缺省逻辑等。为方便读者理解，本书还在附录中介绍了理解认知逻辑所必需的一阶逻辑理论。 本书可作为逻辑学和人工智能工作者理论学习及科学研究的参考书。

本教材是清华大学素质教育研究中心“逻辑通识课程建设研究”课题的研究成果，作为一部新颖的导论逻辑著作，全书以提升逻辑与批判性思维能力为目的，在系统讲述逻辑基本知识的基础上，注重于推理与论证技能及方法的训练，内容分为论证逻辑、演绎逻辑和归纳逻辑部分。本书适合作为高校通识课程教材，也适合作为GCT逻辑基础教程以及管理类、经济类硕士研究生入学考试的逻辑辅导用书。

本书以我国著名哲学家高清海先生对于辩证法和形式逻辑关系的一种新的理解, 即把辩证法看作是一种人的逻辑, 把形式逻辑看作是一种物的逻辑为思想起点, 对这一观点进行了全面展开和论证。先后通过对这两种逻辑关系的哲学史考察、辩证法与人的生存本性的契合、形式逻辑与物的现成性的契合, 现代西方哲学的生存论与两种逻辑的关系、辩证法和形式逻辑的功用、形式逻辑发展中的困境与辩证法对此的关照等方面全面论证了这一观点, 最终得出辩证法所要把握的是人, 它是一种关于“人的哲学”的思维方式, 而形式逻辑所要把握的对象乃是物, 它是一种关于“物的哲学”的思维方式。

认知逻辑是将现代逻辑应用于人的认知活动而形成的一个专门逻辑领域，它涉及现代逻辑应用于人工智能研究的许多重要而核心的内容。 本书是国家社科基金项目“现代逻辑在人工智能中的应用研究”的研究成果，主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑、非单调逻辑和缺省逻辑等。为方便读者理解，本书还在附录中介绍了理解认知逻辑所必需的一阶逻辑理论。 本书可作为逻辑学和人工智能工作者理论学习及科学研究的参考书。

应对蛮不讲理者的60种逻辑学策略为什么要讲理？为什么希望别人也讲理？有这么几个实际的理由。，也是最重要的一点，是好的论证使我们更好地做出自己的决定。那些在生活的方方面面都有理有据的人，无论是实现目标还是完成计划，成功的机会更大。第二，遇到艰难的道德选择，好的论证起的作用尤为重要，它不仅帮助我们决定采取什么样的行动，还使我们避开有不良后果的行为。第三，好的论证，使我们更愿意只遵从那些我们有充分理由信其为真的、牢固的观念。如果我们要求自己是个讲道理的人，我们就该加强现有的信念，或暴露其不足，以便取舍。第四，运用好的论证，还能提升我们在社交、工作及个人事务中思考和行动的水准。要想让别人接受你的某个观点，讲道理通常要比吓唬人、讨好人等办法更有效，至少效果更长远些。最后一点，要解决人与