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






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

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

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


Источники:

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



ПОИСК:


Неизвестные факты о гибели Помпеи

Остатки римского акведука I века н. э. были обнаружены в Испании после того, как на регион обрушился сильный шторм

В письменности инков могли быть зашифрованы не только цифры

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

Древнейшему колодезному срубу более семи тысяч лет

Учёные рассказали о секрете, который хранила древнеегипетская мумия кошки

Рассказ Страбона об обычаях галлов получил подтверждение



Негативные последствия длительного пребывания в космосе доказаны NASA на примере близнецов

NASA и Google запустили виртуальный тур по МКС

4 октября 1957 года с Байконура был запущен первый в мире искусственный спутник Земли

10 советских космических достижений, которые вычеркиваются Западом из истории

11 научных достижений последних 100 лет, которые подарили нам Вселенную

Космический телескоп «Кеплер» завершил 9-летнюю миссию

Радиофизика шестидесятников: история двух великих открытий



Американский музей объявил об обнаружении картины Леонардо да Винчи

Иван Шадр - выдающийся советский скульптор

Дом Васнецова — сохранившийся уголок старой Москвы

Берта Моризо - единственная художница в истории, которая стала полноправным членом авангардного движения

Картины Павла Никонова стали одной из вех отечественной живописи

«Святой Иероним» Пармиджанино оказался современной подделкой

Бактерии могут повреждать и защищать старинные картины


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

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