онтологию в качестве одной из основных единиц? Модели, с которыми чувствует себя вправе оперировать исследователь, будут различаться в зависимости от его общих философских убеждений (имплицитных или эксплицитных). Если учесть, что в данном подходе модели играют роль действительности, то выбор структуры моделей приобретает решающее значение. (В этой связи примечательно, что знаменитая «ситуационная семантика» Барвайса и Перри, в сущности, предсталяет собой не что иное, как один из возможных вариантов теоретико-модельной семантики, в основе которой лежит такое понятие модели, которое больше соответствует идее «ситуации», чем идее «возможного мира»412.)

Теоретико-модельная семантика оказала огромное влияние на изучение естественного языка. Как бы ни назвать этот подход – «грамматикой Монтегю» или «семантикой возможных миров», – он должен занять видное место среди наиболее выдающихся в интеллектуальном отношении достижений в гуманитарных науках нашего времени. И тем не менее остается нерешенным ряд важных проблем, которые можно – в качестве резюме – изложить здесь в метатеоретических терминах.

Понятие языка в теоретико-модельной семантике носит столь абстрактный характер, что о естественном описании процесса понимания естественного языка или других психологических феноменов, связанных с языковым значением, говорить, по-видимому, не приходится. Что касается абстрактных данных, относящихся к условиям истинности и другим отношениям референции, то здесь теоретико-модельная семантика имеет на своем счету впечатляющие результаты. Но для исследователя семантики с более психологической ориентацией (такого, например, как Филип Джонсон-Лэйрд413) абстрактные условия истинности несущественны—для него ключевые вопросы касаются психологических механизмов, действующих в области языкового понимания и «вычисления» значения. И опять же, постановка проблемы в таких терминах не слишком обнадеживает: как могли бы мы продвинуться в сравнении теорий, если в основе этих теорий лежат разные базы данных? И кроме того, чем нам руководствоваться при решении вопроса о том, имеют ли феномены психологической природы решающее значение для семантики? Именно такого рода метатеоретические проблемы приобретают сегодня в семантике наибольшую актуальность.

В основе теоретико-игровой семантики лежат, с одной стороны, математическая теория игр, а с другой—теоретико-модельная семантика. Как и эту последнюю, теоретико-игровую семантику интересует отношение M|=tS. Однако, в отличие от теоретико-модальной семантики, M|=tS анализируется в терминах игры, которая, говоря неформально, интерпретирует предложение S посредством процесса вычисления истинностного значения, направленного от предложения как целого к его частям. Эта игра, представляющая, таким образом, нашу основную интерпретационную (семантическую) единицу, вводит в рассмотрение параметры нового вида (такие, как «память» и «информационное множество»), которые исследователь затем стремится использовать в семантическом анализе. Все это приводит к тому, что семантика становится более процессуально-ориентированной. И неудивительно, что при таком подходе поддаются трактовке анафорические явления, дискурсивные феномены и вообще проблемы, входящие в компетенцию семантики текста. Совершенно чсно, что такие характеристики и инструменты анализа отсутствуют в теоретико- модельной семантике, где любые феномены процессуального характера не могут не оставаться исключением414.

Новизна теоретико-игровой семантики – если сравнивать ее с теоретико-модельной – носит относительный характер. С одной стороны, представляется, что многие интерпретационные правила теоретико-игровой семантики нетрудно перефразировать в терминах рекурсивных определений истинности415. Однако в некоторых случаях теоретико-игровой аппарат приводит, по-видимому, к более естественной терминологии анализа семантических феноменов, чем аппарат теоретико-модельной семантики, основным инструментом которой является рекурсивное определение истинности.

Но даже и в этих случаях статус теоретико-игровой семантики как концептуального аппарата анализа естественного языка напоминает статус игровой семантики в математической логике. А там, скажем, игровые кванторы естественнее считать расширением теоретико-модельной семантики, чем конкурирующей с ней альтернативой. Иными словами, хотя феномены, связанные с дискурсом, в теоретико-игровой семантике доступнее для анализа, чем в традиционном теоретико-модельном подходе с его рекурсивным определением истинности, это вряд ли свидетельствует о каком-то общетеоретическом превосходстве теоретико-игровой семантики над теоретико-модельной.

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

В чем связь, по мнению Хинтикки, теоретико-игрового определения истины с теоретико-игровой семантикой? Основные черты предлагаемого теоретико-игрового определения истины (ТИОИ) таковы:

i. В нем используется понятие выигрышной стратегии (а не победы в игре, как это понимает, например, Даммит416) – правила, определяющего, какой ход должен сделать игрок в каждой возможной игровой ситуации для того, чтобы достичь победы вне зависимости от того, какую стратегию изберет соперник.

ii. Оно не сводится к формальным (но интерпретированным) первопорядковым языкам. Хотя в естественных языках кванторы ведут себя иначе, чем в них, ТИОИ может быть распространено на них, как и на другие логические языки.

iii. Теоретико-игровая интерпретация кванторов (предложенная Ч.С.Пирсом) используется во всех случаях, когда неприменимо тарскианское определение истины.

iv. ТИОИ дает условия истинности первопорядковых предложений, формулируя их в терминах игровых стратегий, которые сами приводимы к логическому анализу и формулировке в логических терминах (функции Сколема).

v. Собственно понятие истины является при теоретико-игровом подходе вспомогательным, поскольку при нем определяется значение квантифицированных предложений путем определения их условий истинности (таким образом Витгенштейн использует понятие языковой игры в концепции «значение как употребление»). Следует различать игры на поиск истины (truth-seeking games) (т.е. эпистемические игры) и игры на установление (или верификацию) истины (truth-establishing games) (т.е. семантические игры), где условия истинности в определенном смысле даны заранее.

ТИОИ демонстрирует сильные и слабые стороны прагматистской концепции истины: верно то, что истина не может заключаться в независимо существующих отношениях корреспонденции между языком и миром. Таких отношений, по мнению Хинтикки, не существует: они могут лишь устанавливаться путем использования языка, т.е. семантическими играми. Однако неприемлемо прагматистское требование, согласно которому релевантными являются те действия, с помощью которых мы обнаруживаем, что является истинным. Такое требование связано с неразличением игр на установление истины и на поиск истины, и непониманием того, что последние не являются конститутивными для понятия истины.