逻辑导论（第二版） pdf epub mobi txt 电子书 下载 2025

简体网页||繁体网页

☆☆☆☆☆

王洪 著

图书标签:

• 逻辑学
• 推理学
• 论证
• 形式逻辑
• 数理逻辑
• 哲学
• 思维科学
• 批判性思维
• 逻辑导论
• 教材

出版社： 中国政法大学出版社

ISBN：9787562068280

版次：2

商品编码：11980789

包装：平装

开本：16开

出版时间：2016-09-01

用纸：胶版纸

页数：384

字数：430000

编辑推荐

适读人群 ：逻辑学相关专业学生、教师
　　本书是作者结合多年的逻辑学教学实践与研究成果而完成，体系和内容充分体现了现代逻辑的观念和成果，同时又保留了传统逻辑的有用知识。内容充实、重点突出、简明扼要、通俗易懂，便于学生学习、理解和掌握，适应逻辑学教学的需要。

内容简介

　　本书共十章，介绍了逻辑学的对象、性质、作用和研究方法，以语言分析、逻辑演算、合情推理、有效论证与合理辩论为框架，介绍了逻辑学的基本理论与方法，并结合实例、案例与练习阐述这些理论与方法的实际运用。

作者简介

　　王洪，男，1960年生，湖南人。1988年毕业于中国政法大学研究生院，获硕士学位。现为中国政法大学人文学院逻辑学研究所教授、博士生导师、院教授委员会副主席、中国逻辑学会常务理事、北京逻辑学会副会长、中国逻辑学会法律逻辑专业委员会主任。主要从事法律逻辑与现代逻辑的教学与研究工作。出版了《制定法推理与判例法推理》等学术专著，发表了《法律逻辑研究的主要趋向》等学术论文。曾获中国政法大学首届宪梓优秀教学奖、北京市高等教育科学研究优秀论文成果奖等。

目录

第一章绪论
第一节逻辑学的对象/
第二节逻辑学的方法/
第三节逻辑学的性质和作用/
第二章语言分析
第一节语词分析/
第二节语句分析/
第三章逻辑推理：命题演算
第一节复合命题：形式语言PL/
第二节重言式：语义推导与等值变形/
第三节基本有效式/
第四节其他有效式/
第五节自然推理系统PN/
第四章逻辑推理：类演算与关系推理
第一节直言命题/
第二节直接推理/
第三节三段论/
第四节直言命题推理：有效性判定/
第五节关系推理/
第五章逻辑推理：谓词演算
第一节概述/
第二节谓词逻辑公式：形式语言QL/
第三节自然推理系统QN/
第六章逻辑推理：模态、规范推理
第一节模态命题/
第二节模态推理/
第三节自然推理系统TN、QTN/
第四节规范命题/
第五节规范推理/
第六节自然推理系统DTN/
第七章合情推理：归纳逻辑
第一节概述/
第二节回溯推理/
第三节归纳推理/
第四节密尔五法/
第五节类比推理/
第六节概率与统计推理/
第七节假说方法/
第八章逻辑基本规律
第一节同一律/
第二节矛盾律/
第三节排中律/
第九章论证
第一节证明与反驳/
第二节证明的规则/
第三节证明的方法/
第四节反驳的方法/
第十章论辩
第一节对话与争辩/
第二节论辩的准则/
第三节论辩的方法/
第四节诡辩与谬误/
后记

精彩书摘

