5.1. Закон тождества

Закон тождества утверждает, что если высказывание истинно, то оно истинно. Следовательно, каждая мысль в процессе рассуждения должна оставаться тождественной самой себе. Это требование распространяется как на отдельные понятия, так и на другие формы мысли. Символически закон тождества можно представить формулами: 1) а ↔ а или 2) а → а.

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

Так как последние столбики в таблицах включают только значения «истинно», то действительно закон тождества есть закон логики.

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

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

Иногда закон тождества подменяют требованием сохранения определенности (устойчивости) мышления. Но эти требования не являются прямым выражением закона тождества. Например, призыв «Люди! Будьте осторожны!» нельзя рассматривать как логическую фиксацию какой-либо закономерности. Закон тождества ничего не говорит и о сущности вещей и о сущности бытия. Он не утверждает и не отрицает их изменчивость или, напротив, неизменчивость. Из него следует только то, что следует: а ↔ а («закон есть закон», «на войне как на войне» и т. п.) или а → а («если кошка серая, то она серая», «если веселиться, так веселиться» и т. п.).

Логические ошибки могут совершаться либо умышленно, либо неумышленно. Ошибки, совершаемые умышленно, называются уловками, логическими диверсиями (софизмами), а ошибки, совершаемые неумышленно, — паралогизмами.

В судебно-следственной практике применение закона тождества особенно важно при проведении процедур идентификации — отождествления друг с другом вещей, людей и даже событий.