Закон логики – это внутренняя, необходимая и существенная связь между мыслями в процессе рассуждения, рассматриваемая со стороны ее формы.

Происхождение законов мышления обязано рациональной активности человека. Выраженная в правилах, нормах и рекомендациях, целесообразная активность находит свое воплощение в принципах, имеющих всеобщий характер.

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

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

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

Еще одной особенностью законов логики является то, что их невозможно ни опровергнуть, ни подтвердить. Они представляют собой априорные, известные до всякого опыта истины. Исходя из этого, логические законы содержат только логические константы и переменные. Таким образом, они являются истинными в любой непустой области объектов. Какие бы конкретные высказывания не подставлялись в эти законы вместо переменных, всегда будут получаться истинные высказывания.

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

Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества:

Всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).

Закон тождества может быть выражен формулой р→р (если р, то р), где р – любое высказывание, → – знак импликации.

Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.

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

С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом «штраф» обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.