Cтраница 2
Эти два результата интересны тем, что они индуцируют метод проверки принадлежности формулы к устойчивому расширению исходного множества посылок. [16]
Эти две теоремы интересны тем, что они индуцируют метод проверки принадлежности формулы к устойчивому расширению исходного множества посылок. [17]
V не соответствует единственному возможному миру данной структуры, то Т не может быть устойчивым расширением А. [18]
Так как каждая из этих оценок соответствует оценке одного из возможных миров этой структуры, то Т является устойчивым расширением А. [19]
При сложившихся уровнях национальных и мировых цен на зерно в нашем 15 - 20-кратном отставании по производительности животноводства от мирового уровня трудно рассчитывать на устойчивое расширение рынков сбыта зерна и продукции животноводства. [20]
Данный механизм, предполагающий системный подход и использование принципов маркетинга, создаст баланс интересов производителей средств производства для сельского хозяйства и производителей сельскохозяйственной продукции, обеспечивая тем самым устойчивое расширение рынков и оптимизацию экономических условий воспроизводства во всех звеньях АПК. [21]
Так как существует автоэпистемическая интерпретация, подтверждающая А и заданная этим возможным миром и оценкой У - - р, - q, для которой Т не соответствует единственному возможному миру данной структуры, то Т не может быть устойчивым расширением А. [22]
Так как автоэпистемическая интерпретация ( р, q, р, - - 1 q) подтверждает основные предположения без того, чтобы ее оценка р, - ] q соответствовала оценке единственно возможного мира этой структуры, то Т не может быть устойчивым расширением А. [23]
Наконец, назовем устойчивым расширением множества исходных предположений А множество предположений Т, которое устойчиво и основано на А. Устойчивые расширения являются максимальными состоятельными множествами предположений, которые идеально разумный агент в состоянии вообразить на основе исходного множества предположений. [24]
Наконец, назовем устойчивым расширением множества исходных предположений А множество предположений Т, которое устойчиво и основано на А. Устойчивые расширения являются максимальными легальными множествами предположений, которые идеально разумный субъект в состоянии вообразить на основе исходного множества предположений. [25]
Используя понятия приемлемости и допустимости, авторы этого подхода определили различные аргументационные расширения, которые соответствуют назначению аргументам некоторого статуса. Приведем для примера определение устойчивого расширения ( примеры определения других расширений можно найти в разд. [26]
Проверяем для каждой автоэпистемической интерпретации St, V выполнение или невыполнение утверждения: любая формула из А истинна в St, V тогда и только тогда, когда V принадлежит St. В случае выполнения St характеризует некое устойчивое расширение для А. [27]
Если конфликтующие аргументы имеют равную силу, как в случае с ромбом Никсона, то необходимо использовать множественные устойчивые расширения. [28]
Она служит основой автоэпистемической интерпретации / StV теории Т, подтверждающей А. Так как V не соответствует оценке какого бы то ни было мира этой структуры, то Т не может быть устойчивым расширением А. [29]
Они составлены из структуры возможных миров, отражающей предположения данного агента, и из произвольной оценки истинности V в реальном мире. Так как оценка V для каждой из этих интерпретаций ( 1 и 3) совпадает с оценкой возможного мира данной структуры, то теория Т основана на множестве посылок А, и, следовательно, является устойчивым расширением А. [30]