　　第一节 模态命题
　　一、模态命题的特征
　　模态命题就是陈述事物情况的必然性或可能性的命题。
　　直言命题和关系命题只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的，有些事物情况的存在或不存在是可能的，陈述这种必然性或可能性的命题就是模态命题。
　　【例1】违反客观规律必然受到惩罚。
　　【例2】改善生物基因是可能的。
　　【例3】辩护人的意见可能是对的。
　　模态命题都含有“必然”或“可能”等模态词，不含有模态词的命题是非模态命题。模态命题是在非模态命题的基础上加上模态词而构成的。模态词可以加在命题的中间，也可以加在命题的前面或后面。如例3也可表述为：“可能辩护人的意见是对的。”在分析模态命题的形式时，将模态词放在命题变项p、q、……的前面。在模态逻辑中，用符号“□”或“L”表示“必然”，用符号“”或“M”表示“可能”。
　　二、模态命题的种类
　　模态命题可以分为必然命题和可能命题两种：
　　(一)必然命题
　　必然命题就是陈述事物情况的必然性的命题。在自然语言中，通常用“必然”“必定”“一定”等语词作为它的模态词。
　　必然命题又分为两种：
　　1�北厝豢隙�命题。
　　必然肯定命题就是陈述事物情况必然存在的命题。
　　例如：客观事物必然发展变化。
　　必然肯定命题的形式是：必然p。
　　可用符号表示为：□p或Lp。
　　2�北厝环穸�命题。
　　必然否定命题就是陈述事物情况必然不存在的命题。
　　例如：客观规律必然不依人们的意志为转移。
　　必然否定命题的形式是：必然不p。
　　可用符号表示为：□ ?瘙 綈 p或L ?瘙 綈 p。
　　(二)可能命题
　　可能命题就是陈述事物情况的可能性的命题。在自然语言中，通常用“可能”“或许”“也许”“大概”等语词作为它的模态词。
　　可能命题又分为两种：
　　1�笨赡芸隙�命题。
　　可能肯定命题就是陈述事物情况可能存在的命题。
　　例如：某甲可能是作案人。
　　可能肯定命题的形式是：可能p。
　　可用符号表示为：p或Mp。
　　2�笨赡芊穸�命题。
　　可能否定命题就是陈述事物情况可能不存在的命题。
　　例如：明天可能不下雨。
　　可能否定命题的形式是：可能不p。
　　可用符号表示为： ?瘙 綈 p或M ?瘙 綈 p。
　　三、模态命题的真假
　　模态命题的真假同它所包含的非模态命题的真假有关，但并不能完全由它所包含的非模态命题的真假来决定。
　　例如：事物发展变化是真的，事物必然发展变化也是真的；但某甲买奖券中奖是真的，某甲买奖券必然中奖却未必是真的。由此可见，当p为真时，必然p并不一定为真，而是可真可假。
　　又如：事物静止不变是假的，事物可能静止不变也是假的；但某乙买奖券中奖是假的，某乙买奖券可能中奖却是真的。由此可见，当p为假时，可能p并不一定为假，而是可真可假。
　　模态词不是真值联结词，因此不能用真值表刻画模态命题的真值情况。如何确定模态命题的真假呢？这就需要引进“可能世界”这个概念来解决这一问题。
　　“可能世界”这个概念是由莱布尼兹首先提出来的。所谓“可能世界”，就是指能够为人们合乎逻辑地设想出来的各种各样的情况或场合。凡是不违反逻辑，能够为人们主观设想、想象，甚至幻想出来的情况或场合，如文学作品中虚构的故事或情节等，都是可能世界。虽然它们在现实世界中并不一定存在，但它们都能为人们所想象，而且在逻辑上是可能的。现实世界只是许许多多可能世界中的一个可能世界。根据命题p在每个可能世界中的真假，就可以确定模态命题“必然p”和“可能p”的真假。
　　当p在所有可能世界中都真时，“必然p”就是真的，否则就是假的。
　　当p在所有可能世界中都假时，“必然非p”就是真的，否则就是假的。
　　当p至少在一个可能世界中为真时，“可能p”就是真的，否则就是假的。
　　当p至少在一个可能世界中为假时，“可能非p”就是真的，否则就是假的。
　　……

前言/序言

　　正如爱因斯坦所言：“要是没有能独立思考和独立判断的有创造能力的个人，社会的向上发展就不可想象。”《爱因斯坦文集》（第三卷），商务印书馆1979年版，第39页。逻辑思维是批判性思维与创造性思维的基石，批判性思维及创造性思维是逻辑思维的运用。因此，提高学生的逻辑思维能力，从而提高学生的思维素质与能力，是大学教育的一项重要任务。
　　本书是在我们多年逻辑学教学与研究的基础上写成的。本书的体系和内容充分体现了现代逻辑的观念和成果，同时又保留了传统逻辑的有用知识。本书以语言分析、逻辑演算、合情推理、有效论证与合理论辩为框架，介绍逻辑学的基本理论与方法，并且结合实例、案例与练习阐述这些理论与方法的实际运用，以帮助学生掌握逻辑思维的方法与技能。本书力求内容充实、重点突出、简明扼要、通俗易懂，便于学生学习、理解和掌握，以适应逻辑学教学的需要。
　　本书由王洪教授担任主编。作者撰稿分工如下（依章节次序）：
　　王洪（中国政法大学教授）：第一、三、五、六章（第三、五、六节）、全部拓展阅读材料；
　　徐海燕（中国政法大学副教授）：第二章（第一节）、第七章（第七节）；
　　孔红（中国政法大学教授）：第二章（第二节）、第四章（第一、二、五节）、第六章（第一、二、四节）；
　　张鹰（中国政法大学副教授）：第四章（第三、四节）、第九章；
　　朱素梅（中国政法大学副教授）：第七章（第一至六节）、第十章（第一、二节）；
　　王建芳（中国政法大学教授）：第八章、第十章（第三、四节）。
　　本书是在作为“21世纪普通高等教育法学精品教材”的《逻辑导论》一书基础上修改而成的，并且参考了黄菊丽、王洪主编的《逻辑引论》，得到了逻辑学界许多专家学者的热情关怀，得到了中国政法大学通识教育委员会和教务处的大力支持，中国政法大学黄厚仁教授、黄菊丽教授提出了许多宝贵意见，在此一并表示衷心的感谢！
　　由于作者学力所限，书中难免有错误和疏漏之处，还请逻辑学界、法学界的专家学者和广大读者批评指正。

好的，这是一份关于《逻辑导论（第二版）》的图书简介，但此简介将聚焦于其他逻辑学领域的经典主题和当代应用，以确保不包含《逻辑导论（第二版）》本身的内容，同时力求深入细致，展现出专业性。 --- 符号的秩序与思想的疆域：面向现代分析的逻辑学前沿探索 导言：超越基础的架构 逻辑学，作为研究推理和论证的结构与有效性的学科，远非一套静态的规则集合。它是一门活态的、不断自我革新，并深刻影响着数学、计算机科学、哲学乃至日常批判性思维的工具系统。本书并非对基础演绎与归纳的重复阐述，而是致力于深入探究那些在经典体系之上建立起来的、支撑现代分析工具的、具有前沿意义的逻辑理论与应用领域。我们旨在为读者提供一个视角，审视逻辑学如何从柏拉图的对话室，迈入了可计算性、不确定性处理和知识表征的数字前沿。 第一部分：模态逻辑的深度拓展与知识表征 一、 非经典逻辑的必要性：超越真值 经典（布尔）逻辑的二值性——事物非真即假——在处理信念、时间、知识和可能性时显得力不从心。本篇将聚焦于模态逻辑（Modal Logic）的精细结构，探讨如何用逻辑形式捕捉世界的动态变化和认知状态。 1. 时态逻辑（Temporal Logic）： 深入 S4 和 S5 模态系统的基础之上，我们考察线性时态逻辑（LTL）和计算树逻辑（CTL）。这不仅是关于“过去发生”或“将来必然发生”的哲学思辨，更是硬件验证、程序终止性证明的核心工具。我们将详细分析“始终保持”（Always）、“最终会发生”（Eventually）等操作符在形式化系统中的精确语义和公理化方法。 2. 知识与信念的逻辑（Epistemic and Doxastic Logic）： 知识是关于一个代理人（Agent）对世界状态的可验证信息，而信念则是基于其私有证据的主观确信。我们剖析 Kripke 语义框架下知识算子 $K_i$ 的性质，特别是“知识的普遍性假设”（Positive Introspection）与“知识的完全性假设”（Negative Introspection）对构建多代理人系统（Multi-Agent Systems, MAS）中协调与欺骗模型的影响。讨论在智能体之间，如何使用“共同知识”（Common Knowledge）来形式化社会协议的建立。 二、 描述逻辑与本体论构建 随着本体论（Ontology）在语义网和人工智能领域的重要性日益增加，描述逻辑（Description Logic, DL）作为一阶谓词逻辑的一个受限子集，因其完备性、可判定性以及与知识表达的天然契合而成为焦点。本章将详述 DL 的基本语法（如 $mathcal{ALC}$ 描述符）、公理化结构及其与一阶逻辑的关系。重点在于概念蕴含的自动推理（Tableau Methods for DL），探讨如何利用推理机（如 FaCT++ 或 Pellet）来检查本体论的一致性与查询的有效性。 第二部分：可计算性与逻辑的边界 三、 递归论与图灵机之外的计算模型 逻辑与计算理论的交汇点，是理解“什么是可计算的”这一根本问题的关键。本部分将从哥德尔、丘奇和图灵的奠基性工作出发，但重点转向更精细的计算能力划分。 1. 递归函数与λ演算的等价性： 详述偏递归函数（Partial Recursive Functions）的定义，并严格证明其与 $lambda$-演算的表达能力等价。这不仅是数学证明，更是函数式编程语言（如 Haskell, Lisp）的逻辑根基。 2. 判定问题与复杂性理论的逻辑基础： 讨论不可判定性（Undecidability）的原理，例如停机问题的不可解性。在此基础上，进入现代计算复杂性理论的范畴，侧重于逻辑视角下的复杂性类：例如，如何用一阶逻辑的子集（如棘手的存在量词）来刻画 P 复杂度类，以及模态逻辑如何与交互式证明系统（Interaction Games）关联，从而界定 $ ext{PSPACE}$ 问题的逻辑结构。 四、 证明论的结构视角：从推理到验证 证明论（Proof Theory）关注的是推理的形式结构本身，而非其语义上的真值保持。本章将深入分析自然演绎（Natural Deduction）、相继演算（Sequent Calculus），并与归结原理（Resolution Principle）进行对比。 1. 结构规则与剪切（Cut）的意义： 详细探讨相继演算中“剪切规则”的删除（Cut Elimination Theorem）在理论上的重要性——它证明了任何两个可以推导的公式的中间步骤是可以被消除的，保证了推理过程的局部性与规范性。 2. 交互式定理证明器（ITP）的逻辑实现： 将理论与实践相结合，分析如 Coq 或 Isabelle/HOL 等系统中，如何将逻辑系统（如高阶/依赖类型理论）转化为可执行的验证工具。讨论构造性逻辑（Constructive Logic）在程序正确性验证中的核心作用——即证明的存在性即是构造出该对象的算法。 第三部分：处理不确定性与不完全信息 五、 概率逻辑与贝叶斯推理的形式化 在面对真实世界中不确定的信息和概率依赖关系时，纯粹的演绎逻辑必须进行扩展。概率逻辑（Probabilistic Logic）致力于将概率论与形式推理相融合。 1. 概率推理系统的构建： 介绍如何结合一阶逻辑与概率分布，形成概率逻辑程序（Probabilistic Logic Programs）或贝叶斯网络（Bayesian Networks）。重点分析条件概率公式（CPFs）和全概率定理在逻辑推理链条中的应用。 2. 非单调推理与默认假设： 在信息不完全时，我们常常需要做出“最可能”的推断，即便这些推断在获得新信息后可能被撤销。本章将探讨非单调逻辑（Non-Monotonic Logic），如默认逻辑（Default Logic）或最小模型语义（Prefered Model Semantics），它们如何形式化常识推理中“除非另有说明，否则……即是如此”的思维习惯。 结语：面向未来的逻辑应用 逻辑不再是晦涩的学院派艺术，而是现代科学工程的底层语言。本书的探讨旨在揭示逻辑学在形式化安全关键系统、构建可解释的人工智能模型、乃至理解人类认知偏差中的核心地位。通过对这些前沿领域的深入剖析，读者将能够超越基础的对错判断，掌握驾驭复杂系统和严谨思想的强大工具集。

