非形式逻辑(02)类比推理

本系列文章主要讲解 形式逻辑,系列文章总纲链接为:非形式逻辑总纲


本章节思维导图如下所示(思维导图 迭代了以前的章节):


1 类比推理

类比推理是根据两个或两类事物在某些属性上相同,推断它们在另外的属性上也相同的一种推理。 其逻辑结构式表达为:

A 事物具有属性 a、b、c、d;
B 事物具有属性 a、b、c; 
所以,B 事物也可能具有属性 d。

一则笑话:中国古代笑话集《雅谑》记载,有个人的母亲,笃信佛,一天到晚念“南无阿弥陀佛”。 于是有一天,这个人一早起来便喊:“妈!”母亲答应了他。过一会他又喊:“妈!”母亲 又答应了他。可这个人还是没完没了地喊。母亲终于被喊烦了,便没好气地说:“不在!不 在!你烦呀不烦?”这个人笑着说:“我才喊了您几声,您就不高兴了。那阿弥陀佛每天不 知被您喊多少遍,不知他该怎样发脾气呢!”请问:文中儿子是如何运用逻辑知识劝说母亲的? 实际上这里就 使用了 类比逻辑推理 的知识。

2 正确应用类比推理须注意的问题

既然类比推理的结论是或然的,那就要进一步讲清提高类比推理结论可靠性程度的条件,即:

  1. 前提中确认的对象间的相同属性愈多,那么结论的可靠性程度也就愈大。(从相 同属性的量上来考察)。例如:在医学上做药物或手术实验时,为什么常常用猴子做类比物,原因就在于猴子更 接近人类,相同属性多,结论的可靠程度也较高。
  2. 前提中确认的相同属性与类推的属性之间相关程度愈高,那么结论的可靠性程度 也就愈大。(从相同属性的质上来考察)。例如:我们浙江黄岩盛产柑橘,美国人对黄岩进行考察后,发现加利福尼亚州与黄岩的 地形、土壤、水文、温度、湿度、光照等自然条件大致相同,便推断出黄岩的柑橘移植到加 利福尼亚之后也能获得高产。事实证明果然如此。这是因为这些相同的自然条件与柑橘是否 能获得高产有密切的联系。相反,如果相同属性与推出属性之间毫无联系,互不相干,那就 不能把它们作为推理的依据,否则就会犯“机械类比”的逻辑错误。又如,有人根据地球和月球都是太阳系的行星,都是球形体,都有公转和自转,就从地 球上有生命存在,推断出月球上也有生命存在(相关程度太低)。这就是“机械类比”,因为生命的存在与行 星的形状、是否公转和自转等属性的关系并不密切。生命是蛋白质与核酸相互作用的结果。 恩格斯就曾提出“生命是蛋白质的存在方式”之论断。

总结下:相同属性愈多 和 属性间的相关程度愈高,结论的可靠性成都就愈大,而相关程度愈高 往往比 相同属性愈多 更有说服力。

3 案例分析

1 我国著名的地质学家李四光,在对东北的地质结构进行了长期、深入的调查研究后发现,松辽平原的地质结构与中亚细亚极其相似。他推断,既然中亚细亚蕴藏大量的石油,那么松 辽平原很可能也蕴藏的大量的石油。后来,大庆油田的开发证明了李四光的推断是正确的。以下哪项与李四光的推理方式最为相似?(分析:只有E选项 相同属性多,相关程度高,因此答案为E)

  • A.他山之石,可以攻玉。(简单判断)
  • B.邻居买彩票中了大奖,小张受此启发,也去买了体育彩票,结果没有中奖。(无相关程度)
  • C.某乡镇领导在考察了荷兰等地的花卉市场后认为要大力发展规模经济,回来了组织全乡镇种大葱,结果导致大葱严重滞销。(非相同属性,花卉和大葱是两个物种)
  • D.每到炎热的夏季,许多商店腾出一大块地方卖羊毛衫、长袖衬衣、冬靴等冬令商品,进行反季节销售,结果都很有市场。小王受此启发,决定在冬季种植西瓜。(相关程度低,一个是买卖,一个是种植)
  • E.乌兹别克地区盛产长绒棉。新疆塔里木河流域与乌兹别克地区在日照情况、霜期长短、气温高低、降雨量等方面均相似,科研人员受此启发,将长绒棉移植到塔里木河流域,果然 获得了成功。(相同属性多,相关程度高)

2 评估专业领域中的工作成绩是在实际的工作中进行的。医生可以自由地查阅医书,律师可以参考法典和案例,老师可以参考教科书。因此,学生在考试的时候为什么就不可以看他 们的课本呢? (属性类似,但性质不同,前三者主要是解决问题,而学生考试 是为了评估 解决问题的能力)以下哪项指出了上述论证中的漏洞?(分析:关注相关程度>相关属性 ,因此答案为E)

  • A.所引证的事例不足以支持评估专业领域的工作成绩是在实际的工作中进行的这个一般的概括。(例子不够)
  • B.没有考虑到这种可能性:即使采纳了文中的建议也不会显著地提高大多数学生的考试 成绩。(赞同结论)
  • C.忽视了这样的事实:专业人士在上学时考试也不准看课本。(无关)
  • D.忽视了这样的事实:与学生不同的专业人士要花费数年的时间研究一个专业对象。(说明 属性不同,跑偏了)
  • E.没有考虑这种可能性:在专业领域和在学校中的评估目的截然不同。(说明 相关程度不同)

3 前年引进美国大片《廊桥遗梦》,仅仅在滨洲市放映了一周时间,各影剧院的总票房收入就达到 800 万元。这一次滨洲市又引进了《泰坦尼克号》,准备连续放映 10 天, 1000 万元的票房收入应该能够突破。根据上文包括的信息,分析以上推断最可能隐含了以下哪项假设?(分析:目的是 添加相同属性 或者 提高相关程度,有关的选项只有C)

  • A.滨洲市很多人因为映期时间短都没有看上《廊桥遗梦》,这一次可以得到补偿。(推理无效)
  • B.这一次各影剧院普遍更新了设备,音响效果比以前有很大改善。(程度较小)
  • C.这两部片子都是艺术精品,预计每天的上座率、票价等非常类似。(添加相同属性)
  • D.连续放映 10 天是以往比较少见的映期安排,可以吸引更多的观众(程度较小)
  • E.灾难片加上爱情片,《泰坦尼克号》的影响力和票房号召力是巨大的。(无关)

