В главе 3 мы обсудили две формальные ошибки: подтверждение следствия и отрицание условия. В обоих случаях фактически наблюдается путаница между двумя логическими схемами: одно истинно, если другое истинно; и одно истинно, только если другое истинно. Напомню краткую характеристику этих ошибок.

• Подтверждение следствия опирается на ошибочное предположение, что если В обязательно верно при верном А, то наличия В достаточно, чтобы доказать наличие А: «Если ты меня любишь, то ответишь на мое письмо. Ты ответил на мое письмо; значит, точно влюблен». Общий вид: «Если А, то В; В; следовательно, А».

• Отрицание условия опирается на ошибочное предположение, что если В обязательно верно при верном А, то отсутствие А гарантирует отсутствие В: «Если ты закажешь стейк, тебе понравится угощение. Ты не заказал стейк. Значит, ужин тебе не понравится». Общий вид: «Если А, то В; не А; следовательно, не В».

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

Формальная ошибка: нераспределенное среднее

Формальная ошибка: нераспределенное среднее

Логическое несоответствие составляет основу формальной ошибки, известной как нераспределенное среднее{160}. Попробуйте найти дефект следующего рассуждения.

Все волшебники носят бороды. У моего друга есть борода. Значит, он волшебник. Увы, нет!

Все волшебники носят бороды. У моего друга есть борода. Значит, он волшебник.

Увы, нет!