КОНТРАДИКТОРНОЕ ОТНОШЕНИЕ

КОНТРАДИКТОРНОЕ ОТНОШЕ́НИЕ

(от лат. contradictorius – противоречащий), отношение противоречия, – одно из отношений, рассматриваемых в традиционной формальной логике. Различают К. о. между суждениями и К. о. между понятиями; суждения и понятия, находящиеся в К. о., наз. контрадикторными, или противоречащими, или контрадикторно-противоположными. Понятие о К. о. восходит к Аристотелю. К. о. между суждениями состоит в том, что суждения, находящиеся в этом отношении, подчиняются противоречия закону, в силу чего они не могут быть оба истинными, и принципу исключенного третьего, в силу чего одно из них истинно; т.о., из двух контрадикторных суждений одно и только одно истинно; из истинности одного следует ложность другого и из ложности одного – истинность другого. К. о. имеет место между суждением и отрицанием этого суждения, напр. "Это дерево плодовое" и "Неверно, что это дерево плодовое". Частным случаем К. о. является отношение между двумя суждениями субъектно-предикатного строения (в смысле традиционной логики), имеющими одинаковые субъекты и одинаковые предикаты, но различающимися по количеству и качеству (см. Суждение), т.е. между общеутвердительным (Все S суть Р) и частноотрицательным (Нек-рые S не суть Р) суждениями (напр., "Все деревья в этом саду плодовые" и "Нек-рые деревья в этом саду не плодовые"), а также между общеотрицательным (Ни одно S не есть Р) и частно-утвердительным (Нек-рые S суть Р) суждениями (напр., "В этом саду нет плодовых деревьев" и "Нек-рые деревья в этом саду плодовые"). Другим случаем К. о. является отношение между двумя единичными суждениями с одинаковыми субъектом и предикатом, из к-рых одно является утвердительным, а другое – отрицательным (напр., "Это дерево плодовое" и "Это дерево не плодовое").

К. о. между понятиями имеет место в том случае, когда одно из них является положительным, т.е. таким, что предметы, входящие в объем понятия, мыслятся обладающими определенным свойством, а другое – отрицательным, т.е. таким, что предметы, входящие в объем данного понятия, мыслятся не обладающими тем же свойством. Понятия, находящиеся в К. о., несовместимы: пересечение их объемов пусто; объединение их объемов совпадает с объемом того родового понятия, к-рому они соподчинены: каждый предмет из объема родового понятия входит либо в объем одного, либо в объем другого противоречащего понятия. Напр., объединение объемов понятий "человек, имеющий высшее образование" и "человек, не имеющий высшего образования" совпадает с объемом родового понятия "человек".

Лит.: Аристотель, Аналитики первая и вторая, пер. с греч., [Л. ], 1952, Первая аналитика; Mинто В., Дедуктивная и индуктивная логика, пер. с англ., 6 изд., М., 1909, гл. 2; Асмус В. Ф., Логика, М., 1947, гл. 3 и 8; Логика, М., 1956, гл. 2.

Б. Бирюков. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.