Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

непротиворечивость аксиоматической теории

Непротиворечивость аксиоматической теории - логико-методологическое требование непротиворечивости, предъявляемое к аксиоматически построенным (вообще формальным) теориям. Существуют два вида Н. а. т.: синтаксическая и семантическая. Теория синтаксически непротиворечива, если в ней не являются одновременно выводимыми нек-рое предложение и его отрицание; теория семантически непротиворечива, если она имеет по крайней мере одну модель, т. е. нек-рую область объектов, удовлетворяющую данной теории. При нарушении требования Н. а. т. оказывается возможным доказательство в такой теории любого предложения, и она теряет свою научную ценность.


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.



ПОИСК:


Пол гробниц в древнем Пилосе выстилали листы золотой фольги

Люди начали спать на подстилке из растений около 200 тысяч лет назад

Ученые заново идентифицировали рисунки в пустыне Наска

В Ираке найден двухтысячелетний затерянный город

Наскальные картины горы Дэл в Монголии

Танцующие женщина и обезьяна: в Перу нашли новые геоглифы

История создания системы тестирования знаний




Завершена реставрация картины Питера Брейгеля Старшего «Триумф смерти»

Украденная картина за 160 млн долларов нашлась спустя 33 года в спальне неприметных американцев

Артемизии Джентилески, её называют одной из первых феминисток в истории

«Мальчик в голубом» отправится на реставрацию

Семь музеев Москвы открыли доступ к своим цифровым коллекциям

Найдены два ранее неизвестных рисунка Ван Гога

Секреты «Богатырей» Васнецова: кого на самом деле изобразил художник на знаменитой картине


© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'