(Джонс поспешно выходит, пока кто-нибудь не сказал, что все злостные угнетатели рабочего класса принадлежат к человеческому роду. Ведь поскольку Джонс человек…)
Самое замечательное в нераспределенных терминах то, что их можно нагромождать бесконечно, в качестве дальнейших «доказательств», поддерживающих уже представленные. (Все злостные угнетатели рабочего класса носят обувь. Поскольку Джонс носит обувь…)
Человек опытный не сочтет за труд выяснить, какие термины должны быть распределенными, а какие — нераспределенными. Он выучит простое правило: «Общие утверждения имеют распределенные субъекты, отрицательные утверждения имеют распределенные предикаты». Общими называются утверждения, относящиеся к классу в целом (то есть высказывание говорит обо всех из или не говорит ни об одном из класса); отрицательными — утверждения, говорящие о том, что понятие не обладает каким-либо качеством. Вооруженный этими техническими подробностями, человек опытный способен предъявлять аудитории такие чудовищные конструкции, как:
Все сиделки — поистине великие люди; но случается так, что некоторые поистине великие люди не получают достойной награды. Итак, некоторые сиделки не получают за свою работу достойной награды.
(Может быть, это и верно, но привел ли говорящий какие-либо доказательства? Поскольку средний термин «поистине великие люди» не является ни субъектом общего утверждения, ни предикатом отрицательного, он не распределен. Следовательно, перед нами очень запутаный случай ошибки нераспределенного среднего термина.)
Если оставить в стороне подобные технически сложные варианты, данный софизм в своей простой форме при систематическом применении может принести многие часы приятнейших успехов. К нему следует прибегать, чтобы достичь одобрения тех вещей, которые вам нравятся, — достаточно только указать, что эти вещи разделяют некоторые качества с чем-то, чем восхищается весь мир. Точно так же неприятные вам идеи могут быть дискредитированы путем подчеркивания тех их свойств, которые имеются также у чего-то, что заслужило всеобщее неодобрение.
Закрытые профсоюзные предприятия — это воля большинства, демократия — это тоже воля большинства. Значцт, закрытые профсоюзные предприятия по сути демократичны.
(«Где мне подписаться?» — «Вы уже сделали это».)
Элитарность — это нечто, от чего получают пользу лишь немногие, и теннис — нечто, от чего получают пользу лишь немногие; следовательно, теннис — несомненно элитарный вид спорта.
(Промах!)
Так же, как и в случае с утверждением следствия, софизм отрицания посылки предназначен для тех, кому, в общем-то, все равно, как работают их мозги. Он состоит в отрицании возможности того, что различные события могут приводить к похожим результатам.
Если я стану есть слишком много, я заболею. Поскольку я не ел слишком много, я не заболею.
(С этими словами он влил в себя целую бутылку виски, оцарапал руку о ржавый гвоздь и просидел всю ночь в мокрой одежде.)
Суть, разумеется, заключается в том, что к такому же результату могут привести и другие события, даже если не случилось то конкретное событие, о котором идет речь. Во всех конструкциях типа «если то…» допустимо утверждать посылку (часть, где содержится «если…») и можно отрицать следствие (часть, где говорится «то…»), а вот пара обратных действий — утверждение следствия и отрицание посылки является ошибкой.
Если он будет медлить, то проиграет. Но он не медлит, следовательно, не проиграет.
(Однако вполне возможно, что он попросту сделает какую-нибудь глупость.)
Вы можете утверждать посылку: «Он медлит, следовательно, проиграет». Вы можете отрицать следствие: он не проиграл, следовательно, он наверняка не медлил». Первая фраза представляет собой тип доказательства, именуемый тodus ponens, второй тип называется modus tollens, и оба вполне допустимы. Противоположная пара — ложные умозаключения, несмотря на то что по форме они очень похожи на допустимые.
Отрицание посылки — логическая ошибка, так как оно приписывает только одну причину событию, у которого их может быть несколько, и не допускает другие возможности развития ситуации.