Псевдонаука и паранормальные явления

Астрология возникла в глубокой древности. В астрологию верит множество людей. Астрологические гороскопы объясняют не только сегодняшние события, но и многие события в истории.

Это замечание интересно и, вполне возможно, соответствует истине. Но в нем содержится всего лишь несколько ничем не подтвержденных заявлений. Один из признаков логического высказывания — слова-индикаторы, такие как «доказывает», «потому что», «поэтому», «так что», «таким образом» и «заставляет сделать вывод». Увидев какие-то из этих слов, мы понимаем, что автор пытается составить логическое высказывание. По крайней мере здесь присутствуют посылка и вывод. Приведенное выше замечание можно записать так, чтобы в нем появилась попытка сделать вывод или доказать какое-то мнение:

Астрология возникла в глубокой древности. В астрологию верит множество людей. Астрологические гороскопы объясняют не только сегодняшние события, но и многие события в истории. Поэтому в астрологии, вероятно, что-то есть.

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

Типы логических высказываний

Существует два типа логических высказываний: дедуктивное и индуктивное. Вот классическое дедуктивное высказывание:

Посылка: Если нечто — овощ, то это растение.

Посылка: Морковь — овощ.

Поэтому

Вывод: Морковь — растение.

Обратите внимание: если мы принимаем допущение о том, что все овощи являются растениями, а морковь — это овощ, то морковь тоже должна быть растением. До тех пор пока мы принимаем исходные посылки, спорить совершенно не о чем, нет никакой нужды в дополнительных исследованиях или доводах. Морковь — растение, и дело с концом. Это характерно для всех дедуктивных высказываний. К примеру, Посылка: Если человек родился, когда Солнце было в доме

Рыб, он будет спортивным.

Посылка: Вы родились в марте, и Солнце в этот момент находилось в доме Рыб.

Поэтому

Вывод: Вы спортивны.

Если вы принимаете истинность посылок, вывод следует однозначно. Правильно составленное (по форме) дедуктивное высказывание называется формально обоснованным. Обратите внимание: здесь термин «обоснованный» имеет очень узкое специфическое значение; он означает, что дедуктивное высказывание имеет правильную логическую структуру. Логическое высказывание может быть внутренне обоснованным и в то же время не иметь никакого отношения к реальному миру, если использованные в нем допущения неверны.

Вот обоснованное дедуктивное логическое высказывание, которое при всем при том неверно.

Посылка: Если некое существо — животное, то оно может мыслить абстрактно.

Посылка: Сократ, мой кот, — животное.

Исходя из этого

Вывод: Сократ может мыслить абстрактно.

В этом высказывании первая посылка неверна: существуют животные, которые, насколько нам известно, не умеют абстрактно мыслить. Но само высказывание обоснованно, поскольку следует формальным правилам дедукции.

Вот пример необоснованного логического высказывания:

Посылка: Если человек верит в привидения и ведьм, значит, он верит в существование реальности за пределами физического мира.

Посылка: Берта верит в существование реальности за пределами физического мира.

Исходя из этого

Вывод: Берта верит в привидения и ведьм.

Нa самом деле Берта — ревностная католичка; она искренне верит в высшую силу и отвергает существование привидений и ведьм как ересь. У этого дедуктивного высказывания одна проблема: оно построено не по правилам. Первая посылка представляет собой утверждение типа «если/то», состоящее из двух частей:

(А) Если человек верит в привидения и ведьм, (Б) он верит в существование реальности за пределами физического мира.

Первая часть («если») называется антецедент, а вторая («то») — консеквент. Мы уже видели, что подтверждение части «если», т. е. антецедента, абсолютно гарантирует истинность кон-секвента. Это происходило в каждом обоснованном логическом высказывании, которое мы рассматривали.

Однако высказывание о Берте устроено не так. В нем, наоборот, сначала утверждается консеквент, а уже из этого делается вывод об истинности антецедента. Это высказывание нарушает формальные правила и потому не может считаться обоснованным. Оно необоснованно. Подведем итог. Обоснованное логическое утверждение подтверждает антецедент, к примеру, вот так:

Если А истинно, то Б истинно.

А истинно.

Поэтому Б истинно.