НЕПРОТИВОРЕЧИВОСТЬ

НЕПРОТИВОРЕЧИВОСТЬ
НЕПРОТИВОРЕЧИВОСТЬ
— отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ). Согласно т.н. классической логике, нарушение постулата Н. делает возможным доказательство в системе идей, в частности в научной теории, любого утверждения. Это если и не лишает такую систему всякой ценности, то заставляет локализовать противоречие и предпринять усилия по его устранению. Внутренне противоречивое мышление принято считать иррациональным.
Вместе с тем мышление коллективистических обществ и их идеологов (см. ИНДИВИДУАЛИСТИЧЕСКОЕ ОБЩЕСТВО И КОЛЛЕКТИВИСТИЧЕСКОЕ ОБЩЕСТВО ) склонно не только ограничивать фундаментальное требование Н., но даже выдвигать несовместимое с ним положение о противоречии как источнике всякого движения, в т.ч. движения мышления. Два утверждения «Тело находится в данном месте» и «Тело не находится в данном месте» составляют логическое противоречие. Однако Г.В.Ф. Гегель писал в своей «Философии истории»: «Двигаться означает быть в данном месте и в то же время не быть в нем, следовательно, находиться в обоих местах одновременно; в этом состоит непрерывность времени и пространства, которая единственно только и делает возможным движение». Гегель лишь продолжал интеллектуальную традицию, сложившуюся в средневековом, умеренно коллективистическом обществе (Псевдо-Дионисий Ареопагит, П. Дамиани и др.): познание наиболее глубоких истин, в частности познание небесного мира и его связей с земным миром, стоит выше требования Н. Из рус. философов эту идею пытался развить С.Л. Франк, понимавший, однако, что мышление, нарушающее требования логики, не является рациональным, и вводивший в связи с этим понятие особой, трансрациональной истины: «Она есть непостижимое, логически невыразимое единство познаний, которые в сфере отвлеченно-логического синтеза остаются безусловно несогласимыми». Развиваемая Гегелем, марксизмом и марксизмом-ленинизмом особая теория мышления — диалектика основывается на явно декларируемом или молчаливом отрицании требования Н. или ограничении его действия сферой «повседневного мышления».
Допущение противоречий в коллективистическом мышлении означает, что рациональность такого мышления, постоянно апеллирующего к диалектике, принципиально отличается от рациональности индивидуалистического мышления.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.

НЕПРОТИВОРЕЧИВОСТЬ
        совместимость, корректность, выполнимость, свойство системы предложений к.-л. теории (или системы формул некоторого исчисления), заключающееся в том, что из этих предложений (формул) с помощью логич. средств данной теории (соответственно правил вывода данного исчисления) нельзя вывести противоречие, т. е. пару предложений, каждое из которых является отрицанием другого (в формальных исчислениях — формулу А&А, т. е. конъюнкцию произвольной формулы А и её отрицания, интерпретируемую как «А и не-А»). Термин «Н.» употребляют преим. по отношению к совокупности некоторых (содержательно понимаемых или формальных) аксиом или же по отношению ко всей теории (исчислению), базирующейся на данных аксиомах, т. е. к совокупности всех предложений (формул), выводимых из них. Применительно к широкому классу теорий и исчислений, для которых справедлив принцип «из лжи следует любое предложение» или к.-л. его формальный аналог (напр., импликация А&А В), Н. равносильна наличию хотя бы одного невыводимого предложения (недоказуемой формулы). Это свойство, с одной стороны, показывает важность понятия Н. (не обладающие свойством Н. противоречивые теории действительно некорректны, тривиальны, бессодержательны, поскольку любое их предложение — как содержательно истинное, так и содержательно ложное — равно оказывается «доказуемым», т. е. понятие доказательства в них совершенно обесценивается), а с другой — может быть положено в основу самого понятия Н., позволяя определить его как наличие в данной системе хотя бы одного недоказуемого предложения (или формулы). Каждая содержат. логич. или математич. теория предполагается непротиворечивой. Однако обнаружение парадоксов (антиномий, противоречий) в теории множеств (а следовательно, и во всей базирующейся на ней т. н. классич. математике) показало нетривиальность проблемы Н., её важность, трудность и глубину для логики и математики. Трактовка понятия Н. и пути разрешения связанных с ним трудностей существенно различны в различных школах оснований математики и логики.
        см. Логицизм, Формализм, Интуиционизм, Конструктивное направление.
        см. такжестатьи Аксиоматический метод, Метатеория и лит. к ним.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

