Семантика для гиперклассической логики и проблема отрицания в формальном языке

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

Ключевые слова: теоретико-игровая семантика, отрицание, дружественно-независимая логика, семантика, полнота, гиперклассическая логика.