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