本书围绕“逻辑全能”与“逻辑无能”之间必要的张力的把握，对当前认知逻辑研究中的根本问题、问题的症结与合理研究指向做出了系统性与深刻性的分析。作者基于上述“问题症结”的认识，认为逻辑全能问题是认知封闭原则在形式系统中的体现，对逻辑全能问题的回答可以视为对认知封闭原则的解答。本书的基调是拒斥逻辑全能问题，实则是不接受认知封

本书是一本理论扎实，同时联系实际应用的图书。全书系统地介绍了因果推断的基本知识、基于机器学习的因果推断方法和基于因果推断的机器学习方法及其在一些重要领域的应用。全书共分6章。第1章从结构因果模型和潜在结果框架出发，介绍因果推断的基本概念和方法。第2章介绍近年统计和机器学习文献中出现的一些重要的基于机器学习的因果推断方法

本书共46节，包括七个部分。前六部分，通过大量典型事例，说明逻辑推理在不同领域中的妙用。第七部分，主要介绍普通人运用逻辑推理解决重大问题的典型事例。逻辑推理能力，是现代社会成员必备的素质和技能。不懂逻辑推理，就会陷于愚昧；善于逻辑推理，就会变得睿智；精于逻辑推理可以拥有高智商、大智慧。熟读此书，可以帮助不懂逻辑推理的人

逻辑学是联合国教科文组织宣布的包括数学、物理学、化学等在内的七大基础性学科之一。创办《逻辑、智能与哲学》集刊可以顺应并推动逻辑学这一基础学科的发展，助力国家科技振兴战略。人工智能是国家近期和未来重要的科技发展战略，而逻辑学、哲学均是人工智能重要的基础学科，为了推动并展示相关交叉学科的创新性研究成果，特创办该集刊。集刊的

博弈是通过选择合适的策略达到合意结果的过程。人们的工作和生活中充满各种各样的决策，因此充满追求利益最大化的博弈过程。了解了博弈的法则，我们就能经过分析和推理找到各方利益的关键点，从而看清隐藏在事物表象背后的本质。本书通过讲述历史和生活中的一系列小故事，阐明博弈法则是如何对事件的结果产生影响的。书中从为人处世、两性关系、

本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Age

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

本书主要内容为管理类联考逻辑应试辅导用书，涉及参加MPA、MBA、会计硕士、工程硕士等几个专业学位综合能力考试科目的内容，包含逻辑推理和常识判断等逻辑应试试题420道，合计450题。

这是一部讲述逻辑学的软科普小书。16岁的陆媛媛要参加学校的辩论赛，她与二师兄陈谋、大师姐李呦呦三人在播客节目“逍遥学派的散步时间”中展开了7次对话。这个节目的目标是让普通听众学到一些逻辑学的知识和方法，从而拥有更强的推理能力和论辩能力。就这样过了大约两个月，在师姐和师兄的帮助下，陆媛媛的思辨水平在同龄人中已属翘楚——两

《命名与然性》是美国的逻辑学家、哲学家克里普克的代表作，主要阐述了克里普克的名称的指称理论和名称的同一性理论。本课题主要从可能世界的视角和本质主义的研究纲领出发，抓住然性这一重要路线，把握理论的历史和现实逻辑，分析和考察克里普克的名称理论和同一性理论，澄清以往对克里普克理论观点的误解和讹传，还克里普克思想以本来面目，系