Смотреть больше слов в «Философской Энциклопедии»
совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё... смотреть
непротиворечивость согласованность, совместимость, соответствие; логичность. Ant. противоречивость Словарь русских синонимов. непротиворечивость сущ., кол-во синонимов: 1 • логичность (12) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: логичность Антонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость... смотреть
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим п... смотреть
НЕПРОТИВОРЕЧИВОСТЬ — свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу у... смотреть
- свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз... смотреть
свойство предложений некоторой теории (в случае аксиоматической теории - системы ее аксиом), заключающееся в невыводимости из них противоречия. Если о... смотреть
НЕПРОТИВОРЕЧИВОСТЬ — свойство предложений некоторой теории (в случае аксиоматической теории — системы ее аксиом), заключающееся в невыводимости из них <i>противоречия</i>.<i> </i>Если отрицание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. является обязательным требованием к научной и, в частности, логической теории. Противоречивая теория завело мо несовершенна: наряду с истинными положениями она включает также ложные, в ней что-то одновременно и доказывается, и опровергается. Во многих теориях имеет место <i>закон Дунса Скота</i>.<i> </i>В этих условиях доказуемость противоречия означает, что становится "доказуемым" все что угодно и понятие доказательства теряет смысл. Применительно к таким теориям требование Н. равносильно условию, что в теории имеется хотя бы одно недоказуемое высказывание. Н. одной теории может быть доказана через другую теорию, Н. которой гарантирована. Однако такое доказательство обладает лишь относительной убедительностью. Для простых теорий, таких, как <i>исчисление </i>высказываний, доказательство Н. не представляет труда. В более сложных теориях оно обычно сводится к интерпретации в терминах теории множеств. Для сложных теорий, напр. арифметики и самой теории множеств, отыскание подходящей теории, которая сама была бы непротиворечивой и вместе с тем могла бы использоваться для доказательства их Н., представляется задачей скорее всего безнадежной. Это указывает на нетривиальность проблемы Н., ее трудность и глубину. В реальных, достаточно сложных научных теориях, в том числе в теориях самой логики, могут встречаться противоречия. В связи с этим в последние десятилетия большое внимание привлекают логические системы, в которых из противоречия невыводимо произвольное высказывание. Обнаружение противоречия в опирающейся на такую систему теории не означает, что в ней становится доказуемым все что угодно (см.: <i>Паранепротиворечивая логика</i>). <br><br><br>... смотреть
совместимость, корректность, выполнимость, свойство системы предложений к.-л. теории (или системы формул нек-рого исчисления), заключающееся в том, что из этих предложений (формул) с помощью логич. средств данной теории (соответственно правил вывода данного исчисления) нельзя вывести противоречие, т. е. пару предложений, каждое из к-рых является отрицанием другого (в формальных исчислениях формулу А&А, т. е. конъюнкцию произвольной формулы А и её отрицания, интерпретируемую как «А и неА»). Термин «Н.» употребляют преим. по отношению к совокупности нек-рых (содержательно понимаемых или формальных) аксиом или же по отношению ко всей теории (исчислению), базирующейся на данных аксиомах, т. е. к совокупности всех предложений (формул), выводимых из них. Применительно к широкому классу теорий и исчислений, для к-рых справедлив принцип «из лжи следует любое предложение» или к.-л. его формальный аналог. Н. равносильна наличию хотя бы одного невыводимого предложения (недоказуемой формулы). Это свойство, с одной стороны, показывает важность понятия Н. (не обладающие свойством Н. противоречивые теории действительно некорректны, тривиальны, бессодержательны, поскольку любое их предложение как содержательно истинное, так и содержательно ложное равно оказывается «доказуемым», т. е. понятие доказательства в них совершенно обесценивается), а с другой может быть положено в основу самого понятия Н., позволяя определить его как наличие в данной системе хотя бы одного недоказуемого предложения (или формулы). Каждая содержат. логич. или математич. теория предполагается непротиворечивой. Однако обнаружение парадоксов (антиномий, противоречий) в теории множеств (а следовательно, и во всей базирующейся на ней т. н. классич. математике) показало нетривиальность проблемы Н., её важность, трудность и глубину для логики и математики. Трактовка понятия Н. и пути разрешения связанных с ним трудностей существенно различны в различных школах оснований математики и логики (см. Логицизм, Формализм, Интуиционизм, Конструктивное направление). См. также статьи Аксиоматический метод, Метатеория и лит. к ним.... смотреть
Отвес Отверстие Ось Ость Остров Остро Остричь Острие Остит Остин Остеречь Остер Остеон Остеит Ост Осот Осов Осип Осетр Осетин Осень Освоение Осветить Орь Ортоптер Ортит Орт Орс Орочон Ороч Оротрон Орнитоптер Орн Орион Ориентир Орест Оптрон Опт Опрос Опорочение Опорос Опор Опоение Опитость Опись Оперон Опереть Опереточность Ооо Оон Онер Овить Овист Овир Овин Овес Овен Нтр Нто Нтв Нпо Ночь Нотис Ность Ностро Носов Нос Нортроп Норовисто Норов Норит Ноотропить Новь Новотор Новость Ново Нить Нитро Нитрит Нит Нии Нечисть Нечисто Нечет Нетто Нетиповие Нети Нестор Нести Нертер Нерест Нереис Нерв Нер Непротиворечивость Непросто Неперов Непер Неостро Невро Неврит Невр Невпроворот Невис Неверов Невер Ичп Итр Истрин Истрепет Истерично Истереть Испить Испечь Исеть Ирпень Ирон Ипс Иприт Ипотечность Ионит Ион Иов Инь Интроверт Интерьер Интертип Интерес Интер Инст Инсерт Иночество Иностр Иноверие Инвестор Инвеститор Инвертор Инверсор Иврит Етерь Есь Есть Ерь Ерничество Ересь Енот Ение Евтерп Европеист Европ Евро Евр Вчетверо Вчертить Вчерне Втрое Вторичность Вторично Втечь Втереть Все Вровень Врио Впрочернь Впрост Впросонье Впросинь Впить Впитость Впетость Впереть Впереворот Востро Воспретить Воспеть Ворье Ворсит Ворс Воротить Воротин Ворот Воронь Воронов Ворон Вор Вопрос Вонь Вон Воинство Воин Вовсе Вовне Вносить Внос Вновь Внести Вне Вич Витье Вить Витторио Виттов Витт Витстон Витость Витин Витерит Вит Вист Висение Вис Вирион Вип Винчи Винчестер Винтер Винт Вино Винить Вини Винер Вие Виво Вивер Вечор Вечность Вечно Вечер Вече Веттерн Ветрочет Ветров Ветреность Ветрено Вето Ветер Ветвь Весь Весть Вести Вестерн Вест Отвесно Отвести Вес Вертеть Вертер Вертеп Верп Ответ Верньер Верность Верно Вернер Отво Отворение Отворот Отенить Отечество Отечность Отит Отнести Вепс Вепрь Оторопь Вентерь Вено Венет Веер Ввс Ввить Ввитость Ввести Ввертеть Отпереть Оторопение Оторв Относ Отереть Вервие Вервь Верес Верист Ответно... смотреть
1) Орфографическая запись слова: непротиворечивость2) Ударение в слове: непротивореч`ивость3) Деление слова на слоги (перенос слова): непротиворечивост... смотреть
▲ согласованность ↑ логический непротиворечивость - логическая согласованность;отсутствие противоречий; непротиворечие; условие существования.непроти... смотреть
НЕПРОТИВОРЕЧИВОСТЬ — одно из осн. требований, предъявляемых к знанию, в частности к научному: в каждой относительно обособленной с-ме знания не могут одновременно выводиться некоторое предложение и его отрицание. Нарушение этого требования той или иной научной теорией приводит к ее разрушению, т.к. в ней оказывается возможным доказать любое предложение. Положение о логической непротиворечивости касается способа представления знания и требует последовательности рассуждения.<br><br><br>... смотреть
в логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории (или системе знания) не могут одновременно выводиться некоторое предложение и его отрицание. Нарушение этого требования делает возможным в такой теории доказательство любого предложения и приводит к потере ею своей научной ценности, т.е. фактически к ее разрушению. Положение о логической непротиворечивости требует неукоснительной последовательности рассуждения. ... смотреть
в логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории (или системе знания) не могут одновременно выводиться некоторое предложение и его отрицание. Нарушение этого требования делает возможным в такой теории доказательство любого предложения и приводит к потере ею своей научной ценности, т.е. фактически к ее разрушению. Положение о логической непротиворечивости требует неукоснительной последовательности рассуждения.... смотреть
- англ. non-contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суж - дении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении. Antinazi.Энциклопедия социологии,2009 Синонимы: логичность Антонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость... смотреть
Ударение в слове: непротивореч`ивостьУдарение падает на букву: иБезударные гласные в слове: непротивореч`ивость
Никому еще не удавалось создать философию, которая была бы одновременно правдоподобной и внутренне непротиворечивой. К правдоподобию стремился Локк, но достиг его лишь за счет непротиворечивости. Большинство же великих философов поступали наоборот. Философия, не свободная от внутренних противоречий, не может быть полностью истинной, но непротиворечивая философия вполне может оказаться полностью ложной. ... смотреть
consistency* * *непротиворечи́вость ж. мат.consistency* * *consistencyСинонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, н... смотреть
двойственностьнесовместимостьнесовместностьнесовпадениепротиворечивостьразноречивостьСинонимы: логичностьАнтонимы: двойственность, несовместимость, не... смотреть
НЕПРОТИВОРЕЧИВОСТЬ, совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.<br><br><br>... смотреть
НЕПРОТИВОРЕЧИВОСТЬ - совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.<br>... смотреть
НЕПРОТИВОРЕЧИВОСТЬ , совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.... смотреть
f.consistencyСинонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость
НЕПРОТИВОРЕЧИВОСТЬ, совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.... смотреть
- совместимость, отсутствие противоречия - логическийкритерий корректности (правильности) некоторого утверждения, рассужденияили их совокупности (теории). Непротиворечивость исчисления означаетлогическую возможность его интерпретации и является необходимым условиемего практической реализуемости.... смотреть
- -англ. non-contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суждении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете , взятом в одно и то же время и в одном и том же отношении.... смотреть
непротивореч'ивость, -иСинонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость ... смотреть
相容性一致性无矛盾性Синонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость
непротиворечивостьСинонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость
consistencyСинонимы: логичностьАнтонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость
ж.consistency- абсолютная непротиворечивость- внутренняя непротиворечивость- непротиворечивость данных- относительная непротиворечивость
ж. non contradditorietà f; матем. coerenza f
матем. несупере́чність, -ності, несупере́чливість, -вості Синонимы: логичность Антонимы: двойственность, несовместимость, несовместность, несовпадение, противоречивость, разноречивость... смотреть
inf , math consistance
Начальная форма - Непротиворечивость, винительный падеж, слово обычно не имеет множественного числа, единственное число, женский род, неодушевленное
сущ. жен. роданесуперечність
ж.(теории) consistency
непротиворечивость согласованность, совместимость, соответствие, логичность. Ant. противоречивость
Критерий оценки качества аргументации. Посылки, поддерживающие заключение, не должны противоречить друг другу.
непротиворечивость непротивореч`ивость, -и
несуперечливість
несупярэчлівасць
қайшылықсыздық
• bezespornost
қайшылықсыздық
consistence
consistence
consistency
логико-методологическое требование непротиворечивости, предъявляемое к аксиоматически построенным (вообще формальным) теориям. Существуют два вида Н. а. т.: синтаксическая и семантическая. Теория синтаксически непротиворечива, если в ней не являются одновременно выводимыми нек-рое предложение и его отрицание; теория семантически непротиворечива, если она имеет, по крайней мере, одну модель, т. е. нек-рую область объектов, удовлетворяющую данной теории. При нарушении требования Н. а. т. оказывается возможным доказательство в такой теории любого предложения, она теряет свою научную ценность. ... смотреть
тождество данных аналитического и синтетического учета на первое число каждого месяца, а также показателям бухгалтерской отчетности.
тождество данных аналитического и синтетического учета на первое число каждого месяца, а также показателям бухгалтерской отчетности.Словарь бизнес-терм... смотреть
тождество данных аналитического и синтетического учета на первое число каждого месяца, а также показателям бухгалтерской отчетности.
- тождество данных аналитического и синтетического учета на первое число каждого месяца, а также показателям бухгалтерской отчетности.
consistency of data
см. согласованность данных
data integrity
аксиомалар жүйесінің қайшылықсыздығы
теңдеулер жүйесінің қайшылықсыздығы
1.) Одна из закономерностей логичности речи, лингвистическое условие реализации логичности речи на синтаксическом и взаимосвязанном с ним лексико-сема... смотреть
теорияның қайшылықсыздығы
НЕПРОТИВОРЕЧИВОСТЬ ТЕОРИИ НЕПРОТИВОРЕЧИВОСТЬ ТЕОРИИ — см. Металогика. Непротиворечия закон, Паранепротчворечивая логика. Новая философская энци... смотреть
шарттар қайшылықсыздығы