(от лат. contradictorius — противоречащий) — отношение между противоречащими друг другу суждениями. В традиционной логике противоречащими друг другу считаются общеутвердительные и частноотрицательные суждения, имеющие один и тот же субъект и предикат («Все цветы красивы» и «Некоторые цветы некрасивы»), а также общеотрицательные и частноутвердительные суждения («Ни один цветок не красив» и «Некоторые цветы красивы»). К. п. характеризуется следующими особенностями: 1) суждения не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) из двух противоречащих друг другу суждений одно непременно истинно, а другое ложно, третьего не дано. Последнее свойство контрадикторных суждений широко используется в процессах рассуждения и доказательства. Если нам удалось показать ложность некоторого суждения, то мы можем с уверенностью утверждать, что противоречащее ему суждение истинно, и наоборот.
|
