Советский философский словарь - логический закон

В узком смысле слова Л. з. называются, следуя антич. и ср.-век. традиции, следующий законы мышления:  тождества («всякая сущность совпадает сама с собой»), противоречия («никакое суждение не может одновременно быть истинным и ложным»), исключённого третьего («для произвольного высказывания либо оно само, либо его отрицание истинно») и достаточного основания («всякое принимаемое суждение должно быть надлежащим образом обосновано»). Согласно совр. представлениям, принципы тождества и достаточного основания принадлежат скорее не логике, а теории познания и методологии науки. Принципы исключённого третьего и противоречия относятся собственно к логике, где играют, однако, различную роль: если «общепринятый» для традиц. логики принцип исключённого третьего для ряда логич. исчислений отвергается (см. Интуиционизм, Конструктивная логика), то принцип противоречия не только доказуем в любой содержательно-интерпретируемой логич. системе, но и лежит фактически в основе всей совр. формальной логики (см. Непротиворечивость).