4 地球和月球相比,有许多共同的属性,如它们都属于太阳系星体、都是球形的,都有自转和公转等。既然地球上有生物存在,因此,月球上很可能有生物存在。 以下哪项如果为真,则最能削弱上述推理的可靠性?分析:目的是 添加相同属性 或者 提高相关程度,相关程度优先,因此答案为B)

  • A.地球和月球的大小相差不大。(相同属性)
  • B.月球上同一地点温度变化极大,白天可以上升到 100 度以上,晚上可以下降到零下100 度。(相关程度,削弱大
  • C.月球距地球很近,不可能有生物存在(无关属性,削弱小)
  • D.地球和月球生成时间不同。(不同属性,削弱小)
  • E.地球和月球旋转速度不同。(不同属性,削弱小)

5 某中学发现有学生课余用扑克玩带有赌博性质的游戏,因此规定学生不得带扑克进入学校,不过即使是硬币,也可以用作赌具,但禁止学生带硬币进入学校是不可思议的,因此, 禁止学生带扑克进学校是荒谬的。以下哪项如果为真,最能削弱上述论证(论证方式)?(分析:经过每个选项的分析,只有B是属性不同,其他不涉及相同属性和 提高 相关程度,因此答案为B)

  • A.禁止带扑克进学校不能阻止学生在校外赌博。(无关,涉及校外)
  • B.硬币作为赌具远不如扑克方便。(属性不同)
  • C.很难查明学生是否带扑克进学校。(无关,查不查,带不带是两回事儿)
  • D.赌博不但败坏校风,而且影响学生学习成绩。(削弱结论,并未 削弱论证方式)
  • E.有的学生玩扑克不涉及赌博。(非形似逻辑中,不完全确定对错是无法削弱他人的结论和论证的)

6 西药抗菌素通常只有一种成分,而中医的抗菌素有多种成分。因此,为克服细菌的抗药性,中药比西医更有效。一种细菌很容易对西药抗菌素产生抗药性,但很难对中医抗菌药产生抗药性,就如同饭店中的一个厨师,一道菜肴(一种细菌)不难满足某个顾客(西药抗菌素),但很难满足所有顾客(中医抗菌药), 即所谓一口味难调众口。在上述类比中,西药抗菌素最可能比作以下哪项?(分析:整个过程主要是结构比较,金锅比较后发现 西药抗菌素 对应 某个顾客,答案为A)

A.某个顾客 B.所有顾客 C.厨师 D.一道菜肴 E.多道菜肴

<think>嗯,用户问的是“什么是形式化逻辑推理”,需要详细解释这个概念。首先,我要回想一下之前的对话历史,用户之前询问过人工智能的推理期和知识期,其中提到过形式化逻辑推理是推理期的核心。现在用户可能想更深入了解这个概念。 接下来,我需要确定形式化逻辑推理的基本定义。它应该涉及到使用符号和严格的规则进行推理,可能包括命题逻辑、谓词逻辑这些内容。然后,要解释它的核心元素,比如符号化、公理系统、推理规则、形式化证明等。这些都需要用简单易懂的中文来解释,避免太专业的术语,或者如果使用术语,就要加以说明。 然后,可能需要举一些例子,比如三段论或者数学定理的证明,这样用户更容易理解。比如苏格拉底的例子,或者数学中的例子,比如使用假言推理规则来推导结论。 还要考虑用户的背景,他们可能不是专业人士,所以需要用日常生活中的例子或类比来帮助理解。例如,把逻辑推理比作数学公式,严格按照步骤推导,不能有歧义。 另外,需要提到形式化逻辑推理的应用领域,比如数学证明、计算机科学中的程序验证,以及早期的AI系统,比如逻辑理论家和专家系统。同时,也要指出它的局限性,比如处理不确定性和常识知识的困难,以及知识获取的问题。 要确保回答结构清晰,分点列出,可能分为定义、核心元素、例子、应用、局限性这几个部分。同时,注意使用用户提到的格式要求,比如行内公式用$...$,独立公式用$$...$$,并且单独成段。不过这里可能例子中的逻辑表达式需要用行内格式,比如命题逻辑中的P→Q,或者谓词逻辑中的∀x(P(x)→Q(x))。 最后,要检查LaTeX语法是否正确,比如箭头符号是否正确,是否有遗漏的$符号,确保没有格式错误。同时,保持回答的中文流畅,避免直译英文术语,必要时进行解释。 可能还需要联系之前的回答,指出形式化逻辑推理在AI推理期的作用,以及后来知识期如何补充其不足,这样用户可以看到概念之间的联系。不过这次的问题集中在定义上,所以重点还是解释清楚形式化逻辑推理本身。 总结一下,回答的结构应该是:定义、核心元素(分点)、例子、应用领域、局限性,最后可能联系到AI中的发展。这样用户能全面理解,同时结构清晰,符合用户对回答结构的要求。</think>形式化逻辑推理(Formal Logical Reasoning)是一种基于**严格符号系统与推理规则**的思维方法,其目标是通过数学化的方式确保推理过程的**无歧义性**和**可靠性**。它是早期人工智能(如推理期AI)的核心技术基础,也是数学、计算机科学等领域的重要工具。 --- ### 一、核心定义 **形式化逻辑推理**将自然语言中的命题和关系转化为**符号表达式**,并按照预定义的**逻辑规则**(如公理、推导法则)进行逐步演算,最终得出严格成立的结论。其本质是脱离具体语义的**符号操作**,仅关注符号间的形式关系。 --- ### 二、核心元素 1. **符号化** 用数学符号表示命题和关系,例如: - 命题逻辑:$P$(“今天下雨”),$Q$(“地面湿”),逻辑连接词如$\lnot$()、$\land$(与)、$\lor$(或)、$\rightarrow$(蕴含) - 谓词逻辑:$\forall x (Human(x) \rightarrow Mortal(x))$(“所有人都会死”) 2. **公理系统** 预先定义无需证明的基本命题(公理),例如: - 排中律:$P \lor \lnot P$ - 假言推理规则:若$P \rightarrow Q$且$P$成立,则$Q$成立。 3. **推理规则** 从已知命题推导新命题的严格规则,例如: - **三段论**: - 大前提:$\forall x (Human(x) \rightarrow Mortal(x))$ - 小前提:$Human(Socrates)$ - 结论:$Mortal(Socrates)$ 4. **形式化证明** 通过逐步应用规则生成结论链,例如数学定理的证明: $$ \begin{align*} 1. & \quad P \rightarrow Q \quad & (\text{已知}) \\ 2. & \quad P \quad & (\text{假设}) \\ 3. & \quad Q \quad & (\text{由1,2假言推理}) \end{align*} $$ --- ### 三、典型应用 1. **数学定理证明** - 例如:欧几里得几何的公理化体系、哥德尔不完备定理的形式化分析。 2. **计算机程序验证** - 用逻辑规则证明程序无漏洞(如航天软件的形式化验证)。 3. **早期人工智能系统** - 逻辑理论家(Logic Theorist)通过符号操作自动证明数学定理。 - 专家系统(如MYCIN)利用规则库($IF \text{条件} THEN \text{结论}$)进行诊断推理。 --- ### 四、局限性 1. **依赖严格预设** - 要求公理和规则完备且无矛盾,但现实问题常存在模糊性(如“大多数”)或不确定性。 2. **缺乏常识与上下文** - 难以处理隐含知识(例如:“鸟会飞”需排除鸵鸟等例外)。 3. **知识获取瓶颈** - 规则需人工编码(如专家系统),难以扩展到复杂领域。 --- ### 五、与日常推理的区别 | 形式化逻辑推理 | 日常经验推理 | |-------------------------|-----------------------| | 严格符号化、无歧义 | 依赖自然语言和语境 | | 结论绝对可靠(若公理正确)| 允许概率性和模糊性 | | 速度慢、需逐步推导 | 快速直觉判断 | --- ### 六、简单示例 **问题**:证明“若所有人类会死,且苏格拉底是人类,则苏格拉底会死”。 **形式化步骤**: 1. 符号化: - $Human(x)$:x是人类 - $Mortal(x)$:x会死 2. 推理过程: $$ \begin{align*} 1. & \quad \forall x (Human(x) \rightarrow Mortal(x)) \quad & (\text{前提}) \\ 2. & \quad Human(Socrates) \quad & (\text{前提}) \\ 3. & \quad Human(Socrates) \rightarrow Mortal(Socrates) \quad & (\text{由1,全称实例化}) \\ 4. & \quad Mortal(Socrates) \quad & (\text{由2,3假言推理}) \end{align*} $$ --- ### 总结 形式化逻辑推理通过符号和规则实现了**绝对严谨的推理过程**,但其“刚性”也限制了在复杂现实问题中的应用。它奠定了计算机科学和早期AI的基础,并为现代概率推理、模糊逻辑等技术提供了对照与补充。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

图王大胜

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值