Непротиворечивость это:

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

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Синонимы:

Антонимы:

Смотреть что такое "Непротиворечивость" в других словарях:

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

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

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

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

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

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

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

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

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

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

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

Книги

Другие книги по запросу «Непротиворечивость» >>


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

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