Нарушение требований закона тождества происходит обычно в ходе спора или дискуссии, когда его участники вместо одного понятия или суждения используют другое, быть может, и близкое по содержанию, но не тождественное первому. Нередко этот закон нарушается в ходе доказательства, особенного устного, когда происходит отступление от исходного тезиса, т.е. того, что требуется доказать, или же этот тезис подменяется другим. Такие нарушения порой трудно заметить, поскольку обычно происходит лишь небольшое изменение в содержании понятия и смысла тезиса. Все отмеченные нарушения легче предупредить, если с самого начала спора или дискуссии по возможности точно определить понятия и ясно сформулировать выдвигаемые тезисы и утверждения.
6.2. Закон противоречия
В целях точности и ясности этот закон следовало бы назвать законом недопущения противоречия или принципом непротиворечивости, как принято в математике. Попытки такого уточнения предпринимались еще в XIX в., например, английским математиком У. Гамильтоном, но по установившейся традиции его по- прежнему именуют законом противоречия. Аристотель, которому принадлежит первая формулировка этого закона, пишет так: "Невозможно что-либо вместе утверждать и отрицать".
Если в одном суждении утверждается нечто, а именно А есть В, а в другом это нечто отрицается, то такие суждения не могут быть одновременно истинными. Поэтому суждения А есть В и Ане есть В образуют логическое противоречие. Утверждение одного суждения и одновременное отрицание его в одно и то же время и в одном и том же отношении запрещается логикой":... невозможно, - писал Аристотель, - чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении".
Закон противоречия требует согласованности элементов мысли в процессе рассуждения, рассматривая противоречие в мышлении как недопустимую ошибку, разрушающую весь строй и последовательность мышления. Отдельные суждения, утвердительные и отрицательные, сами по себе, взятые порознь, не могут считаться противоречивыми. Только когда они берутся вместе и рассматриваются как одновременно истинные, эти суждения образуют логическое противоречие. Отсюда легко найти формулу для выражения как логического противоречия, так и принципа непротиворечия. Если обозначить утвердительное суждение через Р, а его отрицание через ¬ Р, то их совместное утверждение образует логическое противоречие, т.е. конъюнкцию вида: Р ∧ ¬ Р.
Когда такое противоречие обнаруживается в рассуждении, оно требует устранения в соответствии с требованием непротиворечивости:
¬ (Р ∧ ¬ Р).
Быть может, именно поэтому имеет смысл говорить о законе противоречия, который раскрывает логический механизм закона и предписывает необходимость устранения противоречия.
Обратимся теперь к точной формулировке закона противоречия, для чего необходимо вспомнить, какие суждения мы называем контрадикторными (противоречащими). Если одно суждение отрицает другое- что выражается префиксом "не" или символом отрицания в формуле- то такие суждения не могут считаться одновременно истинными, так же, как и одновременно ложными. Поэтому в точном смысле слова закон противоречия применим именно к ним, хотя контрарные суждения также одновременно не рассматриваются как истинные, но в то же время они могут быть одновременно ложными. Учитывая, что в формулировке противоречия речь идет о суждениях противоположного характера, в том числе и контрарных, этот закон распространяется и на них, хотя в вышеприведенной его формуле фиксируется контрадикторная противоположность между членами конъюнкции. Итак, два противоположных суждения не могут быть одновременно истинными, т.е. ¬ (Р ∧ ¬ Р).
Правильное применение этого закона предполагает, что рассматриваемые в законе суждения относились к одному и тому же периоду времени и брались в одном и том же отношении. С течением времени характер суждений может существенно измениться. То же самое следует сказать об отношении, в котором рассматриваются суждения. Действительно, нельзя считать одновременно истинными суждения "Иванов здоров" и "Иванов нездоров" в данное время, но в другое время он может заболеть, поэтому суждение "Иванов нездоров" не будет противоречить прежнему суждению. Аналогично, суждение "Волга - самая длинная река в европейской части России" не будет противоречить суждению: "Обь имеет наибольшую длину среди российских рек". Если в первом суждении речь идет о длине рек в европейской части, то во втором - во всей России. Очевидно, что здесь мы имеем дело с суждениями, рассматриваемыми в разных отношениях, и поэтому они не противоречат друг другу.