Сомневайся. Искусство критического мышления - Ларс Герберт
Разделительные силлогизмы строятся на суждениях с альтернативами. Если у нас есть выбор из двух вариантов, и мы исключаем один, то остаётся другой. Либо A, либо B; не A; следовательно, B. Но здесь важно, чтобы альтернативы действительно исчерпывали все возможности и исключали друг друга. В реальных рассуждениях часто используют ложную дихотомию, предлагая выбор только из двух вариантов, тогда как существует третий, четвёртый и так далее. Формальная логика учит нас проверять, является ли дизъюнкция (логическое «или») полной и исключающей.
Говоря о логических связях, мы подходим к той части формальной логики, которая ближе всего к математике, но при этом имеет прямое отношение к тому, как мы строим сложные суждения в языке. Логические связки — это операторы, которые соединяют простые высказывания в составные. Их значение задаётся через истинностные таблицы, и понимание этих таблиц позволяет точно определить, в каких случаях составное высказывание будет истинным, а в каких — ложным. Основных связок пять: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность.
Отрицание меняет истинность высказывания на противоположную. Если утверждение «сегодня солнечно» истинно, то его отрицание «сегодня не солнечно» ложно, и наоборот. Конъюнкция, соответствующая союзу «и», истинна только тогда, когда истинны оба соединяемых высказывания. «Сегодня солнечно и тепло» — это утверждение верно лишь в том случае, если верны обе его части. Дизъюнкция бывает двух видов: неисключающая (логическое «или») истинна, когда истинно хотя бы одно из высказываний, и исключающая (строгое «или»), которая истинна только тогда, когда истинно ровно одно из высказываний. В русском языке союз «или» может означать и то, и другое, и контекст не всегда позволяет понять, какой вариант имеется в виду. Логика требует ясности.
Импликация («если… то…») вызывает наибольшее количество недоразумений. В формальной логике импликация ложна только в одном случае: когда основание истинно, а следствие ложно. Во всех остальных случаях она считается истинной. Это расходится с тем, как мы обычно понимаем условные предложения в естественном языке. Если кто-то говорит «если пойдёт дождь, я возьму зонт», мы считаем это высказывание истинным, даже если дождя не было, — ведь человек не нарушил своего обещания. Но если дождя не было, а зонт он всё равно взял, мы тоже не назовём его слова ложными. Формальное определение импликации фиксирует именно этот смысл: она запрещает только случай, когда условие выполнено, а обещанное следствие не наступило. Понимание этого помогает разбираться в рассуждениях, где используется условная связь.
Эквивалентность («тогда и только тогда») означает, что два высказывания имеют одинаковое истинностное значение: либо оба истинны, либо оба ложны. Это самая сильная логическая связь, и в аргументации она встречается реже, чем другие, потому что установить эквивалентность сложнее, чем просто связь «если… то…». Но когда мы говорим о необходимых и достаточных условиях, мы фактически имеем дело с эквивалентностью.
И это подводит нас к ещё одному важному разделу, который часто используется в аргументации, но редко осознаётся отчётливо: различие между необходимыми и достаточными условиями. Понимание этой разницы позволяет точно формулировать, что именно требуется для наступления того или иного события, и избегать путаницы в рассуждениях.
Необходимое условие — это то, без чего не может быть результата. Если условие необходимо, то его отсутствие гарантирует отсутствие следствия. Например, наличие кислорода — необходимое условие для горения. Если кислорода нет, горение невозможно. Однако наличие кислорода само по себе не гарантирует горения: нужны ещё горючее вещество и источник воспламенения. Таким образом, необходимое условие — это обязательный компонент, но не единственный.
Достаточное условие — это то, что гарантирует наступление результата. Если условие достаточно, то при его выполнении результат обязательно наступит. Например, нагревание воды до ста градусов при нормальном атмосферном давлении — достаточное условие для закипания. Но это не единственное условие: вода может закипеть и при более низкой температуре, если понизить давление. Достаточное условие обеспечивает результат, но может существовать множество других способов достичь того же результата.
В идеале мы стремимся найти условия, которые одновременно и необходимы, и достаточны. Такие условия дают полный контроль над явлением: если они выполнены, результат есть; если не выполнены, результата нет. В математике и строгих науках такие условия встречаются часто. В жизни — гораздо реже. Чаще мы имеем дело с необходимыми, но не достаточными, или достаточными, но не необходимыми условиями. Смешение этих понятий ведёт к типичным логическим ошибкам. Когда человек утверждает, что раз он выполнил какое-то необходимое условие, то результат должен наступить, он совершает ошибку. Или когда он думает, что если результат наступил, то необходимое условие обязательно было причиной, он тоже может ошибиться.
Разберём на простом бытовом примере. Чтобы сдать экзамен, необходимо подготовиться. Но подготовка сама по себе не достаточна: можно выучить всё, но в день экзамена заболеть, растеряться или попасться на нечестном приёме. Подготовка — необходимое, но не достаточное условие. С другой стороны, списывание может быть достаточным условием для сдачи, но оно не необходимо: можно сдать и без списывания. Если мы понимаем эти различия, мы перестаём требовать от обстоятельств того, чего они не могут дать, и точнее планируем свои действия.
Практическая ценность формальной логики раскрывается именно в таких разборах. Мы начинаем замечать, как устроены аргументы вокруг нас. Рекламный слоган «если вы хотите быть здоровым, покупайте наш продукт» пытается выдать достаточное условие там, где его нет. Политическое заявление «или мы принимаем этот закон, или страна погибнет» подменяет сложную реальность ложной дихотомией. Совет друга «я сделал так, и у меня всё получилось, значит, и у тебя получится» путает индуктивное обобщение с дедуктивной гарантией. Вооружившись знанием логических законов, видов умозаключений, структуры силлогизмов и понятия условий, мы перестаём быть беспомощными перед этими речевыми конструкциями. Мы можем задать уточняющий вопрос, указать на нарушение формы, потребовать дополнительных оснований.
Особенно важно, что формальная логика даёт нам инструмент не только для критики чужих рассуждений, но и для самопроверки. Когда мы готовим важное выступление, пишем текст или просто обдумываем сложное решение, полезно мысленно пройти по тем же этапам: соблюдено ли тождество понятий, нет ли противоречий, все ли необходимые основания приведены, правилен ли ход от посылок к выводу,