评分☆☆☆☆☆

我一直对辩论和说服性写作很感兴趣，也深知清晰的逻辑思维在这方面的重要性。这本书就像一位经验丰富的向导，为我指明了前进的方向。它不仅仅是罗列规则，更是深入剖析了不同推理形式的有效性和说服力。我特别欣赏它在讲解复杂概念时所使用的类比和图示，这大大降低了理解的门槛。例如，在讲解命题逻辑的真值表时，书中的图示清晰地展示了不同命题组合下的真假情况，让我瞬间就能掌握。而当它谈到演绎推理和归纳推理的差异时，作者通过对比一些实际案例，非常生动地展示了它们各自的适用范围和潜在的局限性。我甚至发现，书中对论证结构的分析方法，对于我分析新闻报道、评论文章，甚至社交媒体上的观点都非常有帮助。我开始能够更敏锐地捕捉到论证中的薄弱环节，也能更有条理地构建自己的论点。这本书不仅仅教授了“如何进行逻辑推理”，更重要的是教会了我“如何批判性地评估推理”。我感觉自己的思维变得更加缜密，表达也更加精准。

评分☆☆☆☆☆

这本书真是让我大开眼界，完全颠覆了我之前对“逻辑”这个概念的刻板印象。我一直以为逻辑就是那些枯燥乏味的推理规则，是考试里才需要应付的玩意儿。但这本书从一开始就展现了一种全新的视角，它不像很多教材那样直接抛出概念，而是通过一些生动有趣的例子，引导我一步步去体会逻辑的魅力。我记得其中有一个章节讲到日常生活中常见的谬误，比如“稻草人谬误”和“滑坡谬误”，作者用了很多贴近生活的场景来解释，比如朋友之间争论问题时，或者看新闻时，你都能发现这些谬误的影子。读完之后，我感觉自己好像开了天眼一样，一下子就能分辨出很多不严谨的论证，甚至在和人沟通时，也能更清晰地表达自己的观点，避免掉入逻辑的陷阱。而且，这本书的语言风格也非常轻松活泼，不像我以前读过的那些学术著作那么生硬，读起来有一种循序渐进、欲罢不能的感觉。它不是简单地教授知识，更像是在培养一种思维习惯，一种审视和分析问题的能力。我真心觉得，这本书不仅适合对逻辑学感兴趣的学生，也同样适合任何想要提升自己思辨能力的人。它让我明白，逻辑并非遥不可及的学术象牙塔，而是我们生活中不可或缺的思维工具。

