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

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

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

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

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

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

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

认知现象学以认知经验为研究对象，是当代西方心灵哲学的热点问题。本书为认知哲学文库丛书中的一本，围绕着认知现象学的背景、内涵、核心问题、不可还原论证、可能路径，以及认知现象学带来的启示及其拓展等论题展开。从宏观和微观两个方面追溯了认知现象学的生成脉络，并以此为理论基础，对认知现象学的基本内涵和核心问题进行阐释和分析，强调了其对于扩展现象意识研究边界的重要性。同时批判地分析了认知现象学的不可还原论证，并试图从三个层面来尝试建构不可还原论的认知现象学的可能路径；对认知现象学展开了延展性探索，

提升科学推理能力的主要途径在于改进思维方法，作为“科学逻辑”丛书之一，本书从科学推理的实用角度来编写，不仅详细介绍了科学思维的逻辑原理，而且结合丰富的科学案例来阐明如何发现问题、分析问题和解决问题，以此论述科学的推理方法，从而启发科学思维并提升读者的科学推理技能。
科学推理的逻辑重点是归纳逻辑。本书共分为九章，内容包括科学概论、归纳推理、类比推理、统计推理、因果分析、因果推理、因果探究、实践推理、科学假说，附录附有科学推理测试，具有科学性、系统性、实用性的特点。
本书适合作为高等院校

本书围绕“逻辑全能”与“逻辑无能”之间必要的张力的把握，对当前认知逻辑研究中的根本问题、问题的症结与合理研究指向做出了系统性与深刻性的分析。作者基于上述“问题症结”的认识，认为逻辑全能问题是认知封闭原则在形式系统中的体现，对逻辑全能问题的回答可以视为对认知封闭原则的解答。本书的基调是拒斥逻辑全能问题，实则是不接受认知封闭原则。在这个基调之下，本书从两个层面来分析逻辑全能问题：(1)、技术层面。在避免逻辑全能问题的诸多方案中，绝大多数的学者都是在考虑如何不逻辑全能的问题，但有一个问题常常被忽视，即