СЕМАНТИКА ДЛЯ ГИПЕРКЛАССИЧЕСКОЙ ЛОГИКИ И ПРОБЛЕМА ОТРИЦАНИЯ В ФОРМАЛЬНОМ ЯЗЫКЕ

Аннотация

Применение теоретико-игровой семантики для логики первого порядка основано на определенного рода семантических предпосылках, напрямую связанных с асимметрией определения истины и лжи как выигрышных стратегий Верификатора (Абеляра) и Фальсификатора (Элоизы). Эта асимметрия становится явной при применении GTS к IFL. Законность применения GTS при переносе ее на IFL основана на адекватности GTS для FOL. Но это обстоятельство не является основанием верить в то, что можно надеяться на такую же адекватность в случае IFL. Тогда возникает вопрос, а является ли GTS естественной семантикой для IFL. Как видно, интуитивное понимание отрицания в естественном языке может эксплицироваться в формальных языках различным образом, и результат неполного схватывания понятия в этих языках можно считать определенного рода аномалиями, ввиду кажущейся простоты эксплицируемого понятия. Сопоставление теоретико-модельной и теоретико-игровой семантик в применении к двум видам языка - языку первого порядка и дружественно-независимой логике - позволяет обнаружить причины аномалии и наметить пути ее преодоления.