Что такое логический закон и логические ошибки

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

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

Если попытаться дать более строгое определение, то:

Логический закон – это определённая логическая форма, благодаря которой высказывание в целом принимает значение «истина», независимо от конкретного содержания его частей.

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

Логические противоречия – полная противоположность логическим законам, то есть это такая логическая форма, при которой высказывание в целом всегда принимает значение «ложь», независимо от содержания его частей.

Содержание:

• Таблицы истинности
• Логические законы
• Закон тождества
• Закон противоречия
• Закон исключения третьего
• Проверочные вопросы на усвоение материала

Таблицы истинности

Как же определить, что определённое высказывание всегда принимает значение «истина» или «ложь»? Логики придумали для этого очень удобный метод, который получил название «таблиц истинности». Как понятно из названия, они представляют собой таблицы, в которых в верхнюю строку записывается логическая форма высказываний, а в столбцы под каждым компонентом записываются их истинностные значения. Давайте построим таблицу истинности для высказывания «Идёт дождь».

Здесь всё довольно ясно: «Идёт дождь» – это простое высказывание, которое может принимать значение либо «истина», либо «ложь». Обычно для удобства логики сокращают значения до «и» и «л», а само высказывание записывают маленькой буквой латинского алфавита: p, q, r, s и т.д. Поэтому в классическом виде таблица истинности для одного простого высказывания будет выглядеть так:

Давайте теперь представим, что у нас есть два высказывания: «Идёт дождь» и «Светит солнце». Пока они никаким образом не связаны между собой. Однако поскольку их уже два, то у нас возможны уже не две, а четыре комбинации: оба высказывания истинны, оба высказывания ложны, истинно либо первое, либо второе высказывание. Таблица истинности для них будет включать уже четыре строки для значений.

Если у нас есть три высказывания («Идёт дождь», «Светит солнце», «Трава зеленеет»), то таблица будет включать уже восемь строк для значений, так как в таком случае возможны восемь комбинаций.

Чем больше разных высказываний вы хотите рассмотреть, тем больше комбинаций из значений возможно. Число этих комбинаций для n высказываний вычисляется по формуле 2ⁿ. Так для четырёх высказываний, число комбинаций – шестнадцать, для пяти – тридцать два и т.д.

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

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

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

Логическое отрицание используется, когда в высказывании отрицается наличие некоторой ситуации в мире, говорится об её отсутствии. Например, «Дождь не идёт», «Комната была небольшой», «Неправда, что они друзья». В логике обычно передается через выражения «неверно, что p» или просто «не-p».

Как видно из таблицы, если высказывание истинно, то его отрицание будет принимать значение «ложь», если же высказывание само по себе ложно, то – «истина». Предположим, что вместо p мы имеем высказывание «Маргарет Тэтчер была первой и на настоящий момент единственной женщиной-премьер-министром Великобритании». Это истинное высказывание. Соответственно, если взять его отрицание: «Маргарет Тэтчер не была первой и на настоящий момент единственной женщиной-премьер-министром Великобритании», то оно будет ложным. Если же взять высказывание «Все болезни от нервов», которое является ложным, то его отрицание «Неверно, что все болезни от нервов» будет истинным.

Конъюнкция представляет собой одновременное утверждение наличия двух ситуаций. В естественном языке она обычно передаётся союзами «и», «а», «но» и конструкциями типа «в то же время», «одновременно», «вместе» и т.д. Примеры конъюнкции можно увидеть в высказываниях «Пошёл дождь, и я спрятался под навес», «Витя хотел пойти в кино, а я хотел поиграть в футбол», «Белкин ждал директора целый час, но так и не дождался». Как видно, конъюнкция соединяет два или более простых высказываний в одно сложное.

Конъюнктивное высказывание может быть истинным, только если все его части истинны. Если хотя бы одно простое высказывание, входящее в её состав ложно, то тогда и конъюнкция в целом ложна. Пример истинной конъюнкции: «44-го президента США зовут Барак, а его жену – Мишель». Все следующие высказывания будут ложными: «44-го президента США зовут Барак, а его жену – Мэгги», «44-го президента США зовут Борат, а его жену – Мишель», «44-го президента США зовут Джон, а его жену – Элен».

Дизъюнкция утверждает, что хотя бы одна из двух или более ситуаций имеет место. В естественном языке она выражается словами «или» и «либо». Примеры дизъюнктивных высказываний: «Маша была замужем за Анатолием или за Николаем», «Он работает над проектом ИК-25 либо ПФ-40». Хотя это не так очевидно, как в случае с конъюнкцией, дизъюнкция также объединяет в одно сложное высказывание два или более простых высказывания. Если мы выявляем логическую форму, то правильной была бы запись: «Маша была замужем за Анатолием, или Маша была замужем за Николаем».

Из таблицы понятно, что дизъюнкция ложна, только когда все простые высказывания, входящие в её состав ложны. К примеру, ложным будет высказывание «Уганда находится в Центральной Америке или Западной Европе». Когда хотя бы одна из частей дизъюнкции истина, она в целом также будет истинной. Например, истинным является высказывание «Нот всего семь или шесть». При этом важно отметить, что выражение «хотя бы одна» подразумевает, что и обе части могут быть истинными. Иллюстрацией может служить следующее высказывание: «Велосипеды бывают двухколёсными или трёхколесными». Велосипеды бывают и такими, и другими, поэтому высказывание истинно. Однако нередки случаи, когда мы хотим указать, что лишь одна из альтернатив истинна, но никак не обе вместе. Рассмотрим высказывание «Картина “Герника” принадлежит кисти Пикассо или Тициана». Здесь либо одно, либо другое. Они даже не могли написать её вместе, так как жили в разных веках. В таких ситуациях говорят о строгой дизъюнкции, которая будет истинна исключительно при истинности одного из её членов. Обычно она выражается словами «либо, либо».

Материальная импликация – это связка, которая передаёт отношения причинно-следственной связи между высказываниями. Она выражается словами «если, то». «Если Люся – полная отличница, то и по математике у неё должна быть пятёрка». Смысл импликации состоит в том, что если первое простое высказывание верно, то и второе тоже будет верным.

Попробуем разобраться с этой таблицей. Проблема в том, что истинностные значения материальной импликации, в отличие от значений других пропозициональных связок, совсем не являются интуитивными. С первой строкой всё ясно: если первое высказывание верно, и второе высказывание верно, то импликация в целом тоже верна. Пример: «Если птицы улетают на юг, то, значит, наступила осень». Со второй строкой тоже всё более или менее понятно: если первое высказывание истинно, а второе ложно, то отношения следования между ними нет. Вспомните отрывок из «Золотого ключика», в котором Мальвина пытается научить Буратино арифметике:

– Предположим у вас в кармане два яблока, и некто забрал у вас одно из них. Сколько у вас останется яблок?
– Два.
– Но почему?
– Ведь я не отдам Некту яблоко, пусть он и дерись!

Рассуждения Буратино можно представить в виде высказывания «Если некто забрал одно из имеющихся у меня двух яблок, у меня всё равно осталось два яблока». Если первая часть истинна, то вторая, безусловно, ложна, а потому и импликация в целом ложна. Способностей к арифметике у Буратино, действительно, не было.

С последними двумя строчками дело обстоит сложнее. Проблема в том, что для них сложно придумать пример на естественном языке. Когда логики формулировали значение материальной импликации, они пользовались математическим примером. Они взяли высказывание «Для всякого числа верно, что если оно кратно 4, то оно кратно и двум». Если это высказывание верно для всякого числа, то оно должно быть верным и для любого конкретного числа: 5, 6, 8, 12 и т.д. Если подставить в высказывание 8, то получим: «если 8 кратно 4, то оно кратно и 2». Здесь и первая, и вторая части истинны. Мы получили первую строку. Если подставить число 6, «если 6 кратно 4, то оно кратно и 2», то мы получаем третью строку (первая часть ложна, а вторая истинна). Если подставить 5, «если 5 кратно 4, то 5 кратно и двум», то выходит последняя строка (обе части ложны). Однако мы всё же можем подобрать примеры для всех этих ситуации, поэтому импликация истинна. Но вот для второй строки пример подобрать нельзя: нет такого числа, которое было бы кратно 4, но некратно 2. Поэтому вторая строка ложна.

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

