耶鲁大学教授奈尔伯夫和普林斯顿大学教授迪克西特的这本著作，用许多活生生的例子，向没有经济学基础的读者展示了博弈论策略思维的道理。人生是一个永不停息的决策过程。从事什么样的工作，怎样打理一宗生意，该和谁结婚，怎样将孩子抚养成人，要不要竞争总裁的位置，都是这类决策的例子。你不是在一个真空的世界里做决定。相反，你身边全是和你一样的决策制定者。虽然冲突的成分很多，但是合作的因素也不少。本书将帮助你学会策略性地思考，在人生博弈中扩大赢面。 本书以讲故事取胜。它的学术根源，是迪克西特教授在普林斯顿大学公共与国际事务学院开设的“策略博弈”课程。简而言之，这是关于了解对手打算如何战胜你，然后你战而胜之的艺术。怎样打赢一场网球，少数如何战胜多数，为什么要“喜爱”你 讨厌的对手等，都在

本书按照全新的管理类和经济类联考考试大纲，根据专业学位硕士逻辑科目考试命题趋势的变化，从考生的难点、困惑和需求出发，通过体例的创新和实例讲解，使考生能准确地把握考试的动向，高效地解决复习中的问题，掌握逻辑解题的套路，利用有限的时间取得 的学习效果。 本书主要分为导学篇、基础篇、强化篇和冲刺模拟篇四部分，帮助考生从理论到实战，循序渐进地掌握逻辑应试规律。“每课一练”以及“每课一考”等环节的设计，使考生能够针对复习进行查漏补缺。 本书对大纲给出的基本知识点进行了科学的分类，针对考试常见考点精讲精练，利用口诀加强考生学习和记忆，同时使逻辑应试的脉络 加清晰，规律 加明显。 本书作者具有多年考前辅导经验，是 影响力的专业学位硕士逻辑应试考前辅导专家。希望在本书的帮助下，考生能马到成

本书以先秦时期的谬误思想为研究对象。谬误问题是逻辑学的基本问题之一，这一问题在世界逻辑思想起源的三大体系中均有所体现，中国的谬误研究也有绵延不断的历史。在中国古代谬误思想中，尤以先秦时期的谬误思想贡献

本书阐述了塔斯基逻辑后承语义定义的产生背景、基本适当性条件与不足，剖析了其所面临的必然性、形式性和逻辑性挑战，并创新性地从基本的人类状况出发给出了基于同构不变标准的一般不变性解决方案，还在评析、回应学界对其逻辑后承语义定义及这一标准的批评过程中，澄清了一些混淆和误解，讨论了其定义和标准在哲学和逻辑学上的重要意义。 本书还包含三个附录，附录一、附录二分别是陈波教授和郭建萍教授与谢尔的访谈。这两部分内容 丰富，不仅涉及谢尔的学术背景，还对她在知识论、真理论、实质性与逻辑性以及基础整体主义方法论等方面的逻辑哲学思想和立场进行了详细论述；附录三呈现的是谢尔应陈波教授之邀做的三场有关《逻辑后承》基本内容的系列讲座，讨论了谢尔逻辑后承语义定义的给出背景、显著特征以及谢尔关于语义定义形

本书通过对亚里士多德的《形而上学》、康德的《 纯粹理性批判》、黑格尔的《逻辑学》、弗雷格的语言哲学、维特根斯坦的《逻辑哲学论》、达米特和戴维森等的意义理论、柏拉图的思考等进行探讨，揭示了逻辑对语言的分

《现代形式逻辑入门》是一部由我国语言学家编写的逻辑学导论型教材，主要面向文科读者，特别是语言学方面的读者。逻辑学和语言学有着天然的密切联系。 逻辑学也涉及语言、语词、句子，有句法、语义等内容。仅从专业词汇看，逻辑学和语言学就有不少共用的术语。如果掌握逻辑学知识，也就多了一种视角和研究方法，便于 好地理解语言以及进行语言学的学习和研究。本书凝聚了作者自己多年来逻辑学的学习以及教学的心得和总结，形成了全书“重在理解，力求全面，循序渐进”的特点。

《逻辑学入门》通过大量现实例证对一众逻辑概念做出了通俗易懂的解释，循序渐进地指导读者运用逻辑工具和逻辑规则独立完成一则棘手的逻辑证明，并带领读者沿着“哲学——数学”的脉络一览逻辑学从三段论、语句逻辑、谓词逻辑到多值逻辑、量子逻辑的两千余年发展历程。任何有志于用逻辑学武装头脑的读者，都会在读完本书后轻松掌握逻辑证明的技能，学会严谨、清晰、周全地推理和思考，并在日常生活中愈发自信地应用自己的逻辑能力。

该书全面梳理了党的十八大以来x*****关于立德树人的重要论述， 深刻阐释了立德树人的价值旨归和时代意蕴，准确阐发了x*****关于立德树人要 发力、要贯穿学校工作各环节各领域、要注重家庭家教家风建设、要在全社会形成合力等新理念新思想新战略，具有很强的理论价值和实践意义。

本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分， 部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关的结果。第四部分是真理之路，主要评估公理化真理论形式结果的哲学含义。

本书采取逻辑进路，首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论，运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型作为种溯因论证形式，提供了表征结构的逻辑分析。 将溯因与信念修正相联系，表明了溯因与哲学工智能及实用主义之间的密切联系，也表明了溯因作为一种逻辑探究的认识过程，自然构成了哲学和人工智能的基础。