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