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

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

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

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

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

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

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

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

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

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

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

Соблюдение требований закона тождества имеет важное значение в работе юриста, требующей употребления понятий в их точном значении.

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

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

Данное требование является справедливым не только в русле логики, но и в других науках, поэтому данный закон носит всеобщий характер.

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

Два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.

Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой

 (р ^ р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под  р – отрицание высказывания р, знак  перед всей формулой – отрицание двух высказываний, соединенных знаком конъюнкции.