Модели в исследованиях по формальной семантике

Одним из источников теории моделей в когнитивной психологии были логика и лингвистика, и в особенности формальная семантика. В формальной семантике модели также представляют собой конструкции, используемые для формулировки правил интерпретации выражений ка­кого-либо формального или естественного языка. В этом отношении формальные модели могут рассматриваться как абстрактные реконструкции мира, к которому выска­зывания могут отсылать. Выражения, такие, как предло­жения, интерпретируются в соответствии с такой фор­мальной моделью. Помимо интерпретативной функции, модель обладает моделирующей структурой, задающей, например, множество индивидуальных объектов (предме­тов, лиц и т. д.). Некоторый предикат, например is sick 'бо­лен (больна)', может быть проинтерпретирован как под­множество этих объектов, то есть как множество больных людей. Располагая этой элементарной картиной мира, формальная семантика может определять условия истин­ности предложений. В философии и логике эти условия ча­сто отождествляли со смыслом предложения. Однако на­чиная с середины 70-х гг. было показано, что для интер­претации многих других аспектов предложений, принад­лежащих естественному языку, таких, как модальность, время, особенности употребления прилагательных и дейк-

тических выражений (таких, как I 'я', you 'вы' или here 'здесь') или языковых союзов, моделирующие структуры должны быть гораздо более сложными. Так, нам может понадобиться множество «возможных миров» (одним из которых является и наш собственный, исторически дан­ный мир), времен, местоположений и контекстуальных ха­рактеристик, таких, как говорящие и информация, кото­рой они располагают (Hughes and Cresswell, 1968; Keen an, 1975; Guenthner and Schmidt, 1979).

Для наших целей важнее указать на существенное ограничение, присущее этому типу формальной семанти­ки и ее моделям: она разработана для интерпретации то­лько изолированных предложений, а не текстов. Однако в последнее время наметилась тенденция к разработке текстовых моделей (Stenning, 1978; Nash-Webber, 1978; 1981; Kamp, 1981) после более ранних лингвисти­ческих работ по формальной семантике текста (van Dijk, 1973; 1977; Petofi and Rieser, 1974) и после ра­боты Карттунена (Karttunen, 1975), в которой было введено такое понятие, как „референт текста". Модель текста должна учитывать тот факт, что мы имеем дело не просто с множеством (неопределенных) индивидуальных объектов, а с множеством особым образом описанных предметов и личностей, постепенно вводимых с помощью языковых выражений, используемых в тексте. Поэтому различные выражения могут относиться к тому же само­му референту текста, однако мы можем отмечать измене­ние его положения в пространстве и времени. Кроме того, в порождении текста могут участвовать различные люди, как это бывает, например, в разговоре. Иными словами, правила интерпретации и необходимые модели становя­тся гораздо более сложными. Они должны учитывать ди­намическую природу постепенно развивающегося описа­ния событий и эпизодов. Следовательно, модель должна постоянно модифицироваться на основе новых данных, как это происходит с когнитивными моделями.

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