катастрофы, при условии, что доказательство является верным. Даже еслиаргумент выглядит непробиваемым, шансы на то, что он содержиткритическую ошибку могут быть гораздо выше, чем один на миллиард. Вконечном счёте в выборке из миллиарда выглядящих неуязвимымидоказательств наверняка найдутся те, которые содержат скрытые ошибки. В результате наша наилучшая оценка вероятности катастрофы может бытьзначительно выше, чем даваемая в отчёте
.Давайте использовать следующие обозначения:
X
= катастрофа происходит,
A
= доказательство истинно.В то время как мы в действительности интересуемся P(
X
), отчёт даётнам только оценку P(
X
|
A
), поскольку в нём не может приниматься вовнимание вероятность его же собственной ошибки
. Из аксиом теориивероятностей мы знаем, что P(
X
) связано с P(
X
|
A
) следующей формулой:
(1)
P(
X
)=P(
X
|
A
)P(
A
)+P(
X
|-
A
)P(-
A
) .Дл использования этой формулы для получения P(
X
) нам потребуютсяоценки вероятности того, что доказательство верно P(
A
), и оценкавероятности того, что катастрофа случится, если доказательство неверноP(
X
|-
A
).Очень вряд ли нам удастся получить точные оценки этих вероятностейна практике, но мы увидим, что даже грубых оценок вероятности достаточно,чтобы изменить наш взгляд на определённые калькуляции рисков. Особыйвесьма распространённый случай касается отчётов, которые утверждают, чтоХ абсолютно невозможно. Однако, это говорит нам только о том, что Xневозможно при условии, что все наши нынешние убеждения верны, то естьчто P(
X
|
A
)=0. Но из уравнения (1) мы видим, что это полностью согласуется стем, что P(
X
)>0, поскольку доказательство может содержать ошибки. Рисунок1 является простой графической репрезентацией этой основной идеи.
2
Научные аргументы также иногда являются ошибочными по причинам сознательногомошенничества, однако мы не будем рассматривать это конкретный риск в даннойстатье.
3
Доказательство может принимать в расчет возможность, что некое суб-доказательство является ложным. Например, оно может предложить дваальтернативных суб-доказательства, чтобы доказать одну и ту же точкузрения. Мы одобрительно относимся к такой практике и подробнеерассматриваем ее в разделе 4. Однако ни одно доказательство не можетпринимать в расчёт вероятность того, что оно является ложным – этопотребует ещё одного более высокоуровневого доказательства.
Add a Comment
Turchin Alexeileft a comment