Это отнюдь не академические рассуждения: несмотря на то, что наш разум сделал нас такими, какими мы сегодня являемся, мы продолжаем страдать от превратностей присущего нам извращенного мышления. Сегодня нам приходится сталкиваться с отнюдь не тривиальными вызовами: мы вынуждены противостоять сложным проблемам, постоянно оценивая вероятность рисков и благоприятных исходов буквально во всех областях жизни – начиная с лечения болезней и кончая политикой правительства. Мы (как общество) сталкиваемся также и с монументальными экзистенциальными вопросами – от угрожающих нам климатических изменений до эпидемий и глобального конфликта. Единственный шанс избежать катастрофы – это использовать способности нашего разума, чтобы с их помощью искать и находить прагматичные конструктивные решения всего этого широкого спектра проблем, и если мы хотим справиться со всем этим, то не имеем права позволить себе сомнительную роскошь искаженного мышления. Но как, собственно говоря, можно отличить обоснованное суждение от его низкопробной имитации?
Этот вопрос занимал любознательные умы на протяжении многих веков: древнегреческие философы посвятили массу времени и усилий исследованию структуры логики. Их открытия стали – и остаются до сих пор – основанием математической логики. Эта фундаментальная область имеет сугубо практическое применение и, кроме того, обладает теоретическим изяществом, а на ее положениях базируются все виды деятельности – от работы сетевых поисковиков до полетов в космос, доставки пиццы или работы скорой помощи. Строгость логики важна не только для кабинетных ученых и инженеров – она есть основа риторической аргументации, с которой нам приходится сталкиваться ежедневно; кроме того, она является инструментом, используемым нами для формирования умозаключений во всех мыслимых сферах жизни.
Для наших целей мы определим аргумент как последовательность рассуждений, ведущих к заключению. Если порочна сама структура логических построений, то мы имеем дело с ошибкой суждения, именуемой формальной ошибкой. Полное рассмотрение потребует обращения к абстрактным математическим выкладкам, но мы ограничимся лишь некоторыми сущностными идеями. Для того чтобы аргумент был корректным, он должен иметь (а) валидную структуру и (б) корректные посылки. Валидность можно определить как структуру или скелет аргумента. Классический пример мы находим у Сократа, которого считают отцом западной