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