本书是关于逻辑真理论的历史考察与理论研究。全书试图根据历史与逻辑相统一的原则，通过考察传统真理论、紧缩真理论的发展历程，较为全面系统地梳理逻辑真理论的历史源流；通过对语义真理论与公理化真理论等形式真理论的研究，全面深入探讨逻辑真理论的重大前沿问题；尝试通过对真理论悖论的创新性研究探寻逻辑真理论研究的应用价值。本书的第1

本成果把中庸方法上升融入到当今跨学科创新研究的时代潮流中，从哲学方法论高度提出了跨学科研究的“取长补短”方法，助力于新一代人工智能确立符号主义和连接主义融合互补的崭新发展方向，对AI坚守正确的发展方向价值巨大。该成果全面展示自然语言逻辑从各种角度对自然语言进行语义表征，尤其是组合范畴语法CCG对自然语言进行语义表征的“

本书系统介绍了因果推断的方法及其应用，共八章。第1章重点阐述了潜在结果框架与结构因果模型，为全书内容奠定基础。第2章介绍了多种经典因果推断的基本方法，包括倾向得分法、匹配法、回归法、双稳健估计法、工具变量法以及阴性对照法等。在此基础上，本书进一步深人探讨多个因果推断的前沿主题。第3章讨论了基于多模型整合的稳健估计方法，

唐代玄奘先后译讲《因明入正理论》《因明正理门论》，其弟子纷纷为此二论注疏，形成唐代因明注疏体系，是汉传因明研究首次达至高潮的理论成果。本书在原典古籍的基础上，从广义的论证视角，系统分析因明唐疏的论证机制、论式和论证规则，力图应用因明唐疏论证理论分析辩经，使属于“冷门绝学”范畴的古典逻辑理论——因明能以较为系统的形态呈现

国内外对公共知识的研究起源于20世纪六七十年代，是在涉及多主体之间的认知、约定、博弈等问题时提出的概念。本书从多主体、知识与行为三个角度探讨了公共知识是什么、与协同行为的关系，以及主体认知能力的有限性导致的公共知识悖论及其弱化的方法

本书在单模态语言的基础上，引入和使用多模态语言、介绍了一些模态逻辑中目前比较新的、流行的概念和方法，如：加标转移结构、互模拟等，有助于学生了解《模态逻辑》发展的前沿，学习《模态逻辑》的最新知识，掌握最新的概念和方法。

本书是一本清晰、简洁、实用、有趣的论证规则手册，自1986年首次出版以来，增补修订4次，被翻译成11种文字。在许多大学、高中的批判性思维、议论文写作课程及各种考试中，被奉为经典。书中运用大量易于理解、趣味性十足、生活化的例证，归纳了50条必须遵循的论证规则，涵盖了各学科、各种类型的论证。全书首先阐述了构建论证的通则如何

因明是世界三大逻辑起源之一，因明源于印度，传于中国、东亚，乃至成为一门世界性的学术。印度因明又以陈那为分界，分为新、古二阶段。本书研究的印度古因明是从较宽泛的意义上的，不限于印度佛教因明，也包括中古印度的正理论及其他各派的的哲学、逻辑思想，亦包括知识论、辩学、过失论的内容。印度古因明是新因明的直接来源，本书通过对古因明

本书的主要内容是基于更新框架来构造祈使句的形式语义，给出有效性概念，刻画涉及到祈使句的有效推理形式。力结构描述了主体所受祈使力的状态。力结构对应自由选择，其是主体完成力结构的方式。祈使句对应力结构。说一个祈使句的结果是之前的力结构与这个祈使句对应的力结构的合并，除非这两个力结构不相容。一个力结构接受一个祈使句当且仅当用

经济类考研用书，涉及：2010-2025年管理类综合能力逻辑真题及解析。