СЕМАНТИКА ДЛЯ ГИПЕРКЛАССИЧЕСКОЙ ЛОГИКИ И ПРОБЛЕМА ОТРИЦАНИЯ В ФОРМАЛЬНОМ ЯЗЫКЕ
Опубликовано ср, 09/04/2024 - 23:54 пользователем Гость (не проверено)Применение теоретико-игровой семантики для логики первого порядка основано на определенного рода семантических предпосылках, напрямую связанных с асимметрией определения истины и лжи как выигрышных стратегий Верификатора (Абеляра) и Фальсификатора (Элоизы). Эта асимметрия становится явной при применении GTS к IFL. Законность применения GTS при переносе ее на IFL основана на адекватности GTS для FOL. Но это обстоятельство не является основанием верить в то, что можно надеяться на такую же адекватность в случае IFL. Тогда возникает вопрос, а является ли GTS естественной семантикой для IFL.