(Может быть, это и верно, но привел ли говорящий какие-либо доказательства? Поскольку средний термин «поистине великие люди» не является ни субъектом общего утверждения, ни предикатом отрицательного, он не распределен. Следовательно, перед нами очень запутаный случай ошибки нераспределенного среднего термина.)

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

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

(«Где мне подписаться?» — «Вы уже сделали это».)

Элитарность — это нечто, от чего получают пользу лишь немногие, и теннис — нечто, от чего получают пользу лишь немногие; следовательно, теннис — несомненно элитарный вид спорта.

(Промах!)

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

Если я стану есть слишком много, я заболею. Поскольку я не ел слишком много, я не заболею.

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

Суть, разумеется, заключается в том, что к такому же результату могут привести и другие события, даже если не случилось то конкретное событие, о котором идет речь. Во всех конструкциях типа «если то…» допустимо утверждать посылку (часть, где содержится «если…») и можно отрицать следствие (часть, где говорится «то…»), а вот пара обратных действий — утверждение следствия и отрицание посылки является ошибкой.

Если он будет медлить, то проиграет. Но он не медлит, следовательно, не проиграет.

(Однако вполне возможно, что он попросту сделает какую-нибудь глупость.)

Вы можете утверждать посылку: «Он медлит, следовательно, проиграет». Вы можете отрицать следствие: он не проиграл, следовательно, он наверняка не медлил». Первая фраза представляет собой тип доказательства, именуемый тodus ponens, второй тип называется modus tollens, и оба вполне допустимы. Противоположная пара — ложные умозаключения, несмотря на то что по форме они очень похожи на допустимые.

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

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

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

(Ничего подобного. Хотя вам может показаться, что вы живете сто лет.)

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

Если у нас будет сильная армия, друие страны из страха перед ней могут на нас напасть. Чтобы избежать этого риска, лучше разоружиться.

(Возможно, это и так, но вероятность нападения врагов усилится, если они увидят, что можно не бояться отпора.)

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

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

Некоторые кошки не глупы. Все кошки — животные, следовательно, некоторые животные глупы.

(Даже несмотря на то, что некоторым из них действительно не хватило ума, чтобы стать кошками, этот вывод не является следствием вышесказанного. Одна из предпосылок отрицательная, так что любое допустимое заключение также должно быть отрицательным.)

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

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

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

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

Все в мире смертно, но Бог не смертен, следовательно, Бог не является всем.

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

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