Логический закон – закон мышления (или логический закон), это необходимая существенная связь мысли в процессе рассуждения или доказательства.
Существуют четыре основных закона: закон тождества, закон противоречия, закон исключенного третьего, закон достаточного основания.
Закон тождества – согласно этому закону каждая мысль должна быть тождественной самой себе. В процессе рассуждения она должна сохранять одно и тоже определённое содержание. Предмет мысли должен мыслиться на всём протяжении суждения в одном и том же содержании его признаков. Закон тождества выражает требования предъявляемые правильному мышлению – определённость и однозначность. Законом тождества запрещено многозначное использование терминов. Нарушение этого закона приводит к логической ошибке, названной – подмена понятия.
Закон противоречия – два находящихся в отношении отрицания суждения не могут быть одновременно истинными, одно из них непременно ложно. Признав известные положения в качестве истинных и развивая выводы из этих положений, мы не можем допустить в своём рассуждении или доказательстве никаких утверждений противоречащих тому, что уже было сказано ранее. Согласно закону противоречия не могут быть одновременно истинными 2 высказывания, одно из которых нечто утверждает о предмете, а другое это же самое отрицает. При этом следует иметь в виду, что закон противоречия запрещает считать истинными такие высказывания, в которых нечто утверждается, либо отрицается об одном и том же предмете, в одно и тоже время, и в одном и том же отношении. Предъявляет требование непротиворечивости и последовательности.
Закон исключенного третьего – из 2-х противоречивых друг другу суждений одно и только одно является истинным, 3-го не дано. Закон противоречия действует как для противоположных высказываний, так и для противоречивых. Закон исключенного третьего имеет более узкую сферу, он применим лишь к противоречивым высказываниям. В случае противоположных высказываний истина не всегда принадлежит одному из них, истинна может быть и где-то посередине. В случае противоречивых высказываний истинна принадлежит одному и только одному из них.
Закон достаточного основания – согласно этому закону, для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание. Всякая истинная мысль должна быть достаточно обоснованна. В настоящее время выделяется достаточное условие (основание, необходимость), которое не является достаточным, но тем не менее не противоречит закону, это что-то ранее доказанное, аксиомы, леммы, данные эксперимента и т.д.
В логике логическим законом считается всякая тождественно-истинная формула.