В основе логических операций и рассуждений/умозаключений лежат законы мышления. Правильное мышление подчиняется логическим зако­нам, изучаемым логикой. Логический закон представляет собой необходимую, существенную, устойчивую связь между мыслями в рассуждении. Логические законы – это законы логической связи между понятиями и суждениями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления.

Логические законы, которым подчиняется логическое мышление, имеют нормативный характер. Это применяемые нормативные правила построения логического мышления; в широком смысле логический закон – это термин, применяемый для обозначения любой «общепринятой» нормы и формулы правильного рассуждения. Итак, логические законы – это объективно существующие и применяемые нормативные правила построения мышления. Само понятие о логическом законе восходит к древнегреческому понятию о logos как предпосылке объективной правильности рассуждения.

Логические законы отражают в мышлении человека определенные отношения, существующие между предметами объективного мира или такие свойства предметов, как устойчивость, определенность, несовместимость в одном и том же предмете одновременного наличия и отсутствия одних и тех же признаков. Законы логики яв­ляются законами правильного мышления, но не являются законами развития самих предметов объективного мира. Эти законы представляют собой отра­жение объективного мира в субъективном сознании человека, поэтому их нельзя отменить или за­менить другими.

При этом логические законы имеют общечеловеческий характер: они едины для всех людей. Эти законы сложились исторически, будучи итогом многовековой практики познавательной деятельности. В логических законах выражены устойчивые и существенные признаки внутренней структуры мыслительного процесса, исторически сложившейся на основе объективных свойств и отношений природного мира. Они удостоверяют универсальные связи мышления и общие принципы любой мыслительной дея­тельности. Они отражают такие основные признаки логически правильного мышления, как определенность, четкость, непротиворечивость, обоснованность мышления. Они функцио­нируют в мышлении как принципы правильного рассуждения.

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

Изучение логических законов образует исходный пункт логического анализа приемлемых или правильных способов рассуждений/умозаключений, поскольку само понятие приемлемое или логически правильное рассуждение уточняется, верифицируется через понятие логического закона.

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

Эти четыре базовых логических закона выражают необходимые связи между мыслями в рассуждении, используются при оперировании понятиями и суждениями, приме­няются в умозаключениях и доказательствах; первые три из них были открыты Ари­стотелем, четвертый – Лейбницем. Сама логика является философской наукой о формах и законах правильных рассуждений.