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