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

Когда же у другого понятия отмечается только отсутствие какого#x2011;либо признака и ничего не говорится о том, какой ему вместо него присущ, то тогда возникает отношение контрадикторности или противоречия: «белый» и «небелый», «утро» и «не утро», «добрый» и «недобрый», «экспорт» и «не экспорт». Противоречащие понятия, в отличие от противоположных, делят весь массив родственных предметов строго на две разновидности: обладающих каким#x2011;то признаком и не обладающих им. Цвет – либо белый, либо небелый, никаких других альтернатив не существует; про белое и черное так сказать было бы нельзя, потому что помимо этих двух есть и другие цвета. Поступок – либо добрый, либо недобрый, торговая операция – либо экспортная, либо не экспортная (к последним, очевидно, относятся как импорт, так и все торговые дела, относящиеся к сфере внутреннего обмена).

Закон исключенного третьего применим, следовательно, к высказываниям противоречащим и неприменим к высказывания противоположным. Правда, здесь есть одно существенное исключение. Оно касается индивидуальных, строго единичных предметов или явлений, применительно к которым бессмысленно говорить «все» или «некоторые». Противоположные и противоречащие высказывания в этом случае не различаются. Так, высказывание «Бородинское сражение состоялось 26 августа 1812 года» можно отрицать лишь одним способом: «Бородинское сражение не состоялось 26 августа 1812 года»; конечно, чисто формально можно образовать и такую конструкцию: «Все Бородинские сражения. .» или: «Некоторые Бородинские сражения не состоялись 26 августа 1812 года». Однако никакой новой информации такое надуманное искусственное изложение той же самой мысли не даст. Все возможные альтернативы исчерпываются исходным суждением и указанным нами единственным его отрицанием. Поэтому закон исключенного третьего распространяется также и на такую пару суждений, хотя, строго говоря, они являются противоположными, а не противоречащими (противоречащие суждения для таких понятий нельзя образовать).

Более кратко закон исключенного третьего можно сформулировать так: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано .

В процессе рассуждения надо доводить дело до альтернативного разделения: имеет данный предмет какой#x2011;либо признак или не имеет его. Когда это удается достигнуть, остается проверить какую#x2011;то одну из указанных возможностей – соответствует она истине или нет, тогда в отношении второй все решится автоматически. Например, предложение может быть высказано в форме единственного числа или в форме множественного числа; иесли выяснится, что оно не имело формы множественного числа, то тогда значит оно высказано в форме единственного числа. То же самое – услуга бывает платной и бесплатной, шахматная партия начинается белыми или черными.

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

Закон исключенного третьего : противоречащие мысли не могут быть одновременно ни истинными, ни ложными, т. е. если одна из противоречащих мыслей истинна, то другая будет обязательно ложна, и наоборот. Третьего в этом отношении нет: либо истина, либо ложь. Формульная запись его А v не#x2011;А, или АvА. Читается формула: истинно А или не#x2011;А (черта над символом – знак отрицания).