Логические законы

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

1

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

Закон тождества обычно формулируется в виде формулы «А есть А» или «Если А, то А».

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

Закон тождества также может быть сформулирован и в силлогистике для высказываний «Все А есть А» и «Некоторые А есть А»:

Какой бы термин мы не подставили на место А, высказывания, имеющие эти формы, всегда будут истинными: «Все кошки – это кошки», «Все туфли – это туфли», «Некоторые автомобили – это автомобили», «Некоторые дома – это дома» и т.п.

Как понятно из названия этого закона, он говорит о том, что А тождественно самому себе. Что это означает? Смысл этого закона состоит в утверждении того, что языковые выражения (будь то термин или целое высказывание) не могут менять своё значение в процессе рассуждения. Языковые знаки должны трактоваться однозначно, их употребление должно быть стабильным. Если я утверждаю, что какое-то высказывание истинно, например, что высказывание «Красота спасёт мир» истинно, я не могу следующим шагом утверждать, что оно ложно. И наоборот, если я утверждаю, что какое-то высказывание ложно, оно не может вдруг ни с того ни с сего превратиться в истинное. Рассуждение должно быть последовательным.

Чаще всего закон тождества нарушается при так называемой подмене понятий: в ходе рассуждения используется один и тот же термин, но значения в него вкладываются каждый раз разные. К примеру, возьмём следующее рассуждение: «Знание – сила. Сила – это векторная физическая величина, мера интенсивности воздействия на данное тело других тел и полей. Следовательно, знание – это векторная физическая величина, мера интенсивности воздействия на данное тело других тел и полей». Такое рассуждение не может быть верным, так как здесь нарушен принцип тождества: термин «сила» употребляется в первом и втором предложении в разных значениях.

2

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

Закон противоречия гласит: неверно, что А и не-А.

Построим таблицу истинности.

В первом столбце даны значения А («истина» и «ложь»). Соответственно, мы просто копируем эти значения в третий столбец. Значения для не-А в пятом столбце будут прямо обратными для значений А, поэтому получаем «ложь», «истина». В четвёртом столбце располагается конъюнкция между А и не-А. Она не может быть истинной ни в одном из случаев. Поэтому её значение всегда «ложь». Наконец, второй столбец представляет значение выражения полностью – это отрицание конъюнкции между А и не-А. Поскольку конъюнкция ложна, то её отрицание будет истинным. В итоге, мы видим, что выражение в целом всегда истинно.

Если же мы возьмём выражение типа «А и не-А», то оно как раз будет представлять собой противоречие. Из таблицы мы видим, что такое выражение всегда будет принимать значение «ложь».

Согласно закону противоречия (иногда его называют законом непротиворечия) невозможно,  чтобы одновременно оказались истинными высказывание и его прямое отрицание: неверно, что снег идёт и в то же время не идёт, неверно, что Катя любит ананасы и не любит ананасы. Важно сделать следующее замечание: противоречия возникает только тогда, когда утверждение и отрицание делаются об одном и том же объекте, в одно и то же время, в одном и тот же отношении. Например, высказывания «Снег идёт на Северном полюсе, но снег не идёт в Зимбабве», «Толя ходил в кино вчера, а сегодня не ходил», «Катя любит ананасы, а Петя не любит ананасы», «Вася любит кататься на коньках и не любит кататься на лыжах» не являются противоречиями. Все они говорят либо о разных предметах, либо о разных временных отрезках, либо о разных аспектах одного предмета. Поэтому не всё, что выглядит как противоречие, действительно является таковым. Такие кажущиеся противоречия называют мнимыми. Пример мнимого противоречия можно найти в дзенской притче «Бокудзю и ручей»:
 

