Кафедра общественных наук

Законы логики
Закон тождества
Закон тождества является одним из законов правильного мышления, соблюдение этого закона гарантирует определен­ность и ясность мышления. Закон формулируется так: «В процес­се определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе». В математической логике за­кон тождества выражается следующими формулами:
(в логике высказываний) и (в логике классов, в которой классы отождествляются с объемами понятий).
Схема закона тождества: . Если в нее вместо подставляются высказывания, то будет а если подставляются понятия, то будет
Тождество есть равенство, сходство предметов в каком-либо отношении. Например, все жидкости теплопроводны, упруги. Каждый предмет тождествен самому себе. В объективной реаль­ности тождество существует в связи с различием. Нет и не может быть двух абсолютно тождественных вещей (например, двух листочков дерева, близнецов и т. д.). Одна и та же вещь вчера и сегодня и тождественна, и различна. Так, например, внешность человека изменяется с течением времени, но мы его узнаем и считаем одним и тем же человеком. Абстрактного, абсолют­ного тождества в действительности не существует, оно означало бы прекращение развития. Но при известных условиях (в опреде­ленных границах) мы можем отвлечься от существующих раз­личий и фиксировать свое внимание только на тождестве пред­метов или их свойств.
В мышлении закон тождества выступает в качестве норматив­ного правила (принципа). Он означает, что в процессе рассужде­ния нельзя подменять одну мысль другой, одно понятие другим. Нельзя тождественные мысли выдавать за различные, а различ­ные — за тождественные.
Например, тождественными по объему будут такие три поня­тия: ученый, по инициативе которого основан Московский уни­верситет; ученый, сформулировавший принцип сохранения материи и движения; ученый, ставший с 1745 г. первым русским академиком Петербургской Академии наук, так как они обозна­чают одного и того же человека (М. В. Ломоносова), но дают различную информацию о нем.
Нарушение закона тождества приводит к двусмысленности, что можно видеть, например, в следующих рассуждениях: «Ноздрев был в некотором отношении исторический человек. Ни на одном собрании, где он был, не обходилось без истории» (Н. В. Гоголь). «Стремись уплатить свой долг, и ты достигнешь двоякой цели, ибо тем самым его исполнишь» (Козьма Прут­ков). Игра слов в этих примерах построена на употреблении омонимов.
В мышлении нарушение закона тождества проявляется тогда, когда человек выступает не по обсуждаемой теме, произвольно подменяет один предмет обсуждения другим, употребляет тер­мины и понятия не в том смысле, в каком это принято, не предупреждая об этом. Например, идеалистом иногда считают человека, верящего в идеалы, живущего ради высокой цели, а материалистом — человека меркантильного, стремящегося к наживе, к личному обогащению и т. д. Ф. Энгельс писал о понимании материализма филистером (т. е. обывателем, ме­щанином): «Под материализмом филистер понимает обжорство, пьянство, похоть, плотские наслаждения и тщеславие, корысто­любие, скупость, алчность, погоню за барышом и биржевые плутни, короче — все те грязные пороки, которым он сам преда­ется втайне»¹. В философии же, как известно, материализм — это направление которое первичным считает материю, а вто­ричным — сознание.
Иногда в ходе дискуссий спор по существу подменяют спором о словах. Иногда люди говорят о разных вещах, думая, что они имеют в виду одного и того же человека либо одну и ту же вещь или событие. Логические ошибки часто совершают при употреб­лении омонимов, т. е. слов, имеющих два значения («следствие», «материя», «содержание» и др.). Например, «Ученики прослушали разъяснения учителя», «Из-за рассеянности шахматист не раз на турнирах терял очки». Иногда ошибка возникает при использова­нии личных местоимений «она», «оно», «они», «мы» и т. д., когда приходится уточнять: «Кто — он?» или «Кто — она?». В резуль­тате отождествления различных понятий возникает логическая ошибка, называемая подменой понятия.
При нарушении закона тождества возникает и другая ошибка, называемая подменой тезиса. В ходе доказательства или опровер­жения выдвинутый тезис часто умышленно или неосознанно под­меняется другим. В научных и иных дискуссиях это проявляется в приписывании оппоненту того, чего он не говорил. Такие приемы ведения дискуссий недопустимы.
Прием подмены тезиса: вместо одного вопроса стремятся искусно подсунуть другой, чтобы отвлечь в нужный момент внимание читателя, наговорив кучу к делу не относящихся вещей, приписать противнику то, чего он не говорил, и т. д.
Отождествление (или идентификация) широко используется в следственной практике, например при опознании предметов, людей, сличении почерков, документов, подписей, отпечатков пальцев.
Закон тождества используется в науке, искусстве, в програм­мах для работы ЭВМ, в школьном преподавании, в повседневной жизни.
Такие понятия, как «один», «два», «три» и т. д., связаны с умением различать и отождествлять вещи, а это умение и ис­торически, и логически предшествует умению их считать. Закон тождества «а есть а» (а тождественно а) испокон веков относился людьми к логике.
В действительности абсолютного тождества в изменяющихся предметах нет. Но для того, чтобы отобразить движение в мыс­ли, мы должны прибегнуть к идеализации и упрощению дейст­вительности.
В науках существуют различные виды и модификации тож­дества. Так, например, в математике это равенство, эквивалент­ность (равномощность, равночисленность) множеств, конгруэнт­ность, тождественное преобразование, тождественная подстанов­ка и т. д.; в теории алгоритмов — одинаковость букв, устанав­ливаемая путем абстракции отождествления, равенство алфави­тов (А=В), равенство конкретных слов и т. д.
Равенства обладают свойствами рефлексивности (а = а), сим­метричности (если а = b, то b =а ) и транзитивности (если а = b и b = с, то а = с). К равенствам применимо правило замены равно­го равным.
Различие также имеет свои виды и модификации: неравенство, неэквивалентность (неравномощность) множеств и т.д.; в теории алгоритмов — различие букв, неравенство конкретных слов (на­пример, пустого и непустого слова) и др.