тождества, в законе противоречия наряду с определенностью мысли отражается также и ее последовательность. В аспекте определенности как фундаментального свойства логической мысли, выражаемого через закон противоречия, мы имеем дело с так называемыми прямыми противоречиями: предмет белый и небелый, поступок добрый и недобрый и т. д. Их недопустимость очевидна даже для неподготовленных умов. В другом аспекте – последовательности – противоречия непрямые. Здесь вступают, если можно так выразиться, в конфликт следствия, часто очень далекие и радикально отличающиеся по содержанию от исходных утверждений. Использование закона противоречия здесь уже не так просто. Допустим, кто-нибудь скажет, что снег в этом месте покрыт налетом сажи. Тогда про этот снег уже нельзя утверждать, что он растает позднее, чем тот, который такого налета не имеет. Прямо очень трудно увидеть связь между наличием сажи и способностью таять. И, кажется, между ними нет ничего общего: если одно высказывание о снеге считать А, то другое должно быть отнесено к не-А. Однако физика доказывает, что затемненные предметы лучше поглощают теплоту Солнца, следовательно, где снег покрыт темным налетом любого происхождения, там он растает раньше, а не позже.
Закон противоречия (противоположности): противоречащие, точнее противоположные, мысли не могут быть одновременно истинными, по меньшей мере, одна из них ложна, по большей же мере обе могут быть ложными. Формальная запись его: А /\ В, или (поскольку В допустимо заменить на не-А) А /\ не-А, или А /\ А. Читаются формулы: «неверно, что А и В одновременно истинны», или более просто – «неверно, что А и В», или «неверно, что А и не-А одновременно истинны».
Закон исключенного третьего.
В логике принято различать два вида противоположности: контрарную (собственно противоположность) и контрадикторную (противоречие). Нам еще придется о них говорить в разделах о понятии и суждении. Здесь достаточно будет отметить, что, когда два понятия находятся в отношении контрарности, то это означает максимальную противоположность между ними. Выражается это в двух обстоятельствах: какой-нибудь признак, присущий одному из понятий, во-первых, отсутствует у другого и, во-вторых, вместо этого признака у него имеется несовместимый с ним. Таковы понятия «утро» и «вечер», «добрый» и «злой», «экспорт» и «импорт», «белый» и «черный». Некоторые признаки утра не присущи вечеру, однако, это еще не представляет собой самой характерной отличительной черты последнего, потому что день и ночь тоже не являются утром; вечер, сверх этого, противоположное утру время суток и в отображающее его понятие включаются признаки, противоположные тем, которые есть у начала дня: солнце идет вниз, а не вверх, темнеет, а не светает и пр. То же самое можно было бы сказать и про остальные контрарные понятия.
Когда же у другого понятия отмечается только отсутствие какого-либо признака и ничего не говорится о том, какой ему вместо него присущ, то тогда возникает отношение контрадикторности