Закон непротиворечия в логике примеры
Содержание
Закон непротиворечия в логике примеры
Под логическим законом Аристотель, который, к слову, первым сформулировал три из четырех законов формальной логики, подразумевал предпосылку к объективной, «природной» правильности рассуждения. Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:
- Закон тождества – А = А, или А ⊃ А;
- Закон непротиворечия – A ∧ A;
- Закон достаточного основания – А ⊃ В.
- Закон исключенного третьего – A ∨ A;
Стоит помнить, что такое обозначение во многом условно и, как отмечают ученые, не всегда в полной мере способны раскрыть суть самих законов. Аристотель в своей «Метафизике» указывал на тот факт, что размышление невозможно «если не мыслить каждый раз что-нибудь одно». Большинство современных учебных материалов закон тождества формулирует так:
«Любое высказывание (мысль, понятие, суждение) на протяжении всего рассуждения должно сохранять один и тот же смысл»
.
Пример закона противоречия логика
Используя понятие «логический принцип», мы обращаем внимание на необходимость учёта реальной устойчивости внутренней структуры правильного мыслительного процесса.
Тем самым та же самая часть знания, которая накоплена человечеством в области логики, в зависимости от акцентирования внимания на её объективной или субъективной составляющей, рассматривается и в качестве законов, и в качестве принципов правильного мышления.
В традиционной логике среди множества законов, как необходимых, существенных и устойчивых связей мыслей в рассуждении, принято выделять так называемые основные законы логики (иногда они же и принципы правильного мышления).
Основные формально-логические законы
Они называются основными потому, что носят наиболее общий характер и определяют собой действие других неосновных законов, которые могут выступать как форма их проявления:
- закон распределенности терминов в суждении;
- закон обратного отношения объема и содержания понятия;
- закон распределенности терминов в суждении;
- закон двойного отрицания;
- законы построения умозаключения.
- закон двойного отрицания;
- законы построения умозаключения.
- закон обратного отношения объема и содержания понятия;
Закон тождестваЛюбая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Закон тождества:
- всякая мысль в процессе познания должна быть тождественна
Закон непротиворечия
Например: «Земля — планета Солнечной системы» и «Земля — не планета Солнечной системы», «Все преступления совершаются с умыслом» и «Ни одно преступление не совершается с умыслом».
Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно, и наоборот.
Например, если суждение
«Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи»
истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащими
Закон непротиворечия (закон противоречия)
Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.
Например, два суждения: «Сократ высокий», «Сократ низкий» (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий — это не низкий, и наоборот), — не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, то есть если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком.
Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например он сравнивается одновременно с
Объясняем 4 главных закона логики на простых примерах
Мы часто слышим фразы вроде «это нелогично» и «где тут логика». Интуитивно понятно, что логика — это что-то про наши рассуждения, выводы, структуру мыслей. В целом так и есть. Логика — это наука, которая появилась в V веке до нашей эры и изучает законы и форму мышления.
Под формой мышления понимают структуру мысли, а не её содержание. Например, с точки зрения логики выражение «Все шмумрики хжуют тофц с штецеллой на фафлак. Финкус — шмумрик. Финкус хжует тофц с штецеллой на фафлак» абсолютно верно, а «Все планеты Солнечной системы вращаются вокруг Солнца. Земля вращается вокруг Солнца. Следовательно, Земля — планета Солнечной системы» — нет.
Вся логика «живёт» на четырёх законах. Разберёмся, какие это законы и как они работают.
1. Закон тождества
Каждая мысль должна быть равна самой себе, не должна иметь больше одного значения.
В чём суть
Еще до нашей эры Аристотель говорил: «…Иметь не одно значение — значит не иметь ни одного значения; если же у слов нет (определённых) значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности и с самим собой, ибо невозможно ничего мыслить, если не мыслить каждый раз что-нибудь одно».
Примеры нарушения
Самый популярный пример нарушения закона тождества — фраза «студенты прослушали лекцию». Слово «прослушали» можно понять в двух значениях: то ли студенты внимательно слушали преподавателя, то ли всё пропустили.
Примером нарушения закона тождества будет и эта шутка:
— Я сломал руку в двух местах.
— Больше не ходи в эти места.
В результате немного более сложных нарушений закона тождества получаются софизмы. Софизм — это внешне правильное доказательство ложной мысли с помощью преднамеренного нарушения логических законов.
Что лучше: вечное блаженство или бутерброд? Конечно же, вечное блаженство. А что может быть лучше вечного блаженства? Конечно же, ничто! Но бутерброд ведь лучше, чем ничто, поэтому бутерброд лучше вечного блаженства.
Подвох здесь в том, что слово «ничто» употребилось сначала в значении «ни один предмет или явление», а потом в значении «отсутствие чего-либо»
Как применять в жизни
Первый закон логики поможет распознать софизмы. Первое, на что стоит обращать внимание, — неоднозначные слова.
2. Закон противоречия
Высказывание и его отрицание не могут быть одновременно истинными.
3. Закон исключённого третьего
Два противоречащих суждения об одном и том же предмете в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными
Пример нарушения
Суждения «кот старый» и «кот нестарый» об одном и том же котике в одно и то же время не могут быть одновременно верными.
4. Закон достаточного основания
Любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана какими-либо аргументами, причём эти аргументы должны быть достаточными для основания исходной мысли, то есть она должна вытекать из них.
4 закона логики
В поле зрения логики как науки о познавательной деятельности пребывают не только формы мышления, но и отношения, возникающие между ними в мыслительном процессе.
Дело в том, что не каждая совокупность понятий, суждений, умозаключений дает возможность построить эффективное размышление. Для него обязательными атрибутами являются последовательность, непротиворечивость, обоснованная связь.
Эти аспекты, необходимые для эффективных размышлений, призваны обеспечить логические законы.
В тренинге логического мышления на нашем сайте, мы даем короткую характеристику основным логическим законам. В этой статье рассмотрим 4 закона логики более детально, с примерами, ведь, как справедливо отметил автор учебника по логике Никифоров А. Л.: «Попытка нарушить закон природы способна убить вас, но точно так же попытка нарушить закон логики убивает в вас разум».
Логические законы
Чтобы избежать искаженного представления о предмете статьи, укажем, что, говоря об основных законах логики, мы имеем в виду законы формальной логики (тождества, непротиворечия, исключенного третьего, достаточного основания), а не логики предикатов.
Логический закон – внутренняя существенная, необходимая связь между логическими формами в процессе построения размышления. Под логическим законом Аристотель, который, к слову, первым сформулировал три из четырех законов формальной логики, подразумевал предпосылку к объективной, «природной» правильности рассуждения.
Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:
- Закон тождества – А = А, или А ⊃ А;
- Закон непротиворечия – A ∧ A;
- Закон исключенного третьего – A ∨ A;
- Закон достаточного основания – А ⊃ В.
Стоит помнить, что такое обозначение во многом условно и, как отмечают ученые, не всегда в полной мере способны раскрыть суть самих законов.
2. Закон непротиворечия (противоречия)
Формально-логический закон непротиворечия основывается на доводе, что два несовместимых друг с другом суждения не могут быть одновременно истинными; как минимум одно из них ложно. Оно вытекает из понимания содержания закона тождества: в одно время, в одном отношении истинными не могут быть два суждения о предмете, если одно из них что-нибудь утверждает о нем, а второе это же отрицает.
Сам Аристотель писал: «Невозможно, чтобы одно и то же одновременно было и не было присуще одному и тому же, в одном и том же смысле».
Разберемся с этим законом на конкретном примере – рассмотрим следующие суждения:
- Каждый посетитель сайта 4brain имеет высшее образование.
- Ни один посетитель сайта 4brain не имеет высшего образования.
Для того, чтобы определить какое высказывание истинно, обратимся к логике. Можем утверждать, что одновременно оба высказывания быть правдивыми не могут, поскольку являются противоречивыми.
Из этого следует, что если доказать истинность одного из них, то второе обязательно будет ошибочным. Если же доказать ошибочность одного, то второе может быть как истинным, так и неправдивым.
Чтобы узнать правду, исходные данные достаточно проверить, например, с помощью метрики.
По сути, этот закон запрещает утверждать и отрицать одно и то же одновременно. Внешне закон противоречия может показаться очевидным и вызвать справедливое сомнение по поводу целесообразности выделения столь простого вывода в логический закон. Но здесь есть свои нюансы и связаны они с природой самих противоречий.Так, контактные противоречия (когда что-либо утверждается и отрицается почти в одно и то же время, например, уже следующим предложением в речи) более чем очевидны и практически не встречаются.
В отличие от первой разновидности, дистантные противоречия (когда между противоречивыми суждениями находится значительный интервал в речи или тексте) – более распространенные и их нужно избегать.
Чтобы эффективно использовать закон противоречия достаточно правильно учитывать условия его употребления. Основным требованием является соблюдение в высказываемой мысли единства времени и отношения между предметами.
Другими словами, нарушением закона непротиворечия не может считаться утвердительное и отрицательное суждения, которые относятся к разному времени или употребляются в разных отношениях. Приведем примеры.
Так, высказывания «Москва – столица» и «Москва – не столица» могут быть одновременно правильными, если мы говорим в первом случае о современности, а во втором – об эпохе Петра I, который, как известно, перенес столицу в Санкт-Петербург.
В плане разности отношений истинность противоречивых суждений можно передать на таком примере: «Моя подруга хорошо владеет испанским языком» и «Моя подруга плохо владеет испанским языком».
Оба утверждения могут быть истинны, если в момент речи в первом случае говорится об успехах в изучении языка по университетской программе, а во втором о возможности работы профессиональным переводчиком.
Таким образом, закон противоречия фиксирует отношения между противоположными суждениями (логическими противоречиями) и никаким образом не касается противоположных сторон одной сущности. Его знание необходимо для дисциплины процесса мышления и исключения возможных неточностей, которые возникают в случае нарушения.
3. Закон исключенного третьего
Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.
Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать».
Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.Очевидно, что закон непротиворечия и закон исключенного третьего тесно связаны. Действительно, те суждения, которые подходят под действие закона исключенного третьего, подходят и под закон непротиворечия, но не все суждения последнего, попадают под действие первого.
Закон исключенного третьего применим к таким формам суждений:
- «А есть В», «А не есть В».
Одно суждение утверждает что-либо о предмете в одном и том же отношении в одно время, а второе – то же самое отрицает. Например: «Страусы – птицы» и «Страусы – не птицы».
- «Все А есть В», «Некоторые А не есть В».
Одно суждение утверждает что-либо относительно всего класса предметов, второе – отрицает это же, но относительно лишь некоторой части предметов. Например: «Все учащиеся группы ИН-14 сдали сессию на отлично» и «Некоторые учащиеся группы ИН-14 не сдали сессию на отлично».
- «Ни одно А не есть В», «Некоторые А есть В».
Одно суждение отрицает характеристику класса предметов, а второе эту же характеристику утверждает в отношении некоторой части предметов. Пример: «Ни один житель нашего дома не пользуется Интернетом» и «Некоторые жители нашего дома пользуются Интернетом».
Позже, начиная с эпохи Нового времени, закон был раскритикован. Известная формулировка, применявшаяся для этого: «Насколько верно утверждать, что все лебеди черные, исходя из того, что нам до сих пор встречались только черные?».
Дело в том, что закон применим лишь в аристотелевской двузначной логике, которая основывается на абстракции.
Поскольку ряд элементов бесконечен, проверить все альтернативы в подобного рода суждениях очень сложно, здесь требуется применение других логических принципов.