Философский словарь
"НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ"

Главная - Философский словарь - буква Н - НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ

будет выглядеть так: Что такое НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ

Философский словарь"НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ"

Философский словарь
"НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ"