Основные законы мышления

Закон мышления – это необходимая, существенная, устойчивая связь между мыслями. Наиболее простые и необходимые связи между мыслями выражаются законами тождества, непротиворечия, исключенного третьего, достаточного основания.Эти законы лежат в основе различных логических операций с понятиями и суждениями, используются в ходе умозаключений и доказательств. Законы логики имеют общечеловеческий характер: они едины для всех культур. Эти законы сложились в результате многовековой практики человечества, но они являются законами мышления, а не законами самих вещей и явлений мира. Первые три закона были сформулированы Аристотелем,четвертый закон был сформулирован Лейбницем.Аристотелевы законы логически связаны: каждый последующий вытекает из предыдущего. Четвёртый закон имеет самостоятельное значение. Кроме этих четырёх постулатов существует много других формально-логических законов (каждая формула, каждое правило логики – это закон), которым должно подчиняться правильное мышление.

Закон тождества формулируется так: любая мысль должна оставаться тождественной себе в процессе всего рассуждения. Тождественность себе означает неизменность. Математическое выражение закона тождества:а=а. Логическая константа, присутствующая в этой формуле, называется эквиваленцией. В мышлении закон тождества выступает в качестве нормативного правила. Оно означает, что нельзя подменять одно суждение (либо понятие) другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные. Нарушения закона тождества делятся на две разновидности: софизм (умышленное нарушение закона тождества) и паралогизм (неумышленное нарушение). Вариантами нарушения закона тождества являются такие распространенные логическиие ошибки как подмена понятия и подмена тезиса.

Соблюдение требований закона тождества имеет большое значение в практической деятельности. Не случайно требование соблюдать закон тождества закреплено, например, в Уголовно-процессуальном кодексе Российской Федерации.

Закон непротиворечия: два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении. Этот закон является запретом на формально-логические противоречия, как на признаки путаного, неправильного рассуждения. Математическое выражение закона непротиворечия: (а & а). Логическая постоянная, присутствующая в этой формуле, называется конъюнкцией. Формально-логическое противоречие возникает тогда, когда пытаются считать истинными суждения, не совместимые между собой, либо одновременно утверждается и отрицается одно и то же суждение. Подобные логические затруднения называются «сведением к абсурду». Закон непротиворечия не исключает одновременной ложности противоположных (контрарных) суждений.

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

Закон исключенного третьего формулируется так: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Математическое выражение третьего закона логики:этот закон выражается формулами: «или р, или не-р»; «либо р, либо не-р» (истинно либо р, либо отрицание р). Логическая константа, присутствующая в этой формуле, называется дизъюнкцией. Противоречащими суждениями (контрадикторными, взаимноотрицающими) являются следующие пары простых суждений:

1. «Данное S есть P» и «Данное S не есть P» (единичные суждения)

2. «Все S есть P» и «Некоторые S не есть P» (суждения А и О)

3. «Ни одно S не есть P» и «Некоторые S есть P» (суждения Е и I)

Закон исключенного третьего предполагает чёткий выбор одной из двух взаимоисключающих альтернатив. Третий закон логики позволяет строить особый тип доказательства – доказательство от противного.

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

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

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