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