Словарь по логике

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

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


  1. непротиворечивостьсогласованностьstrong логическийstrong непротиворечивость логическая согласованностьотсутствие противоречий непротиворечие условие существования.непротиворечивый теор...Идеографический словарь русского языка
  2. непротиворечивостьсовместимость свойство дедуктивной теории или системы аксиом См. Аксиомаem посредством которых теория задатся состоящее в том что из не нельзя вывести противоречие т. е. ...Большая Советская энциклопедия II
  3. непротиворечивостьсущ. жен. рода...Большой русско-украинский словарь
  4. непротиворечивостьангл. noncontradiction нем. Widerspruchsfrei. Критерий правильного логического мышления означающий что в суждении доказательстве теории нет противоположных или противореч...Большой толковый социологический словарь II
  5. непротиворечивостьсовместимость отсутствие противоречия логическийкритерий корректности правильности некоторого утверждения рассужденияили их совокупности теории. Непротиворечивость исчис...Большой энциклопедический словарь II
  6. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ совместимость отсутствие противоречия логический критерий корректности правильности некоторого утверждения рассуждения или их совокупности теории. Неп...Большой энциклопедический словарь III
  7. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ совместимость отсутствие противоречия логический критерий корректности правильности некоторого утверждения рассуждения или их совокупности теории. Не...Большой Энциклопедический словарь V
  8. непротиворечивостьсвойство формальной системыi состоящее в том что не каждая формула этой системы доказуема в ней. Формальные системы обладающие этим свойством наз. непротиворечивым и или ...Математическая энциклопедия
  9. непротиворечивостьНачальная форма Непротиворечивость винительный падеж слово обычно не имеет множественного числа единственное число женский род неодушевленное...Морфологический разбор существительных
  10. непротиворечивостьнепротиворечивость непротиворечивость и...Орфографический словарь
  11. непротиворечивостьайшылысызды...Орысша-қазақша «Математика» терминологиялық сөздік
  12. непротиворечивостьinf math...Политехнический русско-французский словарь
  13. непротиворечивостьОрфографическая запись слова непротиворечивость Ударение в слове непротиворечивость Деление слова на слоги перенос слова непротиворечивость Фонетическая транскрипция слов...Полный фонетический разбор слов
  14. непротиворечивостьКритерий оценки качества аргументации. Посылки поддерживающие заключение не должны противоречить друг другу....Психология критического мышления
  15. непротиворечивостьнесуперечливсть...Російсько-український словник логіки
  16. непротиворечивостьнепротиворечивость иСинонимы логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русский орфографический словарь
  17. непротиворечивостьconsistency...Русско-английский машиностроительный словарь
  18. непротиворечивостьconsistency непротиворечивость ж.u мат.uconsistency логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русско-английский политехнический словарь
  19. непротиворечивостьж. абсолютная непротиворечивость внутренняя непротиворечивость непротиворечивость данных относительная непротиворечивость...Русско-английский психологический словарь
  20. непротиворечивостьf. логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русско-английский словарь математических терминов
  21. непротиворечивостьconsistence...Русско-английский словарь по нефти и газу
  22. непротиворечивостьж. consistency...Русско-английский словарь по физике
  23. непротиворечивостьconsistence...Русско-английский словарь по электронике
  24. непротиворечивостьconsistency логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русско-английский технический словарь
  25. непротиворечивостьнесупярэчлвасць...Русско-белорусский математический словарь
  26. непротиворечивостьж. non contradditoriet f матем. coerenza f...Русско-итальянский политехнический словарь
  27. непротиворечивостьайшылысызды...Русско-казахский терминологический словарь «Философия и политология»
  28. непротиворечивостьСинонимы логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русско-китайский словарь
  29. непротиворечивостьматем. несуперечнсть ност несуперечливсть вост Синонимы логичность Антонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Русско-украинский политехнический словарь
  30. непротиворечивостьbezespornost...Русско-чешский словарь
  31. непротиворечивостьнепротиворечивость логичностьАнтонимы двойственность несовместимость несовместность несовпадение противоречивость разноречивость...Слитно или раздельно? Орфографический словарь-справочник
  32. непротиворечивостьдвойственностьнесовместимостьнесовместностьнесовпадениепротиворечивостьразноречивостьСинонимы логичностьАнтонимы двойственность несовместимость несовместность несовпадени...Словарь антонимов
  33. непротиворечивостьсвойство предложений некоторой теории в случае аксиоматической теории системы ее аксиом заключающееся в невыводимости из них противоречия. Если отрицание какогото предло...Словарь логики
  34. непротиворечивостьнепротиворечивость согласованность совместимость соответствие логичность. Ant. противоречивость Словарь русских синонимов. непротиворечивость сущ. колво синонимов логич...Словарь синонимов II
  35. непротиворечивостьнепротиворечивость согласованность совместимость соответствие логичность. Ant. противоречивость...Словарь синонимов
  36. непротиворечивостьсовместимость корректность выполнимость свойство системы предложений к.л. теории или системы формул некрого исчисления заключающееся в том что из этих предложений формул ...Советский философский словарь
  37. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ совместимость отсутствие противоречия логический критерий корректности правильности некоторого утверждения рассуждения или их совокупности теории. Неп...Современный энциклопедический словарь
  38. непротиворечивостьУдарение в слове непротиворечивостьУдарение падает на букву иБезударные гласные в слове непротиворечивость...Ударение и правописание
  39. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ одно из осн. требований предъявляемых к знанию в частности к научному в каждой относительно обособленной сме знания не могут одновременно выводиться н...Уфологический словарь-справочник
  40. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ отсутствие в системе идей логического противоречия т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и вхо...Философская энциклопедия
  41. непротиворечивостьсвойство дедуктивной в частности формальной теории содержащей понятие символ отрицания состоящее в том что в ней не доказуемо никакое противоречивое предложение формула в...Философская Энциклопедия (в 5 томах)
  42. непротиворечивостьНикому еще не удавалось создать философию которая была бы одновременно правдоподобной и внутренне непротиворечивой. К правдоподобию стремился Локк но достиг его лишь за с...Философский словарь разума, материи, морали
  43. непротиворечивостьв логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории или системе знания не могут одновременно вывод...Философский энциклопедический словарь II
  44. непротиворечивостьв логике одно из осн. требований к формальным теориям и вообще к научному знанию. В каждой относительно обособленной теории или системе знания не могут одновременно вывод...Философский энциклопедический словарь
  45. непротиворечивостьОтвес Отверстие Ось Ость Остров Остро Остричь Острие Остит Остин Остеречь Остер Остеон Остеит Ост Осот Осов Осип Осетр Осетин Осень Освоение Осветить Орь Ортоптер Ортит О...Электронный словарь анаграмм русского языка
  46. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ совместимость отсутствие противоречия логический критерий корректности правильности некоторого утверждения рассуждения или их совокупности теории. Не...Энциклопедический словарь естествознания
  47. непротиворечивостьангл. noncontradiction нем. Widerspruchsfrei. Критерий правильного логического мышления означающий что в суж дении доказательстве теории нет противоположных или противор...Энциклопедия социологии
  48. непротиворечивостьНЕПРОТИВОРЕЧИВОСТЬ свойство совокупности утверждений состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащег...Энциклопедия эпистемологии и философии науки