Язык и логическая теория

На уровне игроков цель семантической игры — установление значения истинности рассматриваемого предложения. Теоретико-игровые методы позволяют адекватно описать  условия истинности некоторых видов  предложений, для которых представляется затруднительным применить традиционное рекурсивное определение истинности. Это преимущество объясняется не чисто игровыми особенностями семантической  концепции (наличие двух игроков,, отдельных игровых правил), а тем обстоятельством, что с помощью такого аппарата удается описать закономерности процесса вычисления истинностного значения для более широкого круга предложений естественного языка. В конечном счете теоретико-игровая семантическая концепция просто дает расширение традиционного определения истинности Тарского.

Одна из важных проблем  логического анализа естественных языков — проблема единой логической структуры предложений. Ее актуальность обусловлена прежде всего тем обстоятельством что, с одной стороны, аппарат классической логики предикатов-интерпретируется обычно на объективированных высказываниях типа „Снег бел, „Земля вращается вокруг Солнца” и т. п. С другой стороны, встречается большое количество релятивизованных к говорящему предложений, логическая структура которых да конца не ясна и, как представляется на первый взгляд, не согласуется со стандартными представлениями о логической структуре. Таковы, например, предложения: „Снег бел!, „Идет дождь?„ „Увы, Земля вращается вокруг Солнца, „Я обещаю прийти” и т. п. Иначе говоря, существует проблема согласования релятивизованных и объективированных предложений в рамках некоторых единых представлений об общей логической структуре предложений естественных языков.