Нельзя одновременно утверждать о наличии и отсутствии одного признака у одного предмета.

Символически закон противоречия (непротиворечия) выглядит следующим образом:

Ø(P & ØP),

где Р — это какое-либо суждение. Приведём таблицу истинности этого суждения:

Р	ØP	(P & ØP)	Ø(P & ØP)
И	Л	Л	И
Л	И	Л	И

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

“Все вещи из квартиры взяты гражданином С.”

“Ни одна вещь из квартиры не взята гражданином С.”.

Для того чтобы мы могли считать их противоположными, необходимо, чтобы:

(1) в обоих суждениях речь шла об одной и той же квартире;

(2) в обоих суждениях речь шла об одном и том же человеке С.;

(3) в обоих суждениях термин “взяты” понимался одинаково (либо “взяты с разрешения”, либо “похищены”);

(4) оба суждения имели отношение к одному и тому же промежутку времени.

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

(1) в суждениях речь идёт о разных квартирах;

(2) в суждениях речь идёт о разных людях С. (например, однофамильцах);

(3) в одном суждении термин “взяты” понимается как “взяты с разрешения”, а в другом — как “похищены”;

(4) в суждениях речь идёт о различных временных интервалах (например, в первом суждении о 1 октября 1988 года, а во втором — о 3 марта 1998 года).

Чтобы определить, распространяется ли закон противоречия (непротиворечия) на некоторые два сложных суждения, необходимо построить совместную таблицу истинности для них. Если ни в одной строке они не принимают вместе значение “истина”, то они несовместимы и, следовательно, к ним применим закон противоречия (непротиворечия), если в обоих речь идёт об одних и тех же предметах, в одно и то же время, в одном и том же отношении. Например, нам даны два сложных суждения: (p & q) и (Øp Ú Øq). Построим таблицу истинности:

 

P	q	Øp	Øq	(p & q)	(Øp Ú Øq)
И	И	Л	Л	И	Л
И	Л	Л	И	Л	И
Л	И	И	Л	Л	И
Л	Л	И	И	Л	И

Из таблицы истинности видно, что эти два суждения ни в одной строке не принимают вместе значение “истина”. Таким образом, к этим двум суждениям применим закон противоречия (непротиворечия), если, конечно, в них речь идёт об одном предмете, в одно время и в одном отношении.

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

Никакие два противоречивых суждения об одних и тех же предметах, взятых в одно и то же время и в одном и том же отношении, не могут быть оба ни истинными, ни ложными. Одно из них всегда истинно, другое — ложно. Третьего не дано.

Если речь идёт о простых категорических суждениях: А, Е, I, O, то закон исключённого третьего может быть выражен следующим образом:

(А º О),

( I º E),

Действие закона иcключённого третьего распространяется только на противоречивые суждения (контрадикторные). Он утверждает, что если имеется два противоречивых суждения об одном предмете, то возможны два варианта (1) первое истинно, а второе ложно; (2) первое ложно, а второе истинно. Третьего не дано. Таким образом, требование закона противоречия по отношению к мышлению можно сформулировать следующим образом: