Д. Шадрин - Логика

Закон тождества (a є a). Чтобы дать его характеристику, прежде необходимо понять, что же такое тождество вообще. В наиболее общем смысле под тождеством понимают равнозначность, одинаковость.

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

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

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

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

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

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

Закон непротиворечия.Вероятно, каждый в своей жизни сталкивался с ситуацией, когда предмет, о котором он брался рассказать, оказывался настолько трудным, что скоро нить рассуждений ускользала и в мыслях начиналась путаница. Это происходит из-за того, что предмет недостаточно известен рассказчику или он не осуществил необходимой подготовки. Как только теряется ясная «дорожка» рассуждения, начинаются противоречия. Рассуждающий может, зачастую сам того не замечая, высказывать противоречащие суждения одно следом за другим. Именно о недопустимости противоречия между сказанным ранее и сказанным вновь и говорит закон непротиворечия. Также противоречием является приписывание одному и тому же предмету свойств, ранее отвергнутых, и наоборот. Такое противоречие называют формально-логическим.

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

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

Для более полного уяснения вопроса следует привести примеры. Для начала рассмотрим схематичные отражения противоречащих суждений: «Ни одно S не есть Р» и «Некоторые S есть Р»; «Все S есть Р» и «Некоторые S не есть Р»; «Это S есть Р» и «Это S не есть Р». Как можно заметить, все три приведенные пары суждений являются, соответственно, общими, частными и единичными, а также контрадикторными (т. е. типа A и не-А). Суждения «Юрий Гагарин является космонавтом, который первым полетел в космос» и «Юрий Гагарин не является космонавтом, который первым полетел в космос» – это противоречащие суждения.