本书以当代逻辑学、语言学、谋略学为结构框架,汇集了古今中外六百余则精妙神奇的舌战故事,分为雄辩的逻辑、雄辩的语言、雄辩的奇谋妙计三章,详细介绍了两百四十余种克敌制胜的舌战技法,构成了系统、完美、崭新的知识体系。

因明是世界逻辑三大渊源之一，与中国名辩、希腊逻辑鼎足而立。因明源于印度，盛于中国，在盛唐时期弘传于朝鲜半岛及日本。近代以来，因明研究更向欧美学界拓展。但是，我国的因明传承曾一度式微，至明清几成绝学！嗣后，于清末至民国时期曾有中兴，后又复归沉寂。作为我国文化宝库中的瑰宝之一，近年中国社会科学院将它列为亟待抢救的绝学学科。

本书严格按照管理类专业学位硕士研究生联考最新考试大纲的要求,由资深逻辑专家编写而成。作者首先对联考考纲改革以来的2023年至2013年的全部真题进行了汇编,便于考生自我检测;然后对历年真题逐题进行详细解析,帮助考生迅速理清解题思路,找准解题技巧,突出重点突破难点在此基础上,作者结合真题,对考试大纲的重点内容做了梳理,并

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

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

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

为什么要讲理？为什么希望别人也讲理？因为： ，也是重要的一点，是好的论证使我们更好地做出自己的决定。那些在生活的方方面面都有理有据的人，无论是实现目标还是完成计划，成功的机会更大。 第二，遇到艰难的道德选择，好的论证起的作用尤为重要，它不仅帮助我们决定采取什么样的行动，还使我们避开有不良后果的行为。 第三，好的论证，使

本书广泛汇集六百余则古今中外奇异怪诞的诡辩故事!深刻剖析两百三十余种狡诈诡谲的杠精幻术!杠精与诡辩,一种诡异的社会存在。凡是杠精与诡辩肆虐的地方,是非颠倒,黑白混淆,真理变成了谬误,谬误却变成了真理。一般人明明知道他们错了,却又不知如何反驳,只能张口结舌,心中不服,生闷气。如何帮助读者一举制服杠精与诡辩?本书以当代逻辑

本书面向报考管理类、经济类专业硕士的考生，针对管理类综合能力、经济类综合能力中逻辑这一科目编写，涵盖1997年以来有价值的MBA综合能力、管理类综合能力及经济类综合能力逻辑真题，并配备详细解析和图书匹配的完整课程讲解视频。作者特意对真题做出难度分级，套卷+分类更加有针对性地学习训练。真题是最有价值的练习资源，对于真题的

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