Cтраница 1
Автоэпистемическая теория Т легальна относительно множества А основных предположений. [1]
Автоэпистемическая теория Т семантически полна тогда и только тогда, когда она устойчива. [2]
Автоэпистемическая теория Т легальна относительно множества А основных предположений тогда и только тогда, когда она основана на А. [3]
Автоэпистемическая теория Т семантически полна тогда и только тогда, когда она устойчива. [4]
Автоэпистемическая теория Т состоятельна относительно множества А основных посылок ( предположений) тогда и только тогда, когда она основана на А. [5]
Конечно, некоторые автоэпистемические теории могут иметь несколько устойчивых расширений. [6]
Зададим синтаксическую характеризацию автоэпистемическим теориям Т, обладающим семантическими свойствами полноты и состоятельности относительно множества А исходных предположений. [7]
В силу первого результата автоэпистемическая теория Т устойчива, если ее можно представить 85-полной структурой возможных миров. В силу второго результата оценка реального мира каждой из этих автоэпистемических моделей посылок должна быть выполнимой вместе с оценкой в одном из возможных миров структуры St для автоэпистемической интерпретации. [8]
Посмотрим, как дать синтаксическую характериза-цию автоэпистемическим теориям Т, обладающим семантическими свойствами полноты и легальности относительно множества А исходных предположений. [9]
Таким образом, любая автоэпистемическая интерпретация / устойчивой автоэпистемической теории Т может характеризоваться структурой St типа S5 и некой оценкой V. Структура возможных миров специфицирует предположения идеально разумного агента, тогда как оценка определяет то, что действительно подтверждается в реальном мире. [10]
Интуитивно: это позволяет гарантировать, что предположения некоего агента, составляющие автоэпистемическую теорию, истинны тогда и только тогда, когда истинны основные предположения из множества А. [11]
В результате под абдуктивной структурой понимается пара ( Т, А), в которой Т и А - автоэпистемические теории. [12]
Иноуи и Сакама распространили понятие абдукции на автоэпистемические теории. [13]
Эта новая семантика, основанная на понятии возможных миров, позволяет построить конечные модели для автоэпистемических теорий и дает возможность доказать существование полных и состоятельных относительно некоторого множества посылок автоэпистемических теорий, что было бы трудно осуществить с помощью первоначально указанной семантической характеризации. [14]
Эта новая семантика, основанная на понятии возможных миров, позволяет построить конечные модели для автоэпистемических теорий. Она дает возможность доказать существование полных и легальных относительно некоторого множества посылок автоэпистемических теорий, что было бы трудно осуществить с помощью первоначально указанной семантической характеризации. [15]