Один дзэнский монах, Бокудзю, говорил: «Иди и пересеки ручей, но не позволяй воде прикоснуться к тебе». 
А через ручей около его монастыря не было никакого моста. Многие пытались сделать это, но когда они пересекали ручей, то, конечно же, вода прикасалась к ним. Поэтому однажды один монах пришел к нему и сказал: 
— Вы задали нам неразрешимую задачу. Мы пытаемся пересечь этот ручей; через него нет никакого моста. Если бы был мост, то мы, конечно же, пересекли бы ручей, и вода не прикоснулась бы к нам. Но мы вынуждены идти через поток, и вода прикасается к нам. 
И Бокудзю сказал: 
— Я пойду и пересеку его, а вы наблюдайте. 
И Бокудзю пересёк ручей. Вода, конечно, прикоснулась к его ногам, и они сказали: 
— Смотрите, вода прикоснулась к вам! 
Бокудзю сказал: 
— Насколько я знаю, она не прикоснулась ко мне. Я был просто свидетелем. Вода прикоснулась к моим ногам, но не ко мне. Я был просто свидетельствующим.

Между тем, чтобы пересечь ручей без моста и не позволить воде прикоснуться к себе, нет противоречия, потому что в данном случае человеческое я рассматривает в разных отношениях: как тело, и как дух. Тело проходит через ручей и намокает, но дух остаётся безмятежным и не затронутым водой.

Как и закон тождества, закон противоречия требует от нас быть последовательными в рассуждениях. Либо мы принимаем, что высказывание истинно, либо мы принимаем, что оно ложно, но не то и другое вместе. Смешение истины и лжи приводит к тому, что всё рассуждение обесценивается, так как мы уже не можем быть уверены в сделанном выводе. Противоречия опасны потому, что с точки зрения логики из них можно вывести всё что угодно, то есть высказывание формы «Если А и не-А, то В» всегда будет истинным. Вы можете сами проверить это с помощью таблицы истинности. «Если дождь идёт, и дождь не идёт, то Чехов – автор “Войны и мира”». Если допускать противоречия, подобное «рассуждение» оказывается возможным. Поэтому логика ставит запрет на противоречия.

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

Обычно появление противоречия – это знак того, что в рассуждение где-то закралась ошибка. Исправление этой ошибки, снимет и противоречие. Ошибка может скрываться в сделанных умозаключениях, но может содержаться и в изначально избранных посылках. По этой причине приведение к противоречию играет ключевую роль в так называемых доказательствах от противного. Наверное, все помнят их со школьных уроков геометрии. Доказательство от противного строится на том, что нужно обосновать какой-то тезис, но прямое его доказательство найти не получается. Тогда берётся его отрицание, и в определённый момент рассуждения мы наталкиваемся на противоречие, а это знак того, что отрицание тезиса было неверным. Так что противоречие может играть и позитивную роль в рассуждении.

В заключение, добавим, что в советской философии, превозносившей Маркса и Гегеля, появилось целое направление под названием «диалектическая логика», которая якобы допускала наличие противоречий и даже оценивала их положительно. Такая точка зрения строилась на том, что противоречия – это источник движения и развития, а потому это хорошо, если мы сталкиваемся с ними. Ещё и сегодня можно встретить людей, которые придерживаются подобного мнения. Однако нужно понимать, что речь здесь не идёт о противоречии в логическом смысле (как форме высказывания, которое при любой интерпретации принимает значение «ложь»). Скорее, под противоречием тут следует мыслить несовместимость, плохую сочетаемость ситуаций, феноменов, характеров и т.д. Так во Франции конца XVIII века желание буржуазии участвовать в политической жизни страны плохо сочеталось с формой правления абсолютной монархии, что в итоге привело к буржуазной революции. Можно сказать, что между ними возникло противоречие, но это не имеет никакого отношения к логике.

