
_START_ARTICLE_
归纳推理
_START_SECTION_
有效性
_START_PARAGRAPH_
多数人学习的形式逻辑是演绎的而不是归纳的。一些哲学家声称要建立归纳逻辑的系统，但是对归纳的逻辑是否可能是有争议的。相对于演绎推理，归纳推理达成的结论并非必然与最初的假定有相同的确定程度。例如，所有天鹅都是白色的结论明显是错的，但在殖民于澳大利亚之前在欧洲一直被认为是正确的。归纳论证从来就不是有约束力的但它们可以是有说服力的。归纳推理在演绎上是无效的。（在形式逻辑中的论证是有效的，当且仅当论证的前提为真而结论却为假是不可能的。）_NEWLINE_在归纳法中，总是有很多结论可以合理的关联于特定前提。归纳是开放的；而演绎是封闭的。_NEWLINE_归纳问题的经典哲学处理，意味着为归纳推理找到了正当理由，是苏格兰人大卫·休谟完成的。休谟突出了依据重复经验的模式的我们的日常推理，而不是演绎上的有效论证。比如我们相信面包对我们有益，因为过去一直如此，但是面包将来对我们有害至少是可以想象的。_NEWLINE_休谟说对所有事情都坚持可靠的演绎上的正当有理的人会饿死的。替代激进怀疑论关于所有事物的无所作为，他提倡基于常识的实用怀疑论，这里接受归纳法是必然的。_NEWLINE_二十世纪的开发者很不同的为归纳问题加了外框。胜过选择对将来做什么预测，它可以被看作是选择适合于观察的概念（参见条目蓝绿色）或适合于观测数据点的曲线图。_NEWLINE_归纳法有时被加边框为关于从过去做关于将来的推理，但是在最广泛的意义上它涵盖了在已观察的事物的基础上达成对未观察的事物的结论。从现在的证据推论过去（比如考古）也算做归纳法。归纳法也可以跨越空间而不是时间，比如从在我们的星系得出关于整个宇宙的结论，基于本地经济业绩得出关于国家经济政策的结论。
_START_SECTION_
贝叶斯推理
_START_PARAGRAPH_
归纳逻辑的候选系统中，最有影响的是贝叶斯主义，它使用概率论作为归纳的框架。贝叶斯定理被用于在给定某些证据时计算你对一个假设的信任的强度应当改变多少。_NEWLINE_关于从何得知最初的可信度是有争议的。客观贝叶斯主义者寻求对于假设为正确的概率的客观评估，而因此不能幸免于客观主义的哲学批判。主观贝叶斯主义者坚持表示主观可信度的先验概率，但是贝叶斯定理的反复应用导致了同后验概率的高度一致性。因此它们不能为在冲突的假设间做出选择提供客观标准。可以用这种理论理性的证明对某些假设的相信是正当的，但是要付出拒绝客观主义的代价。比如，不能使用这种方案在冲突的科学范例之间做客观决定。_NEWLINE_Edwin Jaynes是率直的物理学家和贝叶斯主义者，他声称'主观'因素在所有推理中都存在（比如为演绎推理选择公理，选择最初的可信度或先验概率，选择可能度），并为来自定性知识的事物指派概率提出一系列的原理。最大熵（不关心原理的推广）和变换群组是他建立的两个结果工具；二者都尝试通过把知识比如条件的对称性转换成对概率分布的明确选择，减轻在特定条件下概率指派的主观性。_NEWLINE_贝叶斯主义者感觉有资格称它们的系统为归纳逻辑，由于Cox定理可以从在归纳推理系统上的约束推导出概率。_NEWLINE__NEWLINE_基本的贝叶斯推理可以作如下理解：_NEWLINE_假设 α 为"法官判断案件的正确性"，其值可以是0至1的有理数_NEWLINE_α ∈ {0..1} = "Correctness of Judgment",  where_NEWLINE_→ < 0.5 代表判斷不正確→ > 0.5 代表判斷正確→ = 1 代表判斷完全正確→ = 0 代表判斷完全錯誤_NEWLINE_假设 β¹ 为"法官的安全性"，其值可以是0至1的有理数_NEWLINE_β¹ ∈ {0..1} = "Safty of Justice",  where_NEWLINE_→ < 0.5 代表不安全→ > 0.5 代表安全→ = 1 代表判斷完全安全→ = 0 代表判斷完全危險_NEWLINE_设 A 为 α > 0.75 的事件, B 为 β¹ = 0 的事件_NEWLINE_那么"法官在危险状态下判断大致正确"的机会率就是P(A|B)_NEWLINE_Probability of In-danger-fair-correct-judgment of justice_NEWLINE_= P(A|B) = P(α > 0.75 | β¹ =0)_NEWLINE_使用贝叶斯推理，机会率P(A|B) 可以以如下方法求解：_NEWLINE_如果在判决当时，地方局势非常危险，P(B) = P(β¹ = 0) 会大过0.8_NEWLINE_P(B) = 0.8_NEWLINE_而根据以往判决，经裁决后，10个案件中有6.5个案件败方认为裁决不公平，而选择上诉_NEWLINE_邏輯： _NEWLINE_      案件判決正確⇒ 就不會上訴_NEWLINE_所以：_NEWLINE_      選擇上訴⇒ 判決不正確P(A) = 0.65_NEWLINE_因为地方局势不安全，法官如果判决正确，而身陷险境的机会率超过30% (主观)_NEWLINE_P(B|A) = 0.3_NEWLINE_所以 "法官在危险状态下判断大致正确"的机会率就是_NEWLINE_Probability of In-danger-fair-correct-judgment of justice_NEWLINE_所以，根据贝纳斯推论，如果地方局势非常危险，法官的裁决只有24.375% 大致正确。_NEWLINE_再想深一层，_NEWLINE_设 γ 为案件停留的日子_NEWLINE_γ ∈ {1,2,3,...} _NEWLINE_再设C 为案件停留超过18个月的事件≈ C = γ > 545 的事件_NEWLINE_已知 案件通常审判6个月，较多情况在150日至210日中间，在过往十年1000个C类案件中只有20件_NEWLINE_γ ~ Gaussian Distribution with mean=180, variance=30_NEWLINE_γ ~ N(180,30)_NEWLINE_所以，可以相信，P(C) = P(γ > 545) < 0.005_NEWLINE_without loss of generality, we can assume:_NEWLINE_  P(C) = 0.005_NEWLINE_设 β²  为"地方局势的危险性"，其值可以是0至1的有理数_NEWLINE_β² ∈ {0..1} = "Country Safty",  where_NEWLINE_→ < 0.5 代表不安全→ > 0.5 代表安全→ = 1 代表判斷完全安全→ = 0 代表判斷完全危險_NEWLINE_再设D 为 β² > 0.8的事件_NEWLINE_而以现在的局势来看，失业率维持在3%_NEWLINE_可以相信，P(D) > 97% _NEWLINE_without loss of generality, we can assume:_NEWLINE_  P(D) = 0.97_NEWLINE_那么，在地方局势安全的情况下，案件停留超过545日的机会率是多少呢？_NEWLINE_这也可以用贝纳斯推论求解：_NEWLINE_根据常识统计，我们知道案件停留超过545日又地方局势很危险的情况20单案件里面有10件案件_NEWLINE_邏輯： _NEWLINE_      案件通常審判6個月，較多情況在150日至210日中間γ ~ N(180,30)_NEWLINE_      裁決正常⇒ 案件不會停留超過545日_NEWLINE_所以，可以相信：_NEWLINE_      P(D|C) = 0.5_NEWLINE_所以，_NEWLINE_根据贝纳斯推论，在地方局势安全的情况下，案件停留超过545日的机会率只有0.258%_NEWLINE_⇒ 所以，如果案件真的停留超过545日，而失业率维持在3% (代表地方局势安全)，这代表"裁决无理" Irrational Judgement 的机会率是93.75%_NEWLINE_⇒ 经推论，裁决很大机会是无理 Irrational_NEWLINE_⇒ 或者，有可能，你会争议裁决真的不是无理，有40%以上是合理。但根据贝纳斯理论，要 P(C|D) = 0.4，除非"地方局势安全性"在 0.0025/0.4 = 0.00625，失业率高过99%。这是没有可能的，所以跟据逆反式，裁决不可能有40%以上是合理。_NEWLINE__NEWLINE_而贝纳斯的理论中，有一个连环规则(Chain Rule)的_NEWLINE_P(T|s,c) = P(s|T) P(T|c)_NEWLINE_假设，现在我们想知道P(A|C,D) = 想知道P(C|A) P(A|D)_NEWLINE_P(A|D) = P(D|A) x P(A) / P(D) = P(D|A) 0.65 / 0.97  _NEWLINE_P(C|A) = P(A|C) x P(C) / P(A) = P(A|C) 0.005 / 0.65_NEWLINE_P(A|C,D) = P(D|A) x P(A|C) x 0.005 / 0.97_NEWLINE_设_NEWLINE_ 因為根據現實，地方安全基本上和裁決無太大關係，而現在地方大致安全。所以，without loss of generality，可設：_NEWLINE_    P(D|A) = 0.9 _NEWLINE_ 而停留超過545日而有裁決正確的案件的機會率只是一半一半。所以，without loss of generality，可設：_NEWLINE_    P(C|A) = 0.5_NEWLINE_所以 _NEWLINE_ P(A|C,D) = 0.9 x 0.5 x 0.005 / 0.97 = 0.00232_NEWLINE_换句话说,_NEWLINE_⇒ 在安全的情况下，案件停留超过545日，而裁判正确的机会率是0.232% (p-value)_NEWLINE_⇒ 几乎是没有可能
_START_SECTION_
实际例子
_START_PARAGRAPH_
一件由A和B同时发生才能确立的事件C，明显地你会观察到：事件C成立则B必定发生。但绝对不能贸然将结论误解为"只要B发生则事件C一定发生"（而应该是要由A和B同时发生才能确定C的产生）。而且你也不能擅自扩充成为"只要C事件不发生则事件B一定没有发生"，同样的关键点仍旧是"当A不成立时，C就一定不成立"而B是否成立就不一定也无从得知了。_NEWLINE_事实上你只能由现有实验结果推论，尤其是生物体的实验更不易有完美相同条件的控制组，及顾及全方面的对照组，你也无从判定究竟一共要有几个因素加起来才会导致你在观察的结果。更常见的情况是，你因为总是同时观察到了C跟D现象，就因此加以归纳为A+B会导致C+D，或是A+B+D会导致C的结论。在你做更进一步的实验来确认你的假设之前，你都无法排除这些不确定性，更夸张的就是C跟D说不定根本就没有关系，或是更复杂的要有D+E才有A，又要同时有B，才有C这个结果。所以，在科学实验中，演绎法才是比较不容易被质疑的一种判断法，但是也不一定保证这样做出的结论就是对的。