1.3 Законы логики
Логика является наукой, и как всякая наука она формулирует свои законы. Особенностью законов логики является их двойственный характер: с одной стороны, законы логики описывают основные свойства мышления, с другой стороны, законы логики можно нарушить, следовательно они носят нормативный характер, они предписывают определенные способы интеллектуальной деятельности.
Логические законы предъявляют некоторые требования к мышлению и интеллектуальной деятельности, преследующей цель достижения истинного знания. Это требования непротиворечивости, последовательности, определенности и обоснованности, они выражаются в логических законах.
-
Закон противоречия.
Этот закон также называют законом непротиворечия или же законом запрета противоречия. В этом законе содержится запрет противоречий в логическом рассуждении. В общем виде этот закон формулируется так: неверно, что вместе истинны некоторое суждение и его отрицание. Притиворечие можно записать в виде формулы:
Неверно, что А ^ -А, где А – суждение, не-А – отрицание, связка ^ (и) указывает на соистинность суждения и его отрицания.
Закон противоречия содержит в себе предписания непротиворечивости рассуждения, не допускает взаимоисключающих суждений в структуре одного рассуждения, требует выявлять скрытые и явные, а также реальные и мнимые противоречия.
Нарушение данного закона может привести к логическим ошибкам, связанным с наличием притиворечий в рассуждении, которые приводят к ложности всего рассуждения.
-
Закон тождества.
В общем виде закон тождества фрмулируется так: всякий предмет есть то, что он есть. Этот закон можно записать в виде формулы:
А≡А (А тождественно А), где А – предмет мысли.
В этом законе заложены требования: сохранять мысленное содержание предмета мысли на протяжении всего рассуждения, корректно определять термины рассуждения, различать формальное и содержательное тождество. Нарушение требований этого закона может привести к логическим ошибкам, связанным с употреблением синонимов и омонимов.
3. Закон исключенного третьего.
Если есть два суждения, из которых одно оказывается отрицанием второго, то одно и только одно из них является истинным – так в общем виде формулируется данный закон.
Этот закон показывает, что взаимоисключающие суждения содержат в себе логическую ошибку, следовательно, если есть суждения А и не-А, одно из них обязательно оказывается истинным, а другое – ложным и третьего не дано (tertium non datur).
Этот закон можно записать в виде формулы:
А v –А (или А, или не-А, где А – суждение, не-А - отрицание)
Требования к рассуждению, выдвигаемые в этом законе заключаются в необходимости сделать выбор между А и не-А по признаку истинности, в запрете выбора в качестве альтернативы какого-либо третьего суждения.
-
Закон достаточного основания.
Этот закон формулируется так: всякое верное положение должно быть обоснованным. То есть для всякого суждения, встречающегося в рассуждении, должны быть известны основания для определения истинности и ложности, все посылки рассуждения должны быть обоснованны, при чем обоснованием является любая характеристика посылок по истинности (истина, ложь, вероятностный характер).
Этот закон можно записать в виде формулы:
А → В ( если А, то В, где А, В – суждения)
Выявив предмет логики как науки, уяснив соотношение языка и мышления, рассмотрев законы логики, мы можем вывести следующее определение: логика – это нормативная наука о формах и приемах рациональной познавательной деятельности, осуществляемой с помощью языка.
Знание правил и соблюдение законов логики гарантирует истинность построения рассуждения, то есть истинность формальной стороны рассуждения (что дает основание называть эту часть логической теории формальной логикой), однако не гарантирует правильность содержания рассуждения, поскольку истинность содержания является соответствием наших знаний с действительностью. Однако несоблюдение законов логики приводит к заведомо неправильным рассуждениям. Нарушение законов логики может быть сознательным и невольным. Сознательно спланированное нарушение законов логики с целью введения собеседника в заблуждение называется софизмом. В отличие от софизмов, паралогизмы являются невольно допускаемыми нарушениями законов логики.
Многие софизмы были сформулированы еще в Древней Греции профессиональными учителями мудрости – софистами. Знаменитые софизмы «Рогатый», «Лжец», «Покрытый» построены на нарушениях законов логики. Софизм «Рогатый» построен на нарушении закона тождества. Софист спрашивает у слушателя: «Ты не терял рогов?», тот отвечает «Нет, не терял». Из этого софист делает заключение: «Значит ты их имеешь!» В этом софизме происходит подмена понятий: вместо понятия «то, что ты не терял, из того, что ты имеешь» используется понятие «то, что не потерял», не учитывая, имел слушатель это или нет.
Знание теории логики и приемов логического анализа, умение рассматривать мысль не только со стороны ее содержания, но и со стороны ее построения (логической формы), помогает человеку избегать неясности, непоследовательности и противоречивости, помогает строить правильные рассуждения - которые ведут к истинному знанию.