Формальные софизмы


...

Экзистенциальный софизм

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

Все кошки самолюбивы.

(Это утверждение говорит нам, что если такое явление, как кошки, действительно имеет место, то они обладают самолюбием. Оно не утверждает факта существования кошек — точно так же, как из схожего утверждения относительно единорогов нельзя вывести заключение об их существовании.)

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

Некоторые кошки самолюбивы.

(Здесь нам сообщается, что существует такое явление, как кошки, и что некоторые из них обладают самолюбием.)

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

Все НЛО — космические корабли, и все космические корабли — внеземные, следовательно, некоторые из НЛО являются внеземными.

(Такое утверждение кажется довольно безобидным, однако оно недопустимо. Мы могли бы сказать, что все НЛО являются внеземными, но, ограничивая их до некоторых, мы подразумеваем, что они действительно существуют.)

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

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

Все полицейские высокого роста, а ни один честный валлиец не бывает высоким, следовательно, некоторые честные валлийцы не служат в полиции.

(Увы, здесь не было представлено никаких доказательств, что в мире существует такое явление, как честный валлиец.)

Если бы заключение касалось всех честных валлийцев, оно было бы приемлемым, поскольку относилось бы к тем, кто только может существовать.

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

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

(То же самое касается невидимых жаб, пятнистых жителей Сатурна и приветливых шведов. Прежде чем начинать раскладывать их по категориям, попробуйте сперва поймать хотя бы одного.)

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