评分☆☆☆☆☆

坦白说，我之前对逻辑学的理解非常肤浅，只知道一些简单的“如果...那么...”的句式。这本书的出现，彻底刷新了我的认知。它不仅仅是介绍形式逻辑，还延伸到了非形式逻辑，讲解了各种日常生活中常见的逻辑谬误。作者的叙述方式非常引人入胜，他没有用晦涩难懂的术语来吓退读者，而是将复杂的概念化繁为简，通过生动有趣的故事和案例来阐述。我尤其记得其中关于“诉诸权威”和“人身攻击”的例子，我读完之后，立刻就能在很多新闻评论和网络争论中找到类似的例子，这让我觉得自己好像拥有了一双“火眼金睛”，能够轻易地辨别出那些不那么“真诚”的论调。这本书让我意识到，逻辑思维不仅仅是学术研究的工具，更是我们在信息爆炸时代保护自己、做出明智判断的有力武器。我不再轻易被表面的说辞所迷惑，而是能够更深入地去探究事物的本质。

评分☆☆☆☆☆

说实话，刚拿到这本书的时候，我心里还是有点忐忑的。毕竟“逻辑”这两个字听起来就有点严肃，我担心会读得非常吃力，像是在啃一本天书。但出乎意料的是，这本书的编排设计非常人性化。它循序渐进，从最基础的概念讲起，每一个知识点都配有大量的例题和练习，而且这些例题都设计得相当巧妙，能够有效地帮助我巩固刚刚学到的知识。更重要的是，它不是那种填鸭式的教学，而是鼓励你去思考，去探索。我尤其喜欢书中的一些专题讨论，比如关于非经典逻辑的介绍，虽然这部分内容相对比较深入，但作者的处理方式非常到位，既保留了学术的严谨性，又照顾到了初学者的理解能力。通过这些讨论，我不仅对逻辑学的广度和深度有了更直观的认识，也对未来进一步深入学习产生了浓厚的兴趣。这本书让我觉得，学习逻辑不再是一件枯燥乏味的任务，而是一场充满挑战和乐趣的智力冒险。我以前觉得逻辑学离生活很远，但现在我发现，它其实渗透在我们生活的方方面面，这本书让我能够更好地理解和运用它。

评分☆☆☆☆☆

我一直认为，学习一门学科，最重要的是要能够感受到它的“用处”。这本书在这方面做得非常出色。它没有仅仅停留在理论层面，而是将逻辑学的概念与实际生活中的应用紧密结合。我能从书中看到，逻辑推理是如何帮助我们解决日常生活中的问题的，例如在做决策时如何权衡利弊，在与人沟通时如何清晰地表达自己的想法，甚至是如何避免被商家或者媒体误导。书中关于“因果推理”的章节，给了我很大的启发，让我能够更审慎地看待事物之间的联系，而不是简单地将相关性误认为是因果关系。而且，这本书的练习题设计非常贴合实际，很多都取材于现实生活中的情境，让我能够学以致用，直接将学到的知识运用到实际分析中。我感觉这本书就像一位良师益友，它不仅传授了知识，更重要的是培养了我的一种批判性思维和解决问题的能力，这种能力对于我未来的学习和工作都将大有裨益。