Одна из причин в том, что слова, выражающие логические отношения, в разговорном языке (например, в разговорном английском) неоднозначны, зачастую они могут означать сразу несколько формальных логических понятий. Английское слово or («или») иногда может означать логическую связку OR (логическое ИЛИ: А или В, или и то, и другое сразу), а иногда может означать логическую связку XOR (исключающее ИЛИ: А или В, но не оба сразу). Контекст часто выявляет, какое из значений имел в виду говорящий, однако если загадка дана без контекста, несложно прийти к неправильному выводу.
Еще одна причина в том, что логическое умозаключение нельзя сделать в принудительном порядке. Любое истинное утверждение может породить бесконечное количество истинных, но бесполезных новых утверждений. Из утверждения «В Айове выращивают соевые бобы» мы можем вывести утверждение «В Айове выращивают соевые бобы или корова прыгнула через Луну» (The cow jumped over the moon – строчка из детского стихотворения, бессмысленное утверждение, использующееся в английском языке для выражения недоверия к сказанному собеседником. –
Вероятно, наиболее существенное препятствие – это то, что умственная логика – не карманный калькулятор, готовый принять в качестве входных данных любые утверждения А, В и С. Она неразрывно связана с нашей системой знаний о мире. Каждая конкретная ступенька логических рассуждений, когда она уже совершается, не зависит от знаний о мире, однако входные и выходные данные для ее осуществления подведены непосредственно к этим знаниям. В случае с рестораном, например, выводы основываются попеременно на знании особенностей меню и на применении логики[372].
В некоторых областях знаний есть собственные правила, которые могут либо подкреплять правила логики, либо работать против них. Широко известен пример, приведенный психологом Питером Уэйсоном. На эту задачу Уэйсона вдохновил идеал научной аргументации, сформулированный философом Карлом Поппером: гипотеза принимается как верная только в том случае, если все попытки опровергнуть ее не приносят успеха. Уэйсон хотел посмотреть, как обычные люди справятся с задачей опровержения гипотезы. Он сказал им, что у него есть комплект карт, на которых с одной стороны напечатаны буквы, а с другой цифры, и попросил проверить правило «Если у карты на одной стороне буква D, то на другой стороне у нее цифра 3» – обычное утверждение из разряда «из А следует В». Испытуемым показали четыре карты и спросили, какие им нужно перевернуть, чтобы убедиться, что это правило истинно[373]. Попробуйте и вы:
Большинство людей выбирают либо карту D, либо D и 3. Правильный ответ – D и 7. Правило «из А следует В» ложно только в том случае, если А истинно, а В ложно. Карта с надписью 3 не имеет значения; в правиле сказано, что на всех картах с буквой D с обратной стороны напечатана цифра 3, но не сказано, что на всех картах с цифрой 3 напечатана буква D. Карта с цифрой 7 имеет критическое значение: если у нее на обратной стороне окажется D, то правило уже будет ложным. Только 5-10 % людей, участвующих в этом эксперименте, выбирают правильные карты. Даже те люди, которые пытаются рассуждать логически, ошибаются. (Кстати, дело даже не в том, что люди думают «Если D, то 3» или «Если D, то 3 и наоборот». Если бы они рассуждали таким образом, но в остальном придерживались логики, они бы перевернули