本书阐述了塔斯基逻辑后承语义定义的产生背景、基本适当性条件与不足，剖析了其所面临的必然性、形式性和逻辑性挑战，创新性地从基本的人类状况出发给出了基于同构不变标准的一般不变性解决方案，并在评析、回应学界对其逻辑后承语义定义及这一标准的批评过程中，澄清了一些混淆和误解，讨论了其定义和标准在哲学和逻辑学上的重要意义。 本书

简单风趣的大师逻辑课来了！本书邀请波普尔、休谟、孔德、古尔德、罗素、培根、亚里士多德等16位逻辑学大师走进课堂，在与学生的畅谈中，讨论与现代社会生活密切相关的16个逻辑学话题——现实的思考、概念、概括、过度概括、隐含意义、谬误、错误类比、片面性思考错误、集体思维、推理关系与模态逻辑、回避问题、同一律和矛盾律、排中律和充

本书是为参加管理类联考综合能力考试逻辑科目的考生而编写的一部专门的训练类的辅导用书，该书对综合能力逻辑相关考试的真题进行挑选，严格依据历年真题的编排方式编写，并进行解析，难易有度，是一部针对性比较强的辅导用书。本书针对逻辑题型，深入分析探究，用“举题型讲方法”的格式，把历届真题按题目的表现形式或解题方法划分为不同的题型

模态逻辑是现代逻辑研究的重要领域，多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统，且算子之间不可规约，它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角，构建了多模态逻辑一般系统，为形式化研究各种类型的模态提供了一般的逻辑框架；证明了多模态逻辑一般系统的完全性、对应性、

本书主要围绕图像的现象性问题，依据可见者与不可见者的关系视角，对法国新现象学的两位核心人物亨利和马里翁的图像理论进行深度阐释和反思，并一般性地考察图像的可能性模式。著作包含五个部分：第一部分（导论）主要一般性地讨论亨利、马里翁与图像现象学的问题；第二部分（第1-2章）主要讨论图像化时代的可见性逻辑及其对自我、他者和世界

本书针对逻辑题型，深入分析探究，用“举题型讲方法”的格式，把历届真题按题目的表现形式或解题方法划分为不同的题型和解题套路，并做详细剖析说明，通过对同类真题的解题分析，尽量把每一种套路的特点和解题方法分析透彻。本书中总结出的解题方法、技巧，便于考生掌握和应用，将使考生应试时思路畅通，有的放矢。本书可以与周建武老师的《MB

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

普通大众真正了解逻辑学的机会并不多，故而在提到逻辑学时，大部分人总是一脸茫然，脑海里没有任何概念。不过，说不出逻辑学是什么，并不意味着逻辑学离我们的生活很遥远，事实恰恰相反，它几乎时刻围绕着我们，只是鲜少被注意、被提及而已。媒体上的各种信息，有许多并不是真实的，我们稍不留神就可能被夸张的、错误的言论误导和迷惑，被别有用

认知现象学以认知经验为研究对象，是当代西方心灵哲学的热点问题。本书为认知哲学文库丛书中的一本，围绕着认知现象学的背景、内涵、核心问题、不可还原论证、可能路径，以及认知现象学带来的启示及其拓展等论题展开。从宏观和微观两个方面追溯了认知现象学的生成脉络，并以此为理论基础，对认知现象学的基本内涵和核心问题进行阐释和分析，强调

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

提升科学推理能力的主要途径在于改进思维方法，作为“科学逻辑”丛书之一，本书从科学推理的实用角度来编写，不仅详细介绍了科学思维的逻辑原理，而且结合丰富的科学案例来阐明如何发现问题、分析问题和解决问题，以此论述科学的推理方法，从而启发科学思维并提升读者的科学推理技能。科学推理的逻辑重点是归纳逻辑。本书共分为九章，内容包括科

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

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

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

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

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

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

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

本书基于文化视角,通过对逻辑及与其他文化现象间关系的重新审视和对逻辑功能的生成过程、生成机理和认知方式的剖析,提出逻辑学是人类精神长期筹划和劳作的产物,本质上是关于人类正确思维所必须遵循的形式与规律的特殊文化现象。逻辑学具有多种文化属性,也包含着人们对改善思维品质的不懈追求。逻辑学科的诞生是多种文化要素发展的必然产物,

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