Следует подчеркнуть, что аргумент не является ложным только потому, что основывается на ложной предпосылке, и что ложный аргумент вовсе необязательно имеет неверные предпосылки или ошибочный вывод. В ложном аргументе безоговорочно неверным является только одно – заявление о наличии убедительной логической связи между предпосылкой и выводом. Для сравнения рассмотрите валидный дедуктивный аргумент, имеющий ложную предпосылку.
В мире нет столиц, название которых начиналось бы с буквы «П». Название Париж начинается с буквы «П»; следовательно, этот город не может быть столицей.
Первая предпосылка неверна, как и вывод, но форма аргумента как такового безупречно валидна: его вывод логически следует из предпосылки. Если исправить фактическую ошибку в первой предпосылке, то обоснованность связи между ней и выводом становится очевидной.
В мире нет столиц, название которых начиналось бы с буквы «Ч». Название Чунцин начинается с буквы «Ч»; следовательно, этот город не может быть столицей.
Однако аргумент, основанный на верной предпосылке, может быть ложным, например:
В мире нет столиц, название которых начиналось бы с буквы «Ч». Мой друг живет в городе, не являющемся столицей Китая, следовательно, его название должно начинаться с «Ч».
Это ложный аргумент, хотя предпосылка истинна. Вывод не следует из предпосылки, в чем мы убедимся, исследовав его «логику».
В мире нет столиц, название которых начиналось бы с буквы «Ч». Мой друг живет в городе, не являющемся столицей Китая. Если столиц на «Ч» не существует, значит, любой нестоличный город должен называться словом на «Ч». Следовательно, название города, в котором живет мой друг, должно начинаться с «Ч».
Такое утверждение – явный нонсенс (даже если вам пришлось слегка напрячься, чтобы это доказать). Тот факт, что название ни одной из столиц не начинается с «Ч», означает лишь то, что нестоличные города могут называться с любой буквы, включая и «Ч».
Наконец, ложный аргумент может иметь истинную предпосылку и истинный вывод, поскольку все дело лишь в ложной связи между тем и другим. Например:
Когда-то существовали столицы, называющиеся на «Ч». Название Чунцин начинается на «Ч»; следовательно, некогда этот город являлся столичным.
В этом примере каждое утверждение в отдельности верно: история знает столицы на «Ч»[35], название города Чунцина начинается с этой буквы, и сам город в прошлом выполнял столичные функции[36]. Ошибкой является использование слова «следовательно», предполагающее, что утверждение о столичном статусе Чунцина можно логически вывести из первых двух предпосылок. Информация, по удачному совпадению, оказалась верной, но предположение о наличии логической связи ошибочно, что становится ясно при взгляде на сопоставимый пример.
У меня когда-то был друг, имя которого начиналось на «Б». Имя президента Обамы – Барак – начинается с этой буквы. Следовательно, Барак Обама когда-то был моим другом.
Как уже отмечалось, если вы хотите узнать, является ли аргумент ложным, проверка методом сопоставимых примеров сослужит вам добрую службу. Итак:
• аргумент необязательно ложен, если опирается на ложную предпосылку или имеет ошибочный вывод;
• ложный аргумент может иметь верные предпосылки;
• ложный аргумент может иметь верный вывод;
• заявление о наличии логической связи между предпосылкой и выводом, однако, всегда ошибочно, если аргумент ложен.
Обучение с умом: два типа ложных умозаключений