Этих основных законов логики всего четыре, вот они:

Основные законы классической логики

1. Закон тождества
2. Закон непротиворечия
3. Закон исключенного третьего
4. Закон достаточного основания

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

Рассуждая о каком-либо предмете, необходимо мыслить именно этот предмет с присущими ему существенными признаками. Мысль о предмете должна иметь определенное, устойчивое содержание, сколько бы раз она ни повторялась. Это важнейшее свойство мышления — его определенность — выражает закон тождества, согласно которому всякая мысль в процессе рассуждения должна быть тождественной самой себе.

Закон тождества обычно формулируется как «А есть А», или «всякий предмет есть то, что он есть», где под А понимается любая мысль. Данный закон содержит в себе несколько основных правил.

Из закона тождества вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.

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

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

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

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

Закон непротиворечия

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

В общем виде противоречие может быть описано следующей формулой: «неверно, что А и не-А», то есть неверно, что могут быть вместе истинными две мысли, одна из которых отрицает другую.

Закон противоречия действует в отношении всех несовместимых суждений — и противоположных (контрарных) и противоречивых (контрадикторных). Он указывает, что два несовместимых суждения не могут быть одновременно истинными, одно из них необходимо ложно. Что касается другого суждения, то оно может быть как истинным, так и ложным. Так из двух каких-либо контрарных суждений, одно может быть истинным, другое — ложным.

Однако ложными могут быть оба контрарных суждения.

Существует несколько форм противоречий:

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

К примеру, суждение «Иванов — отличник» и «Иванов — задолжник», если в контексте не оговорено, что речь идет об одном и том же субъекте, противоречием не является.

Диалектическое противоречие — противоречие развивающегося (изменяющегося) знания.

Противоречие-парадокс — особый вид противоречия. Известен парадокс Бертрана Рассела о парикмахере, который бреет только тех мужчин, которые не бреются сами. В итоге на вопрос о том, кто бреет парикмахера, нет ответа. Ибо если он бреет сам себя, то его не должен брить парикмахер (а он и есть парикмахер), и наоборот, если его бреет парикмахер, то он не должен брить сам себя. В шутливой форме здесь заложено противоречие-парадокс, которое подвело мину под фундамент математики — теорию множеств, так как, говоря о парикмахере и прочей публике, Б. Рассел имел в виду различные множества и подмножества. Тем самым данный парадокс выявил бессилие теории множеств. Любое противоречие-парадокс, несмотря на внешне деструктивный характер, содержит в себе элемент утверждения. Парадокс показывает, что есть факты, добытые наукой, которые не укладываются в рамки существующих теорий. Это требует смены и развития теории.

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

Закон исключенного третьего

Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений и формулируется следующим образом: два противоречивых (контрадикторных) суждения не могут быть одновременно ложными, одно из них необходимо истинно. Этот закон выражается формулой «А есть либо В, либо не-В».

Объединив закон исключенного третьего с законом непротиворечия, получим следующее положение: два противоречащих суждения не могут быть вместе истинными и не могут быть вместе ложными; одно из них необходимо истинно, другое необходимо ложно. Рассуждение ведется по формуле: «или — или» («либо — либо»). Третьего не дано.

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

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

Закон достаточного основания

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

Требование доказанности, обоснованности мыслей выражает закон достаточного основания, который формулируется следующим образом: всякая мысль признается истинной, если она имеет достаточное основание. Формула закона: «Если есть В, то есть и его основание А».

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

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

Источник — Институт дистанционного образования. Курс «Логика», тема 4. Законы классической логики