Наименование: | Противоречие. |
Определение: | Противоречие — это два высказывания, из которых одно является отрицанием другого. |
Раздел: | Концепты философского дискурса Концепты научного дискурса |
Дискурс: | Философия Наука |
Субдискурс: | Логика |
Связанные концепты: | Логическое противоречие Парадокс |
Текст статьи: © В. А. Бочаров. А. И. Симонов. Подготовка электронной публикации и общая редакция: © Центр гуманитарных технологий. Ответственный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 29.07.2025. | |
Противоречие — это два высказывания, из которых одно является отрицанием другого. Если два высказывания находятся в отношении противоречия, то одно из них эквивалентно отрицанию другого. При использовании понятий истины и лжи понятие противоречия подразумевает утверждение об одновременной истинности и ложности какого-либо высказывания. В этом смысле два высказывания находятся в отношении противоречия, если они не совместимы по истинности и не совместимы по ложности. Существует различие между логическими и диалектическими противоречиями. Логические противоречия рассматриваются в формальной логике (см. Логика формальная), диалектические — в диалектической логике. Диалектическое противоречие подразумевает взаимосвязь и взаимодействие противоположностей в составе целого, в котором они взаимополагают, взаимопроникают и одновременно взаимоисключают друг друга. Таким образом, диалектическое противоречие — это единство взаимополагающих и одновременно взаимоисключающих противоположностей, показывающее, что источником любого предмета выступают взаимоисключающие тенденции, составляющие его сущность, его внутренне необходимые качества. Поэтому, с точки зрения теории материалистической диалектики данное противоречие служит всеобщим источником движения и развития. Логическое противоречие (см. Логическое противоречие) — это утверждение одновременного наличия некоторой ситуации A и отсутствия этой ситуации. В языке выражается утверждением A и Обычно логическое противоречие состоит из трёх структурных элементов: некоторого суждения, его отрицания и показателя соистинности суждений, используемых в определённом высказывании или утверждении. В общем виде противоречие может быть описано следующей формулой: A и Впервые научное значение логических противоречий было подчёркнуто Аристотелем, который показал, что любое подлинно научное знание должно быть непротиворечивым, то есть в нём не должно одновременно утверждаться предложение А и Методологическое значение логических противоречий состоит в том, что их обнаружение в некоторой теории (см. Теория), основанной на какой-либо стандартной, например классической, логике означает, что в такой теории нельзя отличить ложные утверждения от истинных, так как в ней из противоречия оказывается доказуемым всё, что угодно. Поэтому для науки важную роль играют метатеоретические доказательства непротиворечивости теорий. В истории познания известны многочисленные случаи, когда обнаружение логических противоречий в той или иной теории затрагивало столь фундаментальные основания всего знания, что вызывало коренную его перестройку. К числу таких противоречий относится парадокс Лжеца, парадоксы наивной теории множеств, в частности парадокс Рассела, и многие другие, известные как логические и семантические парадоксы (см. Парадокс). Противоречие-парадокс — особый вид противоречия. Любое противоречие-парадокс, несмотря на внешне деструктивный характер, содержит в себе элемент утверждения. Очевидно, что подобные парадоксы не соответствуют интуиции и практике естественных человеческих рассуждений, которые при ближайшем рассмотрении оказываются некорректными. Поэтому обнаружение парадоксов указывает либо на необходимость изменения теорий, либо на необходимость введения в теории некоторых ограничений на способы их построения. Такие попытки привели к построению ряда неклассических логических теорий (см. Логики неклассические), возникновение которых связано с отказом от по крайней мере одного из классических принципов логики — принципа непротиворечия. В настоящее время под влиянием логических работ | |