Закон исключенного третьего

Закон исключенного третьего имеет силу лишь при условии соблюдения требований ранее изложенных законов тождества и противоречия и может быть сформулирован следующим обра­зом: в процессе рассуждения необходимо доводить дело до опре­деленного утверждения или отрицания, в этом случае истинным оказывается одно из двух отрицающих друг друга суждений. Или из двух противоречущих друг другу суждений одно истинно, другое ложно, а третьего не дано: либо А, либо не А.

То есть законом исключенного третьего исключается истинность ка­кого-то третьего суждения, кроме того суждения, к которому мы пришли, или его отрицания. Здесь предлагается сделать вы­бор из двух противоречащих друг другу суждений. Одно из них должно быть непременно истинным. При этом закон не указы­вает, какое именно из суждений истинно, но указывает, что истина лежит лишь в пределах этих двух суждений, а не ка­кого-то третьего.

Несмотря на ограниченность своего применения, закон ис­ключенного третьего играет все же значительную роль как в практике познания, так и в решении многих чисто логических вопросов. Он лежит в основе многих умозаключений и дока­зательств, от противного (косвенных доказательств). В косвен­ных доказательствах устанавливается ложность противореча­щего доказываемому суждению положения, что на основании закона исключенного третьего позволяет заключать об истин­ности доказываемого суждения.

Закон исключенного третьего не включает указания на то, какое именно из двух противоречащих друг другу суждений истинно. Решение этого вопроса выходит уже за рамки логики и требует обращения к практике.