НЕПРОТИВОРЕЧИВОСТЬ
в логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории (или системе знания) не могут одновременно выводиться некоторое предложение и его отрицание. Нарушение этого требования делает возможным в такой теории доказательство любого предложения и приводит к потере ею своей научной ценности, т.е. фактически к ее разрушению. Положение о логической непротиворечивости требует неукоснительной последовательности рассуждения.

Философский энциклопедический словарь. 2010.

НЕПРОТИВОРЕЧИВОСТЬ
свойство дедуктивной (в частности, формальной) теории, содержащей понятие (символ) отрицания, состоящее в том, что в ней не доказуемо никакое противоречивое предложение (формула; в дальнейшем под "предложением" будут пониматься как высказывания, выражающие суждения, так и формулы исчислений), т.е. предложение вида А&А ("А и не-А"), или (что то же самое) в ней нельзя доказать двух теорем, одна из к-рых является отрицанием другой (термин "Н." относят иногда и к недедуктивным теориям – в таком же смысле, но с заменой понятия "доказуемость" на к.-л. др. подходящее к рассматриваемому случаю понятие; аналогичным образом говорят о Н. концепций, точек зрения и т.п., подразумевая под этим отсутствие – или невозможность – противоречия). Наличие (или возможность) противоречия (противоречивость) дедуктивной теории, построенной в соответствии с логикой, включающей принцип А&A⊃B ("из противоречия следует любое утверждение") и правило modus ponens: А, A⊃BВ, означало бы, что любое предложение, сформулированное на языке этой теории, доказуемо (т.е. является ее теоремой). Подавляющее большинство дедуктивных теорий строится на основе классич. логики или интуиционистской логики (см. Логика высказываний, Интуиционизм), включающих указ. принцип, так что для таких теорий наличие недоказуемого предложения может быть принято за определение Н. В этом случае становится более отчетливым значение понятия Н. – теория, в к-рой доказуемо любое утверждение, не представляет никакого практич. интереса, поскольку доказуемость есть в нек-ром смысле реализация (более или менее приблизительная) интуитивных, содержательных представлений об истинности. Если логика рассматриваемой дедуктивной теории не содержит принципа А&A⊃B, но включает все принципы минимальной логики, то, поскольку в последней содержится (доказуем) принцип А&A⊃B ("из противоречия следует отрицание любого утверждения"), противоречивость такой теории делает ее по существу столь же бессодержательной, как и в классич. и интуиционистском случаях, т.к. всякое ее предложение оказывается опровержимым. Если, наконец, рассматривать еще более ограниченные дедуктивные теории, основанные на не содержащей отрицания положительной логике, то для них первые два из данных выше определений Н. теряют смысл, но третье (существование недоказуемого предложения) сохраняет силу и также является необходимым условием их (теорий) "осмысленности" (понимаемой как соответствие к.-л. "содержательной ситуации", не всякое утверждение о к-рой является истинным). Н. дедуктивной теории есть д о с т а т о ч н о е условие того, чтобы она могла представлять "практический" (в том или ином смысле) интерес: Н. означает логическую возможность ситуации, описываемой этой теорией. Поскольку описываемая теорией "ситуация" лежит в н е самой теории, упоминавшееся до сих пор понятие в н у т р е н н е й (или с и н т а к с и ч е с к о й, или л о г и ч е с к о й) Н. оказывается тесно связанным, с т.н. в н е ш н е й (или с е м а н т и ч е с к о й) Н., заключающейся в том, что в теории не доказуемо никакое предложение, противоречащее фактам той (реальной или воображаемой) "действительности", к-рая отображается этой теорией (роль "действительности" при этом может играть к.-л. др. дедуктивная теория, и тогда внешнюю Н. можно понимать как Н. относительно этой теории – как о т н о с и т е л ь н у ю Н.). Конечно, понятия внутренней и внешней Н. не совпадают – хотя бы потому, что верное в "действительности" предложение вовсе не обязательно должно быть доказуемо в рассматриваемой теории (см. Полнота). В то же время понятия эти тесно связаны: согласно теоремам Гёделя о полноте предикатов исчисления и теоремам Лёвенхейма – Сколема о существовании с ч е т н о й м о д е л и, каждая непротиворечивая дедуктивная теория (основанная на классич. исчислении предикатов) выполнима в области натуральных чисел (т.е. имеет в этой области интерпретацию, или модель). Т.о., из внутр. Н. достаточно широкого класса теорий вытекает их внешняя Н. (интерпретируемость, или, как иногда говорят, реализуемость). Метод интерпретаций (моделей), построенных средствами к.-л. др. теории, Н. к-рой в силу к.-л. соображений предполагалась известной (или фигурировала в качестве гипотезы для условного утверждения), долгое время был единств. способом доказательства Н.
Обнаружение парадоксов (антиномий) теории множеств (средствами к-рой, в конечном счете, строились все модели в доказательствах относительной Н.) обусловило потребность в новых, принципиально отличных от метода интерпретаций, методах доказательства "абсолютной" (внутренней) Н., к-рые сами являлись бы в известном смысле абсолютными. Именно в порядке удовлетворения этой потребности возникла новая логико-матем. дисциплина, названная м е т а м а т е м а т и к о й (о к-рой подробнее см. Метатеория, Метод аксиоматический). (Проблема доказательства Н. встала и по отношению к логическим исчислениям, играющим осн. роль в предложенной Расселом и Уайтхедом логицистич. программе обоснования математики – см. Логицизм, Типов теория.) Однако, как показал К. Гёдель (1931), для достаточно богатых (содержащих арифметику и, тем более, теорию множеств) дедуктивных теорий, использующих лишь "финитные" (т.е. состоящие из конечного числа шагов – ср. Бесконечная индукция) правила вывода, их Н. непременно влечет за собой их неполноту. Из этой т.н. 1-й теоремы Гёделя получается важное следствие (2-я теорема Гёделя), согласно к-рому Н. такого рода теорий может быть доказана лишь средствами, не отобразимыми в самих этих теориях; для таких теорий разрешения проблема также оказывается неразрешимой (о гносеологич. значении результатов Гёделя см. Метатеория). Впрочем, и после результатов Гёделя сохранили свое значение доказательства относительной Н., важными примерами к-рых являются результаты Гёделя о Н. (совместимости) аксиомы выбора и обобщенной континуум-гипотезы (1940) и П. С. Новикова (1943, 1951), а также тесно связанная с Н. проблема независимости аксиоматических теорий и отдельных аксиом.
Интунционисты и представители конструктивного направления в математике и логике, в отличие от последователей концепции Гильберта (и логицистов), придают Н. гораздо меньшее значение, не считая ее, прежде всего, достаточным основанием для признания осмысленности дедуктивной теории. (Это, впрочем, не помешало им получить ряд интересных и глубоких результатов о взаимной относительной Н. интуиционистских и классич. теорий – ср. Интуиционизм.) Вообще для исследований последних лет в области оснований математики характерно перенесение внимания с проблем Н. на др. вопросы, в частности связанные с семантикой логико-матем. исчислений. Все отчетливее проявляется тенденция к ревизии устоявшихся представлений о Н. (по крайней мере в рассматривавшемся до сих пор смысле этого понятия) как необходимом атрибуте любой матем. теории. Так, в рамках развиваемой сов. математиком А. С. Есениным-Вольпиным т.н. ультраинтуици- онистской концепции, в ходе осуществления к-рой ему удалось получить (выходящее за рамки арифметизируемых теорий и не подверженное потому возражениям, связанным с результатами Гёделя) обоснование (Н.) нек-рых систем теории множеств, проводится мысль об о т н о с и т е л ь н о с т и понятия Н. и др. понятий традиц. математики и метаматематики и о возможности плодотворного использования для матем. нужд теорий, противоречивых в традиц. смысле, но с т. зр. указ. концепции содержащих лишь "кажущиеся" (не осуществимые допускаемыми этой концепцией методами) противоречия. Осн. роль в этих рассмотрениях играют: отказ от характерного для всей традиц. математики (включая интуиционистскую и конструктивную) абс. признания абстракции потенциальной осуществимости и даже абстракции отождествления, допущение о существовании различных неизоморфных между собой натуральных рядов (противоречащее общепринятым представлениям лишь постольку, поскольку последние исходят из молчаливого допущения о категоричности системы аксиом натурального ряда, т.е. об изоморфизме натуральных рядов), отказ (в связи со сказанным) от абс. признания принципа математической индукции, с одной стороны, и пользование (в метатеории) бесконечной индукцией – с другой, и т.п. Все эти идеи существ. образом связаны с анализом и пересмотром вопросов, относящихся к модальностям, далеко выходящими за традиц. рамки модальной логики.
В математической логике наряду с Н. рассматривается также понятие ω-непротиворечивости (ω-Η.). Теория, содержащая арифметику, наз. ω-противоречивой, если для нек-рого свойства Ρ натуральных чисел в этой теории доказуемо каждое из предложений Р(0), P(1), ..., Ρ(n) [т.е. "0 обладает свойством Р", "1 обладает свойством Р", ..., "n (для любого n) обладает свойством Р" ... ] и, кроме того, доказуемо предложение ∀nР(n) ["не все n обладают свойством Р" ], что в классич. исчислении предикатов эквивалентно ∃nР(n) – "существует n, не обладающее свойством Р". ω-противоречивость теории не обязательно влечет ее противоречивость; примером ω-противоречивой, но непротиворечивой теории может служить любая непротиворечивая, включающая арифметику, теория, не содержащая символа Р, расширенная затем за счет введения этого символа нечетного множества теорем ∀nР(n),Р(0),Р(1), Первый пример такой теории был указан А. Тарским. ω-Η. была одним из предположений в первонач. доказательстве 1-й теоремы Гёделя [амер. математику Дж. Б. Россеру (1936) удалось усилить теорему Гёделя, заменив в ней условие ω-Η. на более слабое условие H. ].
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется библ.); Гёдель К., Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств, пер. с англ., "Успехи матем. наук", 1948, т. 3, вып. 1 (23); Novikoff P. S., On the consistency of certain logical calculus, "Матем. сборник", 1943, т. 12 (54), No 2; его же, О непротиворечивости некоторых положений дескриптивной теории множеств, "Тр. Матем. ин-та АН СССР", 1951, т. 38; Gentzen G., Die Widerspruchsfreiheit der reinen Zahlentheorie, "Mathematische Annalen", 1936, Bd 112, H. 4; eго же, Beweisbarkeit und Unbeweisbarkeit von Anfangsfδllen der transfiniten Induktion in der reinen Zahlentheorie, там же, 1943, Bd 119, H. 1; Hilbert D. und BernaysP., Grundlagen der Mathematik, Bd 1–2, В., 1934–39; Gφdel К., άber formal unentscheidbare Sδtze der Principia Mathematica und verwandter System I, "Monatsh. Math. und Physik", 1931, Bd 38.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Поможем написать курсовую
Синонимы:

Антонимы:

Полезное


Смотреть что такое "НЕПРОТИВОРЕЧИВОСТЬ" в других словарях:

  • непротиворечивость — непротиворечивость …   Орфографический словарь-справочник

  • НЕПРОТИВОРЕЧИВОСТЬ — совместимость, отсутствие противоречия логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… …   Большой Энциклопедический словарь

  • непротиворечивость — согласованность, совместимость, соответствие; логичность. Ant. противоречивость Словарь русских синонимов. непротиворечивость сущ., кол во синонимов: 1 • логичность (12) …   Словарь синонимов

  • НЕПРОТИВОРЕЧИВОСТЬ — англ. non contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суж дении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете, взятом в одно и то же… …   Энциклопедия социологии

  • непротиворечивость —         НЕПРОТИВОРЕЧИВОСТЬ свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений. В логических… …   Энциклопедия эпистемологии и философии науки

  • непротиворечивость — Отсутствие в базах данных, либо частях одной и той же базы сведений, которые бы противоречили друг другу. [Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса] [http://www.morepc.ru/dict/] Тематики информационные технологии в… …   Справочник технического переводчика

  • непротиворечивость — совместимость, отсутствие противоречия  логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… …   Энциклопедический словарь

  • Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …   Википедия

  • непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что …   Словарь терминов логики

  • непротиворечивость — ▲ согласованность ↑ логический непротиворечивость логическая согласованность; отсутствие противоречий; непротиворечие; условие существования. непротиворечивый (# теория). последовательность. последовательный (# вывод). логичный (# упрек).… …   Идеографический словарь русского языка


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»