归纳推理

title: 例子.
content: 强归纳:  这例示了归纳的本质:从特殊归纳出普遍。结论明显不是确定的。除非我们见过所有的乌鸦 - 我们怎能都知道呢? - 可能还有些罕见的蓝(乌)鸦或是白(乌)鸦。  弱归纳:  在这个例子中,前提建立在确定事物之上: “我总是把画像挂在钉子上”,但是不是所有的人都把画像挂在钉子上,而那些确实使用钉子的人也可能只是有时使用。有很多物体可以用来挂画像,包括但不限于:螺丝钉、螺栓和夹子。我做的结论是过度普遍化,并在某些情况下是错的。  在这个例子中,基础前提不是建立在确定事物之上:不是所有我发现超速的少年得到了罚单。这可能在于少年要超速的普遍本质 - 同乌鸦是黑的一样 - 但是前提所基于的更像痴心妄想而不是直接的观察。
title: 有效性.
content: 多数人学习的形式逻辑是演绎的而不是归纳的。一些哲学家声称要建立归纳逻辑的系统,但是对归纳的逻辑是否可能是有争议的。相对于演绎推理,归纳推理达成的结论并非必然与最初的假定有相同的确定程度。例如,所有天鹅都是白色的结论明显是错的,但在殖民于澳大利亚之前在欧洲一直被认为是正确的。归纳论证从来就不是有约束力的但它们可以是有说服力的。归纳推理在演绎上是无效的。(在形式逻辑中的论证是有效的,当且仅当论证的前提为真而结论却为假是不可能的。)  在归纳法中,总是有很多结论可以合理的关联于特定前提。归纳是开放的;而演绎是封闭的。  归纳问题的经典哲学处理,意味着为归纳推理找到了正当理由,是苏格兰人大卫·休谟完成的。休谟突出了依据重复经验的模式的我们的日常推理,而不是演绎上的有效论证。比如我们相信面包对我们有益,因为过去一直如此,但是面包将来对我们有害至少是可以想象的。  休谟说对所有事情都坚持可靠的演绎上的正当有理的人会饿死的。替代激进怀疑论关于所有事物的无所作为,他提倡基于常识的实用怀疑论,这里接受归纳法是必然的。  二十世纪的开发者很不同的为归纳问题加了外框。胜过选择对将来做什么预测,它可以被看作是选择适合于观察的概念(参见条目蓝绿色)或适合于观测数据点的曲线图。  归纳法有时被加边框为关于从过去做关于将来的推理,但是在最广泛的意义上它涵盖了在已观察的事物的基础上达成对未观察的事物的结论。从现在的证据推论过去(比如考古)也算做归纳法。归纳法也可以跨越空间而不是时间,比如从在我们的星系得出关于整个宇宙的结论,基于本地经济业绩得出关于国家经济政策的结论。
title: 归纳推理的类型.
content: 前提提供给结论的支持依赖于样本群体中的个体数目可比较于全体中的成员的数目,和样本的随机性。草率普遍化和抽样偏差(以偏概全)是与普遍化有关的谬误。  在前提1中比例可以是像'3/5'、'所有的'或'一些'这样的词。两个dicto simpliciter谬论可以出现在统计三段论中。它们是"意外"和"反意外"。  这实际上是普遍化和统计三段论的组合,这里的普遍化的结论也是统计三段论的第一个前提。  类推依赖于已知共享的性质(类似性)蕴涵A也是共享的性质的推论。前提提供给结论的支持依赖于相干性和在P和Q的类似性。  关于两个事物的相关性的前提可以指示在它们之间的因果联系,但是必须巩固上额外的因素来建立因果联系的精确形式。  例子:
title: 贝叶斯推理.
content: 归纳逻辑的候选系统中,最有影响的是贝叶斯主义,它使用概率论作为归纳的框架。贝叶斯定理被用于在给定某些证据时计算你对一个假设的信任的强度应当改变多少。  关于从何得知最初的可信度是有争议的。客观贝叶斯主义者寻求对于假设为正确的概率的客观评估,而因此不能幸免于客观主义的哲学批判。主观贝叶斯主义者坚持表示主观可信度的先验概率,但是贝叶斯定理的反复应用导致了同后验概率的高度一致性。因此它们不能为在冲突的假设间做出选择提供客观标准。可以用这种理论理性的证明对某些假设的相信是正当的,但是要付出拒绝客观主义的代价。比如,不能使用这种方案在冲突的科学范例之间做客观决定。  Edwin Jaynes是率直的物理学家和贝叶斯主义者,他声称'主观'因素在所有推理中都存在(比如为演绎推理选择公理,选择最初的可信度或先验概率,选择可能度),并为来自定性知识的事物指派概率提出一系列的原理。最大熵(不关心原理的推广)和变换群组是他建立的两个结果工具;二者都尝试通过把知识比如条件的对称性转换成对概率分布的明确选择,减轻在特定条件下概率指派的主观性。  贝叶斯主义者感觉有资格称它们的系统为归纳逻辑,由于Cox定理可以从在归纳推理系统上的约束推导出概率。 基本的贝叶斯推理可以作如下理解:  假设 α 为"法官判断案件的正确性",其值可以是0至1的有理数  假设 β1 为"法官的安全性",其值可以是0至1的有理数  设 A 为 α > 0.75 的事件, B 为 β1 = 0 的事件  那么"法官在危险状态下判断大致正确"的机会率就是 P(A|B)  使用贝叶斯推理,机会率 P(A|B) 可以以如下方法求解:  如果在判决当时,地方局势非常危险,P(B) = P(β1 = 0) 会大过 0.8  而根据以往判决,经裁决后,10个案件中有6.5个案件败方认为裁决不公平,而选择上诉  因为地方局势不安全,法官如果判决正确,而身陷险境的机会率超过 30% (主观)  所以 "法官在危险状态下判断大致正确"的机会率就是  所以,根据贝纳斯推论,如果地方局势非常危险,法官的裁决只有 24.375% 大致正确。  再想深一层,  设 γ 为案件停留的日子  再设 C 为案件停留超过18个月的事件 ≈ C = γ > 545 的事件  已知 案件通常审判 6个月,较多情况在150日至210日中间,在过往十年1000个C类案件中只有20件  所以,可以相信,P(C) = P(γ > 545) < 0.005  设 β2 为"地方局势的危险性",其值可以是0至1的有理数  再设 D 为 β2 > 0.8的事件  而以现在的局势来看,失业率维持在3%  可以相信,P(D) > 97%  那么,在地方局势安全的情况下,案件停留超过 545日的机会率是多少呢?  这也可以用贝纳斯推论求解:  根据常识统计,我们知道案件停留超过545日又地方局势很危险的情况 20单案件里面有 10件案件  所以,  根据贝纳斯推论,在地方局势安全的情况下,案件停留超过 545日的机会率只有 0.258%  ⇒ 所以,如果案件真的停留超过 545日,而失业率维持在3% (代表地方局势安全),这代表 "裁决无理" Irrational Judgement 的机会率是 93.75%  ⇒ 经推论,裁决很大机会是无理 Irrational  ⇒ 或者,有可能,你会争议裁决真的不是无理,有40%以上是合理。但根据贝纳斯理论,要 P(C|D) = 0.4,除非"地方局势安全性"在 0.0025/0.4 = 0.00625,失业率高过99%。这是没有可能的,所以跟据逆反式,裁决不可能有40%以上是合理。 而贝纳斯的理论中,有一个连环规则(Chain Rule)的  假设,现在我们想知道 P(A|C,D) = 想知道 P(C|A) P(A|D)  设  所以  换句话说,  ⇒ 在安全的情况下,案件停留超过 545日,而裁判正确的机会率是 0.232% (p-value)  ⇒ 几乎是没有可能
title: 实际例子.
content: 一件由A和B同时发生才能确立的事件C,明显地你会观察到:事件C成立则B必定发生。但绝对不能贸然将结论误解为"只要B发生则事件C一定发生"(而应该是要由A和B同时发生才能确定C的产生)。而且你也不能擅自扩充成为"只要C事件不发生则事件B一定没有发生",同样的关键点仍旧是"当A不成立时,C就一定不成立"而B是否成立就不一定也无从得知了。  事实上你只能由现有实验结果推论,尤其是生物体的实验更不易有完美相同条件的控制组,及顾及全方面的对照组,你也无从判定究竟一共要有几个因素加起来才会导致你在观察的结果。更常见的情况是,你因为总是同时观察到了C跟D现象,就因此加以归纳为A+B会导致C+D,或是A+B+D会导致C的结论。在你做更进一步的实验来确认你的假设之前,你都无法排除这些不确定性,更夸张的就是C跟D说不定根本就没有关系,或是更复杂的要有D+E才有A,又要同时有B,才有C这个结果。所以,在科学实验中,演绎法才是比较不容易被质疑的一种判断法,但是也不一定保证这样做出的结论就是对的。

Summary: 归纳法或归纳推理(英语:Inductive reasoning),有时叫做归纳逻辑,是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表(token)的有限观察,把性质或关系归结到类型;或基于对反复再现的现象的模式(pattern)的有限观察,公式表达规律。例如,使用归纳法在如下特殊的命题中: 推断出普遍的命题如:

Inductive reasoning: Inductive reasoning is a method of reasoning in which the premises are viewed as supplying "some" evidence for the truth of the conclusion. It is also described as a method where one's experiences and observations, including what are learned from others, are synthesized to come up with a general truth. Many dictionaries define inductive reasoning as the derivation of general principles from specific observations (arguing from specific to general), although there are many inductive arguments that do not have that form, such as statistical syllogisms (which argue from general to specific) and arguments from analogy (which argue from specific to specific).