3

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

Закон исключённого третьего имеет следующую форму: А или неверно, что А.

Построим таблицу истинности:

Если А принимает значение «истина» и «ложь», то «неверно, что А» соответственно будет принимать значения «ложь» и «истина». Их дизъюнкция всегда будет истинной.

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

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

Кроме того, с законом исключённого третьего нужно быть аккуратными ещё и потому, что значения высказываний во многих случаях определяются относительно конкретного контекста. Помните Ивана и его детей из прошлого урока? Вполне можно было бы сказать в соответствии с законом исключённого третьего: «Дети Ивана либо лысы, либо нет, третьего не дано». Но ни одна из этих альтернатив не может нас удовлетворить, так как у Ивана нет детей. Таким образом, прежде чем применять закон исключённого третьего, сверьтесь с контекстом высказывания.

Законы тождества, противоречия и исключённого третьего фундаментальны и выполняются в любых логических системах. Без соблюдения этих законов невозможно делать правильные умозаключения. Иногда к ним присоединяют ещё так называемый закон достаточного основания. Этот закон гласит, что любое утверждение должно быть корректно обосновано. Хотя это очень важный принцип, на котором должны базироваться любые рассуждения, законом в собственно логическом смысле он не является, так как не представим в виде логической формы, которая при любой трактовке принимала бы значение «истина». Скорее, это общее требование, вытекающее из самой идеи логичного рассуждения, целью которого как раз и является обоснование тезиса путём правильных умозаключений. О том, как правильно делать умозаключения, мы начнём рассказывать в следующем уроке. 

Проверьте свои знания

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

← 4 Суждение в логике6 Умозаключения →

Наверное, нет человека, который не использовал бы слово «логика». Умозаключения, кажущиеся нам правильными, мы называем «логичными». А если кто-то поступает странно, мы говорим, что в его действиях отсутствует логика. Но на самом деле, логика это не только разумный ход рассуждений. Это целая наука, изучающая, как из одних суждений следует истинность или ложность других. Сегодня мы поговорим о том, что она собой представляет, какие законы логики и формы логического мышления существуют, а также выясним, какие функции выполняет эта наука.

Что такое логика?

Логика – это наука о формах, приёмах и операциях мышления, позволяющих устанавливать или опровергать истинность определенных утверждений, исходя из заведомо известных фактов. Сложно сказать точно, когда она возникла. Отдельные элементы логики присутствуют в работах древнегреческих, древнекитайских и древнеиндийских мыслителей 6-5 веков до н. э., но первым её основные принципы сформулировал Аристотель в 4 веке до н. э.

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

Термин «логика» образован от греческого слова λόγος (логос – мысль, слово, причина). Сегодня у него есть два основных значения. Им может обозначаться как научная дисциплина, изучающая закономерности мыслительных процессов и логических построений, так и совокупность правил, которых необходимо придерживаться при построении непротиворечивых умозаключений.

Объект и предмет логики

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

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

Формы логического мышления

Форма мышления – это структура мысли, определяющая взаимосвязи между отдельными её элементами.

Существует три основных формы мышления:

1. Понятие. Это мысль о конкретном объекте, явлении или свойстве. Это может быть кто-то одушевленный (другой человек), что-то материальное (автомобиль) или нематериальное (любовь).
2. Суждение. Это цепочка взаимосвязанных понятий. К примеру, у нас есть понятие о том, что ответственность – это хорошо. И если мы думаем о том, что какой-то человек ответственный – это суждение, состоящее из двух понятий (человек + качество).
3. Умозаключение. Это вывод, который делается на основе нескольких суждений и при этом содержит в себе новую информацию. К примеру, если мы знаем, что наш знакомый является ответственным человеком, мы можем сделать вывод, что ему можно доверять.

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

