本书使用文献研究法讨论了一个数理逻辑问题：弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统，并构造模型证明其非平凡性，结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性，在一定意义上拓展了其应用领域，实现了洛韦和塔拉法德的猜想，将广义代数值模型推广到弗协调集合论，书稿也对集合论模型的构造技术作了一次较为充分的梳理，为其它集合论模型的研究提供参考。

逻辑学是联合国教科文组织宣布的包括数学、物理学、化学等在内的七大基础性学科之一。人工智能是国家近期和未来重要的科技发展战略，而逻辑学、哲学均是人工智能重要的基础学科，为了推动并展示相关交叉学科的创新性研究成果，中国逻辑学会特创办该集刊《逻辑、智能与哲学》。集刊的主要研究论域包括逻辑、智能与哲学的交叉融合等，其基本研究方法是突出基础性、前沿性、应用性和跨学科性等，受众对象主要是逻辑学、智能科学和哲学研究者和爱好者。本辑为第四辑，主题是“逻辑与知识：可能性与可靠性”，主要栏目有：逻辑经典问题、逻辑与

"王路教授是我国著名的逻辑学家、哲学家，也是亚里士多德和弗雷格研究专家。他提出逻辑就是“必然地得出”，相关认识推进了国内现代逻辑观念的传播，影响了几代人；他提出应该在系词的意义上理解being，并且把这样的理解贯彻始终，他的观点颠覆了传统认识，被称为一“是”到底论，引起国内西方哲学界持久的热烈讨论；他提出句子图式，为哲学讨论提供了一种理论工具，展示了一种解释和讨论哲学问题的方式；他提出“哲学是关于认识本身的认识”以及“加字哲学”等一系列新的认识，引起学界的热烈反响和讨论，在国内学界产生重大影响。

本书从生动有趣的情景片段入手，深入浅出地诠释逻辑学原理，让读者轻松了解逻辑学常识、辨别语言陷阱、破斥逻辑谬误，提高逻辑思考能力。说不出逻辑学是什么，并不意味着逻辑学距离生活很远，事实恰恰相反，逻辑学在生活中几乎无处不在，只是鲜少被注意、被提及而已。生活不是童话世界，现实问题极其复杂，想要把握事物的本质，仅凭直觉思维是不够的，还需要进行有意识的逻辑思考。对普通大众来说，系统了解逻辑学的机会并不多，故而在提到逻辑学中时一脸茫然，脑海里没有任何概念。

本书首先探讨了逻辑的观念，并通过回顾中西方推理研究的重要问题和内容，提出了研究所秉持的逻辑观念和方法，即以逻辑与文化关系为纽带，深刻认识并高度认同关于逻辑具有共通性和特殊性的思想，坚持文化逻辑观，精准运用“历史分析与文化诠释”的方法。其次，提出并初步构建了比较逻辑学的理论框架，创新性地提出比较逻辑学描述、评价、汇通“三层次”理论设想，并按照这一设想展开中西方必然推理比较研究。最后，提出开展中国古代科学逻辑思想研究的新命题，拓宽了中国逻辑史研究领域；提出中国逻辑必然推理是一种有别于西方数学公理化演

简单风趣的大师逻辑课来了！本书邀请波普尔、休谟、孔德、古尔德、罗素、培根、亚里士多德等16位逻辑学大师走进课堂，在与学生的畅谈中，讨论与现代社会生活密切相关的16个逻辑学话题——现实的思考、概念、概括、过度概括、隐含意义、谬误、错误类比、片面性思考错误、集体思维、推理关系与模态逻辑、回避问题、同一律和矛盾律、排中律和充足理由律、统一场理论、人际沟通中的逻辑语原则、诈骗等。全书精心绘制轻松幽默的漫画与图示，在趣味阅读中读懂社会运行的逻辑学原理，在逻辑学的世界中畅游，在理性思考中让人生更智慧。

本书首次全面介绍了主动推理架构，涵盖理论基础和实践应用。作为理解行为与大脑的“第一原则”方法，主动推理架构以最小化自由能为纲。本书强调了自由能原理对理解大脑运行方式的重大意义，介绍了主动推理架构的相关概念和形式体系，并将其置于当前认知科学理论的语境之中，而后以具体实例展示了如何使用基于主动推理的计算模型来解释知觉、注意、记忆和计划等认知现象。

模态逻辑是现代逻辑研究的重要领域，多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统，且算子之间不可规约，它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角，构建了多模态逻辑一般系统，为形式化研究各种类型的模态提供了一般的逻辑框架；证明了多模态逻辑一般系统的完全性、对应性、可判定性等元逻辑问题的一般性结论；揭示了多模态逻辑的哲学背景及其解题功能，论述了多模态逻辑在哲学中的应用价值。

本书主要围绕图像的现象性问题，依据可见者与不可见者的关系视角，对法国新现象学的两位核心人物亨利和马里翁的图像理论进行深度阐释和反思，并一般性地考察图像的可能性模式。著作包含五个部分：第一部分（导论）主要一般性地讨论亨利、马里翁与图像现象学的问题；第二部分（第1-2章）主要讨论图像化时代的可见性逻辑及其对自我、他者和世界的消极效应。这种逻辑恰恰是亨利和马里翁激烈批判并试图超越的图像逻辑。第三部分（第3-4章）主要讨论和反思亨利的图像模式，这种模式实现了图像从作为可见者的世界转向作为不可见者的生命。

普通大众真正了解逻辑学的机会并不多，故而在提到逻辑学时，大部分人总是一脸茫然，脑海里没有任何概念。不过，说不出逻辑学是什么，并不意味着逻辑学离我们的生活很遥远，事实恰恰相反，它几乎时刻围绕着我们，只是鲜少被注意、被提及而已。媒体上的各种信息，有许多并不是真实的，我们稍不留神就可能被夸张的、错误的言论误导和迷惑，被别有用心的人操控和利用。学习《逻辑学与生活》，培养逻辑思考能力，可以帮助我们有效地识别信息真伪、判断命题真假、批判歪理和谬误、有效沟通表达。在处理复杂问题时，逻辑学也能够帮助我们脱离日常