ЛОГИКА

§ 19. 2) Если противоположность между двумя высказываниями противоречащая, т. е. одно из высказываний – общее, а другое – частное, то такие два высказывания не могут оказаться оба сразу ложными. В этом случае вступает в силу третий закон логического мышления – закон исключённого третьего.

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

Так, из противоречащих друг другу утверждений об отношении понятий «дельфины» и «млекопитающие», а именно – «все дельфины – млекопитающие», «некоторые дельфины – не млекопитающие» – одно необходимо должно быть истинным. Или истинно, что «все дельфины – млекопитающие», или истинно, что «некоторые (т. е. по крайней мере некоторые) дельфины – не млекопитающие».

Так как, по закону противоречия, два противоречащих друг другу утверждения не могут быть оба сразу истинными, то истинность одного из таких утверждений означает ложность другого и – наоборот. Но этого мало. Закон исключённого третьего не только говорит, что одно из противоречащих утверждений необходимо должно быть истинным. Закон исключённого третьего говорит, кроме того, что истина лежит только в пределах этих двух утверждений. Кроме этих двух утверждений невозможно никакое третье об отношении между теми же понятиями, которое было бы истинным. В случае противоречащих суждений рассуждать приходится по схеме: «или – или. Третье не дано» (tertium non datur).

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

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

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

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

§ 22. 3) Если противоположные высказывания оба относятся лишь к одному единственному предмету, то такая противоположность отличается и от контрарной и от противоречащей. В то время, как в случае контрарной противоположности не исключена возможность, что оба контрарные высказывания окажутся в одно и то же время ложными, в случае противоположных высказываний об одном единственном предмете такие высказывания не могут быть оба в одно и то же время ложными» Иными словами, закон исключённого третьего распространяется на эти высказывания так же, как он распространяется ни противоречащие высказывания. Так, два высказывания – «эта звезда – Сириус» и «эта звезда – не Сириус» не могут быть оба одновременно ложными: одно из них непременно должно быть истинным.

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

§ 23. Так как закон исключённого третьего справедлив относительно всех противоречащих высказываний, то он так же, как и закон тождества и закон противоречия, может быть выражен общей формулой. Формула закона исключённого третьего: А есть либо В, либо не - В.