У всего должна иметься причина. Она, в свою очередь, должна быть обусловлена предшествующей причиной. Поскольку эта цепочка не может продолжаться до бесконечности, мы заключаем, что должен существо вать некий ничем не обусловленный источник причины, начавший этот процесс.
(Однако если причина должна иметься у всего, откуда мог взяться этот не имеющий причины источник всех причин?)
У данного софизма прославленная история — он встречается, среди многих прочих авторов, у Аристотеля и Фомы Аквинского, хотя они и не опознавали его как софизм. У него множество лиц. «Ничем не обусловленный источник причины» может стать «первопричиной» или даже «перводвигателем»; его можно переформулировать многими словами, но ошибка будет всегда.
Попытки сделать божественное существо допустимым исключением из основного утверждения, как правило, являются спорными или же опровергают аргумент, что «всё во вселенной должно иметь причину вне себя…». Замысел, очевидно, заключается в том, чтобы поместить причину всех вещей вне универсума, следствие чего она не будет требовать причины для собственного существования. К сожалению, такая переформулировка имеет несколько изъянов.
1. Новая версия более сложна и ее истинность не очевидна.
2. Вселенная не находится во вселенной, она и есть вселенная.
3. Всё во вселенной — и есть вселенная.
Это позволяет нам интерпретировать первую строку как: «У вселенной должна иметься причина вне ее самой». Если мы начинаем с такого предположения, неудивительно, что мы никак не можем его доказать.
В обиходе существует множество более простых вариаций этой ошибки, и каждая из них содержит в основе все ту же непоследовательность, при которой предпочитаемый ответ оказывается единственным допустимым исключением.
На сколько бы шагов назад ты ни смотрел, у каждой вещи где-то есть начало. Началом всего является Бог.
(Предполагается, что у него самого начала не было.)
Ничто не может продолжаться вечно. Должен существовать Бог, с которого все началось.
(Он, разумеется, продолжается вечно.)
При использовании этого софизма в качестве полемического приема вы должны иметь в виду три вещи. Во-первых, чем большее расстояние разделяет ваш начальный посыл и заключение, тем меньше вероятность, что аудитория заметит противоречие. Во-вторых, говорящему часто позволяется высказывать утверждения касательно «всех», которые, однако, не применяются к нему самому. В-третьих, у вас будет больше шансов на то, что софизм останется незамеченным, если вывод касается вещей, которые обычно допускается наделять исключительными свойствами.
Никогда не верьте тому, что люди говорят о патентной медицине, они все лгут. Вы знаете, что я прав, а значит, поверите мне и когда я скажу вам, что вот это мое змеиное масло — самое замечательное…
(Поистине замечательно.)
Исключающие предпосылки
Стандартное трехчастное построение, называемое силлогизмом, состоит из двух предпосылок и вывода; в предпосылках излагаются доказательства, а заключение выводится из них. Если оба посыла являются отрицательными, из них не может быть выведено допустимое заключение и такой софизм называется ошибкой исключающих предпосылок.
Разнорабочие не бывают пекарями, а пекари не бывают рыбаками, следовательно, разнорабочие не бывают рыбаками.
(Рассуждение кажется довольно невинным, однако логика здесь еще более скользкая, чем рыбацкие сапоги. Если бы мы, например, вместо слова «рыбаки» вставили словосочетание «уклоняются от налогов», то вывод звучал бы как «разнорабочие не уклоняются от налогов», что, как всем известно, неправда. Ошибка кроется именно в двух отрицательных предпосылках.)
Источник подобного ошибочного умозаключения достаточно ясен. Наше трехчастное построение соотносит друг с другом два предмета посредством связи, которую каждый из них имеет с неким третьим предметом. Если обе предпосылки являются отрицательными, то все, что нам говорится, это то, что указанные два предмета полностью или частично лежат за пределами действия третьего предмета. Это возможно в любом случае, как бы они ни соотносились друг с другом, а значит, насчет такой связи не может быть сделано никакого вывода:
Некоторые пивовары не идиоты, а некоторые идиоты не богаты — следовательно, некоторые пивовары не богаты.