Противоречащими (контрадикторными) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом — то же самое отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно, и наоборот. Например, если суждение «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащими являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое — необходимо ложно.
Закон непротиворечия выражает одно из коренных свойств логического мышления — непротиворечивость, последовательность мышления. Его сознательное использование помогает обнаруживать и устранять противоречия в своих и чужих рассуждениях, вырабатывает критическое отношение ко всякого рода неточности, непоследовательности в мыслях и действиях.
Н. Г. Чернышевский подчеркивал, что непоследовательность в мыслях ведет к непоследовательности в поступках. У кого не уяснены принципы во всей логической полноте и последовательности, писал он, у того не только в голове сумбур, но и в делах чепуха.
Умение вскрывать и устранять логические противоречия, нередко встречающиеся в показаниях свидетелей, обвиняемого, потерпевшего, играет важную роль в судебной и следственной практике.
Одно из основных требований, предъявляемых к версии в судебном исследовании, состоит в том, чтобы при анализе совокупности фактических данных, на основании которых она построена, эти данные не противоречили друг другу и выдвинутой версии в целом. Наличие таких противоречий должно привлечь самое серьезное внимание следователя. Однако бывают случаи, когда следователь, выдвинув версию, которую он считает правдоподобной, не принимает во внимание факты, противоречащие этой версии, игнорирует их, продолжает развивать свою версию вопреки противоречащим фактам.
В процессе судебного разбирательства обвинитель и защитник, истец и ответчик выдвигают противоречащие друг другу положения, отстаивая свои доводы и оспаривая доводы противной стороны. Поэтому необходимо тщательно проанализировать все обстоятельства по делу, чтобы окончательное решение суда основывалось на достоверных и непротиворечивых фактах.
Недопустимы противоречия в судебных актах. К числу обстоятельств, по которым приговор признается несоответствующим фактическим обстоятельствам дела, уголовно-процессуальное право относит существенные противоречия, содержащиеся в выводах суда, изложенных в приговоре.
3. Закон исключения третьего. Закон непротиворечив действует по отношению ко всем несовместимым друг с другом суждениям. Он устанавливает, что одно из них необходимо ложно. Вопрос о втором суждении считается открытым: оно может быть истинным, но может быть и ложным.
Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано. «Н. виновен в ограблении банка» и «Н. не виновен в этом ограблении»; «Все свидетели допрошены» и «Некоторые свидетели не допрошены»; «Некоторые юристы — адвокаты» и «Ни один юрист не адвокат».
В символической записи: р ∨ ˥p, где р — любое суждение, ˥p — отрицание суждения р, ∨ — символ дизъюнкции (логическая связка «или»).
Подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано.