1701740165
证实
1701740166
1701740167
最简略地说，证实是对真理的探求。证实不仅是科学的核心动力，而且它就贯穿于我们的日常生活中。
1701740168
1701740169
分析证实就像分析喷嚏一样：我们知道它是怎么回事，但通常它都是自动完成的，我们无法确切地说出它是如何运作的。与证实有关的悖论有一个共同属性：包含下意识的预期。这些悖论的成因很可能与此大有关联。这些预期可以把我们引入歧途。
1701740170
1701740171
我们在高中时就学过一种“科学方法”，大致如下：我们首先提出一个假说，即关于世界如何运作的猜想，然后试图通过观察或实验进行检验。我们收集到的证据或者能证实假说，或者能反驳假说。在不涉及某些重要条件的前提下，以上方法是正确的——我们在高中学到的知识大多具有这种特点。
1701740172
1701740173
最有用的假说是概括陈述。亨佩尔悖论对一条常识性的原则——所谓的“尼柯德标准”——有些嘲弄意味，这条原则以哲学家让·尼柯德（Jean Nicod）之名命名。用黑乌鸦的例子表述尼柯德标准：（a）发现一只黑乌鸦使得概括陈述“所有乌鸦都是黑色的”为真的概率上升；（b）发现一只非黑乌鸦推翻概括陈述；（c）观察到乌鸦以外的东西，与概括陈述无关。一个黑色的保龄球或一条蓝色的草虫对于乌鸦的颜色不提供任何信息。尼柯德标准蕴含在全部科学探索中，如果这条准则出了问题，我们就遭遇了真实而严重的麻烦。
1701740174
1701740175
只要发现一只黑乌鸦，就提供了一条对“所有乌鸦都是黑色的”这一假说有利的证据，然而，这当然不足以证明这个假说就是真的，任何一个单独的观察结果都不能做到这一点。多次发现黑乌鸦，并且从未发现其他颜色的乌鸦，便会（非常合理地）增加我们对于“所有乌鸦都是黑色的”这个假说的信心。
1701740176
1701740177
证实问题比表面看来复杂。你也许认为，证实一个假说的证据越多，它为真的概率就越大，其实未必。有可能出现这种情况：两个支持性的观察结果合在一起却证明假说为假。下面这个思想实验就是如此，这是在哲学家韦斯利·萨蒙（Wesley Salmon）的启发下设计的。
1701740178
1701740180
物质与反物质
1701740181
1701740182
假定宇宙中的某些行星由物质构成，另一些由反物质构成（我们一直如此推测）。物质和反物质看起来一模一样。用望远镜观测遥远的星球时，我们无法辨别它是由物质构成的还是由反物质构成的。甚至这颗行星发出的光也无法透露出任何线索，因为光子的反粒子就是光子本身，一颗反物质的星球和一颗正常的星球在发光方面没有任何差别。唯一不同的是，当物质与反物质接触时——“轰”！二者将同时在巨大的爆炸中湮灭。
1701740183
1701740184
这种不幸的事实使得星际接触充满危险。从行星X出发的飞船的命运依赖于从行星Y出发的飞船。两艘飞船通过无线电联络（无线电波由光子构成，既非物质也非反物质），飞船上的计算机解译了对方的语言，双方建立了外交关系。两艘飞船决定对接并互派亲善大使，一切都很顺利，直到最后一刻。两艘飞船对接的结果取决于行星X和Y的构成——可能是“轰”的一声爆炸，也可能不是。如果其中一颗行星是物质的而另一颗是反物质的，则两艘飞船都将灰飞烟灭（如果二者都由反物质构成，爆炸就不会发生）。
1701740185
1701740186
某一天，地球上的天文学家报告说他们观测到两个微弱的光点相互接近，可能是两艘飞船。他们不能肯定观察到的对象一定是飞船，但是根据以往经验，他们确信每个光点有30%的概率是飞船，有70%的概率是不相关的自然现象。另外根据以往的经验，相互接近的一对飞船总会进行对接——看来宇宙中的外星人对“物质—反物质”问题相当健忘，他们必须在痛苦的教训中学习。
1701740187
1701740188
我们的问题是：这二者会不会爆炸？拉斯韦加斯的博彩公司开始就此问题设置赌局，接受残酷的投注。博彩公司的推理是这样的：已知宇宙中2/3的行星由物质构成，1/3的行星由反物质构成。每个光点有70%的概率是自然现象，与我们的讨论无关；有20%的概率是由物质构成的飞船；有10%的概率是由反物质构成的飞船。
1701740189
1701740190
我们分别用A和B表示两个光点。如果A是物质飞船而B是反物质飞船，或者A是反物质飞船而B是物质飞船，在这两种情况下都会发生湮灭（两种情况相互排斥）。第一种情况发生的概率是20%乘以10%，即2%；第二种情况发生的概率是10%乘以20%，也是2%。由于两种情况相互排斥，所以湮灭发生的总概率为2%加上2%，即4%。
1701740191
1701740192
博彩公司根据这种方法计算出的概率设置对下注者的赔率。现在假定有一个太空探险家回到地球，他的飞船在太空中曾经和对象A发生摩擦，这种事故发生的概率只有一万亿分之一。此人知道对象A是一艘飞船，而且肯定是由正常物质构成的（因为他们接触时没发生爆炸）。这个探险家回到地球后，算出了A和B将发生湮灭的概率，并据此在拉斯韦加斯下注。
1701740193
1701740194
他在下注时会充分利用自己的“内部消息”。他知道对象A是一艘飞船这一事实，而所有其他人则以为A可能（概率为70%）是一颗小行星或其他自然物。已知A是一艘正常物质飞船，而B是一艘反物质飞船的概率是10%，所以发生湮灭的概率为10%。赌博公司认为概率为4%，而探险家利用更加完备的信息得出的概率为10%。
1701740195
1701740196
接下来，假定另一个太空探险家曾经和对象B出过一场事故，从而验证了B是一艘物质飞船，情况又如何呢？第二个探险家当然可以做出与第一个探险家完全相同的推理，并得出结论：发生湮灭的概率将从4%飚升到10%。但是，把两个探险家的信息合并考虑，结论是湮灭根本不可能发生。已知信息已经表明，两艘飞船都是由与地球相同的物质构成的，这意味着发生湮灭的概率是一个大大的0！
1701740197
1701740199
绝对证实和递增证实
1701740200
1701740201
让我们分别来看两个证据（两个探险家曾与飞船接触），它们都对将发生湮灭的假说提供证实，但是把两个证据放在一起却推翻了假说。在我看来，这是一个反常，而非悖论，因为这种奇怪的转向无疑是可以存在的。各方——包括博彩公司、探险家以及了解两个探险家经历的我们——所做的概率计算都是合理的，证实理论家已针对此类奇异的现象进行了细致的研究。
1701740202
1701740203
奇异性部分来自语义。“证实”这个词有两种含义。在日常语言中，我们通常在“绝对”的意义上使用“证实”这个词，表示某事已经最后确定，再无合理质疑的余地。“老板证实桑德拉获得加薪”，这句话意味着，无论在此之前我们有多少疑问，现在我们百分之百地肯定桑德拉获得了加薪。
1701740204
1701740205
但实验极少为假说提供“绝对”证实。科学家和证实理论家经常在“递增”的意义上使用“证实”这个词，这种意义上的证实意味着“为某事提供证据”或“增加某事的概率”。我们提到概率，这是因为对概括陈述的证实总是不确定的。
1701740206
1701740207
我们可以对不大可能为真的假说提供递增证实，在证实之后，假说依然不大可能为真。对于“老板证实桑德拉获得加薪”这样的语句，我们不会解释成“老板的话使得桑德拉获得加薪的概率从15%增加到18%”，但是在科学研究中，这类证实却是典型的。
1701740208
1701740209
在递增证实中，与飞船湮灭问题类似的反常情况很普遍。每个探险家的信息使得湮灭发生的低概率（4%）上升，但上升后依然是低概率（10%）。把两个信息合起来，则把概率降为0。令人感到欣慰的是，当概率值更高，且对假说的证实更接近于绝对意义上的证实时，这种反常不会出现。
1701740210
1701740211
为了展示这个结论，我们对概率值做一点儿调整，重新规定整个场景，令博彩公司对实际情况的了解更加充分。每个对象有10%的概率为自然现象，有80%的概率是物质飞船，另有10%的概率是反物质飞船。于是，博彩公司对发生湮灭的计算是“80%乘以10%”加上“10%乘以80%”，即概率为16%。每个探险家已确知一个对象为物质飞船，利用这条信息算出的湮灭发生的概率为10%（和原来的例子一样），这个值等于另一个对象是反物质飞船时算出的概率。现在，每个探险家的估值都低于博彩公司的估值。事情就应该是这样，因为两个探险家对实际情况的了解多于博彩公司，而实际情况是，湮灭发生的概率为0。
1701740212
[
上一页 ]
[ :1.701740164e+09 ]
[
下一页 ]