Руководство по созданию атеистов

В эленхусе последователь Сократа генерирует один или несколько путей к тому, что гипотеза может быть ложной. То есть то, какие условия необходимы для того, чтобы сделать гипотезу несоответствующей действительности? Строго говоря заявление, что на других планетах нет жизни, не контрпример, потому что оно всего лишь утверждает, что гипотеза неверна, но не объясняет, как и почему она может быть неверна.

Может показаться, что это вопрос стиля, но на самом деле взаимообмен имеет решающее значение для процесса, потому что без диалога не может быть интервенции. Проще говоря: обе стороны вступают в открытую дискуссию.

Используя пример жизни на других планетах, условием, делающим гипотезу ложной было бы то, что мы являемся первой возникшей разумной формой жизни. В случае, если, мы первая появившаяся разумная форма жизни, по определению это означает, что в настоящее время разумной жизни на других планетах нет.

Это успешный контрпример, поскольку он ставит гипотезу под сомнение – это единственное жизнеспособное объяснение того, почему во вселенной не может быть никаких других разумных форм жизни. Еще одним условием, ставящим гипотезу под сомнение может быть: "Так же, как может быть, что мы первая возникшая интеллектуальная форма жизни, может быть и то, что мы последняя интеллектуальная форма жизни."

Это контрпример, поскольку он отмечает возможное условие, могущее сделать гипотезу ложной. С одной стороны вполне возможно, что вселенная кишит разумной жизнью, но, также возможно, что есть "большой фильтр", который предотвращает, либо чрезвычайно затрудняет самоподдерживание разумной жизни (Хэнсон, 1998).

Возможность Великого фильтра или того, что мы были первой появившейся разумной формой жизни, ставит рассматриваемую гипотезу под сомнение. Истинность же гипотез недоказуема. Если гипотеза пережила повторные итерации в эленхусе, это значит только, что она (пока) устояла перед фальсификацией. Пусть Вы видели в окно дома, стоящего подле озера, миллион белых лебедей. Тем не менее, это не значит, что все лебеди — белые.

Независимо от того, сколько вы видели лебедей, это не делает истинной гипотезу о том, что все лебеди белые. Это означает только, что гипотеза не оказалась ложной (пока что). Один контрпример может уничтожить гипотезу, но даже миллионы случаев подтверждения не изменят статус гипотезы. (Есть некоторая асимметрия между подтверждением и опровержением.)