上天赋予人们强大的思考与逻辑推理能力，人类借此创立了许多傲人的思想和不可思议的理论。然而，这些思想通常必须在历经千锤百炼之后才能开始发光发热。大多数时候，当人们处于自由自在、自然而然的思考状态时，会产生一些不易发现的思维漏洞和谬误。这些谬误可能无关紧要，也可能仅仅闹个小笑话；但也可能导致一个人偏激的行为，甚至极端的做法

联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具，但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法，废弃了联合演算的原初判定标准，提出解决判定问题的结构判定法和范式判定法；并在此基础上提出联合演算对传统逻辑

哲学逻辑既是哲学同时又是逻辑。哲学逻辑不是一种特殊的逻辑，逻辑主要是研究后承关系、有效推理的理论。尽管现代形式逻辑或者符号逻辑采用数学的方法来表达非常富有成效，但是逻辑仍然可以用多种方式进行研究和表达。逻辑支持了哲学，哲学为逻辑提供了发展的养料，二者结合在一起就是哲学逻辑。同时哲学逻辑在其它领域也发挥着重要的作用，如知

“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑：自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒

“人们在思维活动中，自觉或不自觉地违反思维规律或思维规则而产生的各种逻辑错误”就是谬误，诡辩是谬误的极端表现。玩弄诡辩的人，总是道理很多。他们每“论证”一个问题，也总是可以拿出许多“根据”和“理由”来，这些似是而非的论证常常使人们感到困惑。在大多数情况下，人们尽管知道这是谬误或诡辩，然而又常常说不出道理来。为使读者更易

GRE考试（研究生入学考试）是美国国家规定的正式考试。美国的大学毕业生凡是打算进研究生院深造的，都要参加这种考试，供各研究单位选择录取。美国研究生奖学金的颁发，也主要参考申请者的GRE考试成绩。GRE考试可以折射出美国人视野中的逻辑。重点突出--突出逻辑推理、逻辑分析与逻辑论证。逻辑学内容博大精深，但GRE只考推理与论

本书内容包括绪论、概念、命题逻辑、词项逻辑、模态逻辑、归纳逻辑、逻辑基本规律、论证。本书可作为高等学校学生学习逻辑学的教材，也可作为报考GCT、MBA、MPA人员的学习用书。

《当代形式逻辑及其在人工智能中的应用理论研究》在人工智能中的应用理论完全不同于以美国为代表的国际人工智能理论。著作提出并回答了一系列属于人工智能的逻、辑理论的重大问题；指出了人工智能的根本使命；完成了古典逻辑和形形色色非古典逻辑以及传统形式逻辑不能作为人工智能的逻辑理论基础的论证；充分证明了，当代形式逻辑向人类提供了从

如何帮助学生有效掌握理解和评估科学资料的认知技能，是培养和提高学生普遍的科学素养的重要途径。《理解科学推理》作者从理论假设、统计和因果假设，以及制定决策之标准模型三个方面展开论述，并运用与大学生活紧密相关的一系列有趣案例展开分析，总结出简洁可行的六步程序。《理解科学推理》清晰有效的逻辑结构安排，广泛选用科学中已经发表的