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

Статическое описание

Динамическое описание

Учет исторических изменений

Синхроническое описание

Диахроническое описание

Учет действия языковых процессов

Структурная лингвистика

Конструктивное направление в лингвистике

Учет семантического статуса динамических категорий

Трансформационные семантики

Процедурные семантики

Разработка принципов процедурного описания в лингвистике составляет содержание еще одного начинания (правая нижняя ячейка в таблице), вызванного задачей описания языковых объектов с сущностно процедурной семантикой например, коммуникативных категорий.

Коммуникативные значения представляют собой не термины или предикаты, а определенные инструкции. ... Знаки несут не сообщение о действительности, а сообщение о сообщении (то есть о способе понимания сообщения51.

Лингвистические процедурно-семантические построения могут приписывать динамическим категориям семантический статус с большей или меньшей степенью решительности, однако он всегда будет носить выраженно метаязыковой характер. По классическому определению Р. Якобсона, единственным исследовательским приемом лингвистики вообще и лингвистической семантики в частности является перевод выражений языка-объекта в выражения метаязыка52. Другими словами, право динамических категорий считаться метаязыком с лингвистической точки зрения несомненно; что касается валидности этого метаязыка, то она подлежит обоснованию совместными усилиями всего комплекса когнитивных наук.

Подобные лингвистические теории усваивают методологические принципы конструктивистской эпистемологии: отклонение понятия "данного", отказ от проведения различия между восприятием и осмыслением (и, следовательно, от всех такого рода подходов к дихотомии наблюдения/теории для науки), отказ от априорности в пользу последовательности обоснования; акцент на прагматических соображениях в выборе теории и т.д.

Методологические особенности процедурного подхода в лингвистической семантике отчетливо сформулировал Т. Виноград.

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

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

Как при декларативном (теоретико-модельном), так и при процедурном задании семантика выражения, вообще говоря, определяется переходом модели мира как части когнитивной системы из начального состояния Sinit в конечное состояние Sfin54. Oднако при декларативном задании учитываетcя лишь результат перехода, т. е. Sfin, а при процедурном - также и промежуточные состояния S1 (Sinit+1), S2, S3 ... Si, Sj ... Sfin-1. Переход между соседними состояниями Si и Sj принципиально являет собой тот же переход от Sinit к Sfin, и, в свою очередь, может быть расчленен на промежуточные шаги, потенциально до бесконечности. Чем больше степень дробности, тем в большей степени семантика определяется процедурой перехода и тем более состояния модели мира "растворяются" в инструкциях по их изменению. На каждом принятом уровне дробности операция перехода от Si к Sj синтагматически элементарна; противопоставление декларативного и процедурного способов задания семантики имеет смысл лишь постольку, поскольку при уменьшении шага Si > Sj сокращается парадигматическая сложность операций: они определяются на все меньшем числе пар состояний моделей мира, и соответственно необходимое для понимания количество "модельных" знаний уменьшается. Рассмотрение интерпретации как процедуры или процедуры как интерпретации означает переход к большему или меньшему уровню дробности соответственно.

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