Законы логики

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

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

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

К примеру, утверждение «Выучить новый язык можно, общаясь с носителями на житейские темы» истинно в отношение английского или испанского языка, но слабо применимо к языкам программирования. Подобная подмена понятий является одним из грубых нарушений закона тождества. В данном примере она очевидна, но в некоторых случаях она используется как успешный демагогический приём.

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

Этот закон (называемый также «законом противоречия») гласит, что два высказывания, противоречащих друг другу, не могут быть истинными одновременно. Как минимум одно из них ложно. К примеру, если на столе лежит шар, полностью выкрашенный в один цвет, утверждения «Этот шар белый» и «Этот шар чёрный» не могут быть истинными одновременно. Но они оба вполне могут быть ложными, если шар, к примеру, красный.

Есть три основных типа логических противоречий:

1. Контактные. Это два несовместимых логических высказывания, следующих друг за другом.
2. Дистантные. Это взаимоисключающие высказывания, разделенные определенным интервалом.
3. Мнимые. Это кажущиеся противоречия, которых на самом деле нет, если понимать контекст, в котором делается утверждение (например, «Это красная смородина. А жёлтая она, потому что ещё зелёная»).

Контактные противоречия обычно не пытаются скрыть. Их используют сознательно, чтобы смягчить негативное высказывание («Ты хорошо справился, но это не совсем то, о чём я просил») или, наоборот, усилить его («Отлично! Ты опять всё испортил!»). Дистантные противоречия могут применять демагоги, чтобы запутать собеседника, но чаще их используют по ошибке неопытные или плохо подготовившиеся ораторы.

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

Если одно суждение отрицает другое, то одно из них является ложным, а второе – истинным. Здесь важно не путать, что подразумевается под отрицанием.

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

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

Этот закон ввёл Готфрид Лейбниц. Его суть состоит в том, что для того, чтобы считать утверждение истинным, необходимо располагать однозначными доказательствами, исключающими другие варианты. В повседневной жизни люди пренебрегают этим законом логики чаще, чем любым другим, делая однозначные выводы по косвенным фактам.

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

Нарушение законов логики

Когда законы логики нарушаются, возникают логические ошибки. Существует три основных типа логических ошибок:

• паралогизмы – ошибки, возникающие в результате непреднамеренного нарушения законов логики;
• софизмы – логические ошибки, возникающие в результате намеренного нарушения законов логики;
• парадоксы – ошибки, возникающие не из-за нарушения законов логики, а из-за неясности некоторых принципов.

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

В качестве примера можно привести «Парадокс кучи». Его суть состоит в следующем: если из кучи гравия убрать 1 камешек, куча останется кучей, однако если продолжать этот процесс, то в какой-то момент куча перестанет существовать. Противоречие здесь в том, что убирание одного (любого!) камня не должно приводить к исчезновению кучи. И всё же она исчезает именно от того, что из неё убирают один камень. Причина этого парадокса в том, что не сформулирована взаимосвязь между количественными и качественными характеристиками кучи.

Другой пример логической ошибки – известная апория Зенона про Ахиллеса, который никогда не догонит черепаху. Условие парадокса специально формулируется так, чтобы исключить из рассмотрения точку пути, в которой атлет обгоняет черепаху. В результате доказательство того, что он не сможет этого сделать, не противоречит законам логики. Ошибка заложена в самой формулировке задачи, в которой неявно присутствует условие «На отрезке до точки X».

Виды логики

Объясняя, что такое логика, обычно говорят в первую очередь о формальной логике. При этом существует ещё два раздела, фактически являющихся самостоятельными дисциплинами: математическая (символическая) логика и диалектическая логика. Рассмотрим каждый из разделов подробнее.

1. Формальная логика

