Точно так же с примером из Симпсонов: если бы «Медвежий патруль» работал эффективно, в Спрингфилде не было бы медведей. Но то, что в Спрингфилде нет медведей, еще не означает, что «Медвежий патруль» эффективен – в Спрингфилде их вообще не было.
КАК ОТВЕТИТЬ
Поскольку ошибка носит формально-логический характер, такое суждение можно опровергнуть, просто указав на это: говорящий нарушил правило логики. Однако вам, возможно, понадобится доказать невозможность обратного условия: «Если Q, то P». Это можно сделать, продемонстрировав, что обратное следствие неверно. Итак, предположим, ваш друг-ипохондрик говорит:
«У меня кашель; но у людей со смертельным заболеванием тоже кашель; значит, я смертельно болен!»
Он совершает логическую ошибку. Вы можете успокоить его, указав, что, хотя люди со смертельными заболеваниями действительно кашляют, не каждый, кто кашляет, смертельно болен – люди могут кашлять по множеству относительно безобидных причин.
В приведенном выше примере из Симпсонов Лиза пытается переубедить Гомера, используя параллельный пример: «Этот камень отпугивает тигров. Видишь, работает: тигров нет!» Конечно же, Гомер не понимает, что и это – заблуждение, и в итоге покупает камень у Лизы.
ЗНАЧЕНИЕ
На условных высказываниях можно построить распространенные, но чрезвычайно эффектные умозаключения. Настолько распространенные и эффектные, что средневековые ученые придумали для них причудливые латинские названия.
Так, если мне известно, что «если P, то Q» и мне также известно, что P истинно, то я знаю, что истинно Q – эта форма умозаключения называется modus ponens («путь отделения», или гипотетический силлогизм). Или если мне известно, что «если P, то Q» и я знаю, что Q – ложно, я также знаю, что ложно и P; если P бы было истинно, то и Q должно было быть истинно; но Q – не истинно, поэтому и Р тоже. Подобное умозаключение известно как modus tollens: «путь исключения исключением».
Заблуждение «подтверждение следствием» имеет куда меньше смысла, но столь же распространено, поэтому у него тоже есть свое собственное латинское название – modus morons («глупый путь»).
Неоднозначность
ПРИМЕР
«Питер – невысокий профессиональный баскетболист. Следовательно, Питер – профессиональный баскетболист, и он невысокого роста».
ПРИМЕР ИЗ ЛИТЕРАТУРЫ
В диалоге Платона «Евтидем» есть поистине замечательный пример:
– Скажи мне, Ктесипп, есть у тебя пес?
– Да, и очень злой, – отвечал Ктесипп.
– А щенята у него есть?
– Есть, тоже очень злые.
– Этот пес, значит, им отец?
– Сам видел, – отвечал Ктесипп, – как он покрыл суку.
– Ну что же, разве это не твой пес?
– Конечно, мой, – отвечает.
– Следовательно, будучи отцом[2], он твой отец, так что отцом твоим оказывается пес, а ты сам – брат щенятам.[3]
ОШИБКА
В действительном аргументе термины должны иметь одинаковое значение. Так, в стандартном силлогизме мы говорим: «A есть B, B есть C, следовательно, A есть C». Но если термины A, B или C имеют разное значение в каждой из посылок, то силлогизма не последует: термины одинаковы внешне, но их смысл не совпадает.
В этом можно убедиться, проанализировав примеры выше. В примере с баскетболом из утверждения «Питер невысокий баскетболист» делается вывод, что «Питер невысокого роста». Но в этом выводе не учитывается, что термин «невысокий» может использоваться в атрибутивной и предикативной функции. Утверждение «Питер – невысокий профессиональный баскетболист» на самом деле означает «Питер ниже среднего роста профессиональных баскетболистов», тогда как «Питер невысокого роста» означает просто «Питер ниже среднего роста». Но невысокий баскетболист вполне может быть высоким мужчиной: если рост Питера 6 футов 5 дюймов, то это ниже среднего для игрока НБА, но, тем не менее, он весьма высокий парень.
В примере из Платона, аналогичным образом, уравниваются между собой два различных значения формулы «его N». Говорилось о псе Ктесиппа и отце Ктесиппа. Но в этих двух случаях словосочетание «N Ксетиппа» выражает совершенно разные отношения: пес Ктесиппа – это животное, с которым Ктесипп связан как владелец, а отец Ктесиппа – это человек, с которым Ктесипп связан как потомок. Если этого не учесть, можно заключить, что пес – отец Ктесиппа. Пес является отцом, и он – пес Ктесиппа, таким образом, пес является отцом Ктесиппа (сравните: пес Ктесиппа – паршивая, блохастая дворняга, поэтому пес – паршивая, блохастая дворняга Ктесиппа). Но очевидно, что в действительности это не означает, что Ктесипп связан с псом так же, как сын с отцом.[4]
КАК ОТВЕТИТЬ
Нужно устранить термины в аргументе, чтобы показать, что в нем одинаково используются их разные значения. Далее следует переформулировать аргумент, используя термины, подчеркивающие двусмысленность. В примере с баскетболом нужно перефразировать аргумент следующим образом:
Питер ниже среднего роста баскетболиста.
Питер ниже среднего роста.
Однако сейчас аргумент даже не выглядит действительным: для этого понадобилась бы дополнительная посылка, что все баскетболисты среднего роста, но она, очевидно, неверна.
