Для признания чего-либо логичным или нелогичным должны существовать определенные законы, правила. Такие правила называются законами логики. Они определяют, являются ли рассуждения строгими и однозначными, последовательными, непротиворечивыми и обоснованными, и в случае, если рассуждения удовлетворяют всем вышеперечисленным требованиям, то они считаются логичными.
Основные правила были сформулированы еще Аристотелем, когда он разрабатывал понятие логики. Затем эти правила претерпели изменения и были дополнены и усовершенствованы.
Основными законами считаются закон тождества, закон непротиворечивости, закон исключенного третьего и закон достаточного основания. Они будут подробнее рассмотрены ниже.
Основные законы применимы для классической логики, для неклассической же логики, которая возникла как критика классической логики, основные правила обычно не применяются, для нее существуют свои правила и законы. Так, одним из примеров может считаться многозначная логика, которая предполагает существование не только истинных и ложных утверждений, но и возможность других истинностных значений, а значит, закон исключенного третьего в ней не соблюдается.