Формальная логика – это научная дисциплина, изучающая структуру и истинность утверждений. Её создателем считается Аристотель (4 век до н. э.), рассматривавший её как возможность оперировать формальными фактами, абстрагируясь от их природы и содержания. Это позволяет обеспечить логическую правильность суждений, поскольку анализу подвергается только структура утверждения, но не его содержание.

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

2. Математическая логика

Изначально это была часть формальной логики, но в 19 веке она выделилась в самостоятельный раздел (при этом в ней по-прежнему соблюдаются все принципы формальной логики). Она пополнилась новыми математическими методами и специализированными нотациями. Благодаря этому символическая логика превратилась в мощный инструмент, применяемый современными науками при решении задач и доказательстве теорий.

Данная модель делает процесс познания более точным, поскольку в ней слова естественных языков с размытым смыслом заменяются формальными определениями, исключающими двусмысленность и размытость суждений. Все суждения математической логики формулируются на точном языке, не допускающем неоднозначных трактовок. Для таких языков чётко определена семантика (значения терминов) и синтаксис (совокупность формул или правил построения объектов языка).

3. Диалектическая логика

Это философская дисциплина, изучающая мышление вообще. Её основателем считается немецкий философ Георг Гегель (1770-1831). Она основывается на формальной логике, и всё же в ней учитывается содержание явлений, объектов и процессов. В ней используются такие принципы как:

• принцип объективности;
• принцип всесторонности;
• принцип историзма (выявление закономерностей в истории рассматриваемого объекта);
• принцип конкретности (принятие в расчёт особенностей конкретного объекта и условий его существований).

Зачем нужна логика?

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

1. Познание. В любой науке все накопленные знания взаимосвязаны между собой логическими связями. Часть этих знаний получена эмпирически, а часть – благодаря теоретическому анализу с использованием логики.
2. Разрешение спорных ситуаций. В любой сфере жизни могут возникать спорные ситуации, в которых сталкиваются противоположные точки зрения. И найти истину помогает логический анализ. К примеру, судебное разбирательство строится на применении формальной логики для поиска истины и определения степени правоты каждой из сторон.
3. Продуктивное общение. Общаясь с кем-то, мы стараемся излагать свои мыли логично, чтобы быть понятыми однозначно. При этом мы рассчитываем, что наш собеседник руководствуется теми же правилами логического мышления, что и мы.
4. Поиск ответов. В любой сфере знаний при поиске ответов, решений и доказательств используются правила формальной или математической логики.

Заключение

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

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

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

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

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

Эти важнейшие свойства правильного
мышления в логике выражают законы,
называемые в общей формальной логике
основными: закон тождества, закон
противоречия, закон исключенного
третьего и закон достаточного основания.
Их называют основными, во-первых, потому,
что они имеют место в функционировании
мышления в какой бы логической форме
оно не протекало и какую бы логическую
операция не выполняло; и во-вторых, они
определяют собой действия других, так
называемых, неосновных законов. Неосновные
законы – это законы, связанные лишь с
определенной логической формой. Но без
действия этих законов нельзя уяснить
ни связь суждений, ни логического
следования, ни доказательства. Они
формулируются в логике в виде правил,
схем построения мысли, и будут
рассматриваться во всех последующих
разделах при анализе основных форм
мышления.

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

Закон тождества. В этом законе
выражается коренное свойство правильного
мышления: его определенность. Объективным
основанием действия этого закона в
мышлении выступает качественная
определенность самих предметов и
явлений. Суть этого закона: одна и та
же мысль не может быть сама собой и иной.
Иными словами, мысль не может не
быть определенной, однозначной,
тождественной себе. Его наиболее
общая формула: А есть А или А≡А,
где «А» – любая мысль.

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

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

1. Каждое понятие, суждение должно
   употребляться в одном и том же определенном
   смысле и сохранять его в процессе всего
   рассуждения.

2. Нельзя отождествлять различные мысли
   и нельзя тождественные мысли принимать
   за различные.

