4. Надежна ли логика?
4. Надежна ли логика?
Почему люди верят в астрологию? Многим кажется, что астрология должна быть верна потому, что популярна и возникла в незапамятные времена, потому что к ней прибегают друзья, знаменитости и власти. Такой взгляд отражает известную логическую ошибку — выводы делаются из неприемлемого допущения (в результате безоглядного доверия к словам других людей). Огромная доля псевдонаучных рассуждений основана именно на логических ошибках. В этой главе мы постараемся глубже разобраться в логике — правилах, согласно которым из принятых допущений делаются выводы, — и посмотрим, может ли она стать мощным инструментом сверки с реальностью.
Базовая логика
Для начала нам необходимо определить некоторые понятия. Вывод, или заключение, — это утверждение о том, что нечто истинно. Выводы часто основаны на допущениях, или посылках. Вместе выводы и допущения составляют логическое высказывание. Вот несколько высказываний об астрологии:
Допущение ? Астрология возникла в глубокой древности. Вывод ? поэтому астрология истиннаL.
Д. ? Многие верят в астрологию, Вывод ? у них она, должно быть работает.
Допущение ? Мой священник говорит, что астрология верна. Вывод ? таким образом она, наверное, действительно верна
Грубые логические ошибки: необоснованные суждения и противоречия
Наша первая логическая ошибка — простейшая, и называется она необоснованный вывод, т. е. «вывод», который вовсе не является выводом. Люди иногда делают выводы без каких-либо оснований. Подобные утверждения могут на первый взгляд напоминать логические высказывания, но на самом деле они таковыми не являются. Какими бы интересными или информативными эти утверждения ни были, они ничего не доказывают. Даже если их с мессианским пылом произнесет перед громадной восхищенной толпой новоявленный пророк, они все равно ничего не доказывают. К примеру:
Астрология возникла в глубокой древности. В астрологию верит множество людей. Астрологические гороскопы объясняют не только сегодняшние события, но и многие события в истории.
Это замечание интересно и, вполне возможно, соответствует истине. Но в нем содержится всего лишь несколько ничем не подтвержденных заявлений. Один из признаков логического высказывания — слова-индикаторы, такие как «доказывает», «потому что», «поэтому», «так что», «таким образом» и «заставляет сделать вывод». Увидев какие-то из этих слов, мы понимаем, что автор пытается составить логическое высказывание. По крайней мере здесь присутствуют посылка и вывод. Приведенное выше замечание можно записать так, чтобы в нем появилась попытка сделать вывод или доказать какое-то мнение:
Астрология возникла в глубокой древности. В астрологию верит множество людей. Астрологические гороскопы объясняют не только сегодняшние события, но и многие события в истории. Поэтому в астрологии, вероятно, что-то есть.
Еще одна грубая логическая ошибка — противоречие, когда несколько различных утверждений никак не могут оказаться истинными одновременно. Как правило, противоречия никто не выставляет напоказ; в лучшем случае они только подразумеваются, и для их обнаружения требуется тщательно и вдумчиво рассмотреть все утверждение целиком.
Типы логических высказываний
Существует два типа логических высказываний: дедуктивное и индуктивное. Вот классическое дедуктивное высказывание:
Посылка: Если нечто — овощ, то это растение.
Посылка: Морковь — овощ.
Поэтому
Вывод: Морковь — растение.
Обратите внимание: если мы принимаем допущение о том, что все овощи являются растениями, а морковь — это овощ, то морковь тоже должна быть растением. До тех пор пока мы принимаем исходные посылки, спорить совершенно не о чем, нет никакой нужды в дополнительных исследованиях или доводах. Морковь — растение, и дело с концом. Это характерно для всех дедуктивных высказываний. К примеру, Посылка: Если человек родился, когда Солнце было в доме
Рыб, он будет спортивным.
Посылка: Вы родились в марте, и Солнце в этот момент находилось в доме Рыб.
Поэтому
Вывод: Вы спортивны.
Если вы принимаете истинность посылок, вывод следует однозначно. Правильно составленное (по форме) дедуктивное высказывание называется формально обоснованным. Обратите внимание: здесь термин «обоснованный» имеет очень узкое специфическое значение; он означает, что дедуктивное высказывание имеет правильную логическую структуру. Логическое высказывание может быть внутренне обоснованным и в то же время не иметь никакого отношения к реальному миру, если использованные в нем допущения неверны.
Вот обоснованное дедуктивное логическое высказывание, которое при всем при том неверно.
Посылка: Если некое существо — животное, то оно может мыслить абстрактно.
Посылка: Сократ, мой кот, — животное.
Исходя из этого
Вывод: Сократ может мыслить абстрактно.
В этом высказывании первая посылка неверна: существуют животные, которые, насколько нам известно, не умеют абстрактно мыслить. Но само высказывание обоснованно, поскольку следует формальным правилам дедукции.
Вот пример необоснованного логического высказывания:
Посылка: Если человек верит в привидения и ведьм, значит, он верит в существование реальности за пределами физического мира.
Посылка: Берта верит в существование реальности за пределами физического мира.
Исходя из этого
Вывод: Берта верит в привидения и ведьм.
Нa самом деле Берта — ревностная католичка; она искренне верит в высшую силу и отвергает существование привидений и ведьм как ересь. У этого дедуктивного высказывания одна проблема: оно построено не по правилам. Первая посылка представляет собой утверждение типа «если/то», состоящее из двух частей:
(А) Если человек верит в привидения и ведьм, (Б) он верит в существование реальности за пределами физического мира.
Первая часть («если») называется антецедент, а вторая («то») — консеквент. Мы уже видели, что подтверждение части «если», т. е. антецедента, абсолютно гарантирует истинность кон-секвента. Это происходило в каждом обоснованном логическом высказывании, которое мы рассматривали.
Однако высказывание о Берте устроено не так. В нем, наоборот, сначала утверждается консеквент, а уже из этого делается вывод об истинности антецедента. Это высказывание нарушает формальные правила и потому не может считаться обоснованным. Оно необоснованно. Подведем итог. Обоснованное логическое утверждение подтверждает антецедент, к примеру, вот так:
Если А истинно, то Б истинно.
А истинно.
Поэтому Б истинно.
Подтверждение консеквента ничего не доказывает. Следующее неверно:
Если А истинно, то Б истинно.
Б истинно.
Поэтому А истинно.
В дискуссиях о паранормальном нередко появляются подобные высказывания, где утверждается коцсеквент. К примеру:
Если звезды и планеты выстроятся благоприятным образом (А), вы быстро поправитесь от простуды (Б).
Вы быстро поправились от простуды (Б).
Исходя из этого
Звезды и планеты выстроились благоприятным образом (А).
Если экстрасенс способен читать ваши мысли (А), он может сразу понять, что вы настроены скептически (Б).
Экстрасенс, которого вы посетили, верно заметил, что вы настроены скептически (Б).
Исходя из этого
Экстрасенс способен читать ваши мысли (А).
Если некий мистик действительно обладает сверхъестественными способностями (А), он может проделывать фокусы, которые вы не в состоянии объяснить (Б).
Мария, мистик, согнула ложку, не прикасаясь к ней, — фокус, который вы не можете объяснить (Б).
Исходя из этого
Мария обладает сверхъестественными способностями (А).
Можно иначе объяснить ошибку, которую иллюстрируют приведенные примеры. Если вы подтверждаете консеквент, это ничего не доказывает, потому что можно — и даже необходимо — рассмотреть другие возможные объяснения.
В индуктивном высказывании вывод основывается на некотором наборе наблюдений. В отличие от дедуктивных выводов, индуктивные не бывают абсолютно истинными или обоснованными; они просто подтверждаются какими-то свидетельствами или нет. Если вы проведете исследование, проверите тысячу Рыб и выясните, что 80 % из них являются спортсменами (против 20 % в популяции в целом), у вас будут некоторые основания утверждать, что Рыбы спортивны. Важно отметить, что в данном случае вы ничего не доказали, но просто получили сильные (или слабые) свидетельства в пользу некоего вывода или заявления. Индуктивные высказывания всегда вероятностны, а не абсолютны.
Индуктивная генерализация начинается с посылки, относящейся к некой выборке случаев, и заканчивается выводом обо всей популяции случаев.
Посылка: 80 % Рыб, которых я случайно опросил, оказались членами различных спортивных команд.
Вывод: 80 % Рыб в составе всего населения, вероятно, являются членами спортивных коллективов.
Данный текст является ознакомительным фрагментом.