Когда эти требования нарушаются, то
возникают многочисленные логические
ошибки (называемые по разному: «смешение
понятий», «подмена тезиса» и т.д.),
рождающие неопределенность, хаотичность,
бессмыслицу в мышлении. Яркие примеры
нелогичного, раздвоенного мышления
можно найти в произведениях художественной
литературы. Возьмите яркую картину
вранья Хлестакова, в которой Гоголь
показал раздвоенность и бессмысленность
его речей; неожиданные переходы в мыслях
Алисы и других героев Льюиса Кэрролла
в «Приключениях Алисы в стране чудес».

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

Закон противоречия. Этот закон
выражает такую черту правильного
мышления, как его последовательность,
непротиворечивость. В этом законе
выражается закономерность, действующая
в сфере логического противоречия.
Логическое противоречие – это две
несовместимые, взаимоисключающие мысли
об одном и том же объекте, который
рассматривается в одно и то же время и
в одном и том же отношении. Например:
«Марс – планета» и «Марс не является
планетой»; «Щедрый человек» и «Скупой
человек». Закономерность проявляется
в том, что такие мысли не могут быть
одновременно истинными. Одна из них
необходимо является ложной. Формула
этого закона: «Неверно, что А и не — А»,
где «А» – произвольное высказывание,
выражающее любую мысль.

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

Классический пример имеется в романе
И.Тургенева «Рудин»: «…Всякий толкует
о своих убеждениях и еще уважения к ним
требует, носится с ними…И Пигасов потряс
кулаками в воздухе.

• Прекрасно, — промолвил Рудин, — стало
  быть, по-вашему, убеждений нет?

• Нет – и не существует.

• Это ваше убеждение?

• Да.

• Как же вы говорите, что их нет. Вот вам
  одно на первый случай.

Все в комнате улыбнулись и переглянулись».

«Убеждения не существуют» и «Убеждения
существуют» – одновременное признание
того и другого одним и тем же человеком
и есть логическое противоречие.

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

Логические противоречия нередки в
юридической области. Это могут быть
противоречия внутри одного и того же
закона (между его разделами, статьями);
между отдельными законами, действующими
одновременно; между вновь принимаемым
законам и старым; между законом и
конституцией; между законами той или
иной страны и международными правовыми
актами.

Закон исключенного третьего. Этот
закон тесно связан с законом противоречия,
поскольку оба они выражают связь между
несовместимыми, взаимоисключающими
мыслями. Закон противоречия выражает
ту закономерность, что две таких мысли
не могут быть одновременно истинными,
одна из них необходимо ложна. Закон
исключенного третьего утверждает: два
взаимоисключающих суждения об одном и
том же объекте не могут быть одновременно
ложными, одно из них необходимо истинно.
Формула этого закона: «А или не – А»,
где «А» – любое суждение. Например:
«Дождь идет» или «Дождь не идет». Само
название закона выражает его смысл:
дело обстоит так, как говорится в
рассматриваемом суждении, или как
говорится в его отрицании, и никакой
третьей возможности нет. Так, человек
говорит прозой или не говорит прозой;
собака лает или собака не лает – других
вариантов не существует.

Перед человеком нередко возникает
дилемма: выбор из взаимоисключающих
альтернатив. Чтобы не оказаться в роли
буриданова осла (который согласно
легенде сдох с голода, ибо так и не мог
выбрать одну из двух охапок сена), следует
выполнять требование, вытекающее из
Закона исключенного третьего: выбор
одного из двух по принципу или – или, а
третьего не дано. Иными словами, при
решении альтернативного вопроса нельзя
уклоняться от определенного ответа,
ибо одна из альтернатив истинна. Подобную
интеллектуальную ситуацию гениально
выразил У.Шекспир словами Гамлета: «Быть
или не быть». Данный закон устанавливает
вполне определенные интеллектуальные
границы, в которых возможен поиск истины.
Эта истина заключена в одной из двух
отрицающих друг друга альтернативных
мыслей. За этими пределами ее искать не
имеет смысла.

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

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #