1. объяснить способность человека компонировать языковые выражения, то есть создавать композиционный план и организовывать описания в соответствии с этим планом, а также способность декомпонировать описания и реконструировать лежащий в их основе композиционный план;
2. объяснить способность человека продуцировать и понимать языковые выражения.
Задача 1 охватывает такую область исследования, которая будет объяснена при экспликации понятия правильной оформленности описания. Задача 2 содержит предмет исследования, для объяснения которого должна быть привлечена правильная построенность описания. При этом очевидно, что предмет исследования задачи 1 охватывает как типологические, так и прагматические критерии, так как для построения композиционного плана необходима, например, информация о коммуникативных интенциях, так же как информация о типах описания, то есть виды информации, имеющие источником область функционирования языка. Последняя же является собственно предметом исследования задачи 2.
Задача выявления критериев правильности в их соотнесении с теорией может в таком случае быть сформулирована двояко:
1. Теория должна дать экспликацию понятия "правильно построенное описание". В частности, она должна предоставить те критерии, которые показывают, в каких случаях описание является потенциально укомплектованным с точки зрения композиции и в каких - нет; какие композиционные элементы возможны в описании; в каких случаях композиционные элементы описания организованы правильно и в каких - нет и т.д.
2. Теория должна дать экспликацию понятия "правильно оформленное описание". В частности, она должна предоставить те критерии, которые показывают, в каких случаях описание является потенциально законченным и в каких - нет; в каких случаях текст, состоящий более чем из одного предложения, является связным и в каких - нет; в каких случаях предложение в языковом контексте может рассматриваться как возможная часть описания и в каких - нет и т.д.
Итак, правильная организация композиционных элементов описания зависит от лежащего в его основе композиционного плана, а также в известной степени от коммуникативного намерения, реализации которого служит данный текст. Получатель сообщения должен реконструировать композиционный план отправителя и, насколько это возможно, его коммуникативные интенции. Существует, таким образом, тесная связь между задачей 2 и более общей задачей - объяснить процессы языковой коммуникации30.
Тогда можно сказать, что к теории 1 оказывается применима претензия Куайна, заключающаяся в том, что теория такого типа рассматривает язык как соответствие, вторым компонентом которого является класс семантически правильных истинных утверждений этого языка31 (2.2.1). Теория второго рода выходит из круга подобной критики. Ее теоремы являются теоремами конструктивной системы в том отношении, что они полагаются "реальными" определениями, использующими определенные семантические критерии правильности в дополнение к обычным синтаксическим критериям, налагаемым на чисто формальные (или "номинальные") определения32. Конструктивная система формализует некоторую область (предполагаемого) знания, которое может быть представлено как множество предложений, сформулированных в неформализованном дискурсе (например, естественном языке), где некоторые термины должны быть соответственно определены в системе, использующей правила вывода, а некоторые образуют специальное множество терминов, принятых за элементарные, т.е. базовые примитивы системы ("внелогические основы" - "extralogical basis"). Таким образом, вопрос о динамических критериях правильности возвращает нас к вопросу о произвольности/непроизвольности выбора "атомов" категоризации, элементарных терминов системы, на новом уровне. Примитивы должны при этом пониматься как уже являющиеся предметом преднамеренного использования или интерпретации; если их использование или интерпретация не очевидны, то они могут быть обеспечены неформальным объяснением, в строгом смысле не являющемся частью системы.
Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран как элементарный... Вообще термины, принятые в качестве элементарных в одной системе, вполне могут поддаваться определению в какой-либо другой системе. Не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным33.
Так, например, неформализованная область может состоять из предложений, описывающих человеческие отношения родства, а конструктивная система в этом случае будет состоять в точных определениях всех предикатов родства в терминах примитивов (например, Х - родитель Y и X - женского пола) и в рекурсивно устанавливаемой спецификации теорем через аксиомы и правила вывода. При этом каждая из теорем является интерпретацией (путем определения) одного из первоначальных неформализованных предложений.
Здесь может быть задан следующий вопрос, явившийся бы приложением общего для аналитической (и не только) философии "парадокса анализа", или "парадокса объяснения": если мы уже располагаем неформализованным "знанием", к которому мы должны обратиться в оценке как точности определений конструктивной системы, так и ее адекватности (то есть, образуют ли ее теоремы достаточно дифференцированное множество: является ли, скажем, некоторое описание законченным), то зачем вообще нужно строить такие системы? Каким образом может что-то объяснить такая теория?
Ответ может учитывать три аспекта.
1. Успешно построенная конструктивная система сообщает нам нечто, чего мы вообще не знаем заранее, а именно тот факт, что некоторые примитивы представляют адекватные основания для определения всех рассматриваемых терминов - факт, имеющий несомненное методологическое значение. Кроме того, конструктивная система демонстрирует набор отношений логической и определительной зависимости, многие из которых не даны заранее, но способны обеспечивать возможность дальнейшего анализа.
2. В большинстве случаев, представляющих интерес, неформализованная область не так ясна и не так однозначно формализуема, как в примере с семейным родством. Разветвленность и гетерогеннность формализуемых областей будет мотивировать преимущественное развитие конструктивных систем прежде всего в отношении систем, которые можно назвать "эпистемологическими" в том смысле, что их назначением является представление некоторой части нашего знания относительно соответствующих этой части данных восприятия. Например, система, которая пытается представлять наше знание физических объектов в терминах явлений, должна вначале поставить вопрос, какой вид феноменальных объектов рассматривать (сенсорные данные, отрезки "потока опыта" и т.д.) вопрос, который сам по себе не может быть решен обращением к обычному или традиционному употреблению термина.
Поэтому хотя конструктивные системы могут в первом приближении быть рассмотрены как формализации, они являются не только формализациями: они являются именно теориями, и их развитие требует креативного построения функционирующей теории, а не является простым формальным моделированием обычного употребления языка.
Возможно, наиболее важны здесь соображения теоретической интерпретируемости. При сохранении важнейших особенностей неформализованной речи конструктивные определения разрешают достаточно тонкий способ замены неясных и неточных терминов более ясными и точными. Если целью моделирования является простое "отображение" обычного употребления языкового выражения (например, выявление композиционного плана высказывания), то это явилось бы искажением. Однако с точки зрения построения теории, такая процедура обязательна: более точные понятия лучше входят в проверяемые гипотезы и доказуемые результаты.
Это ведет к третьему пункту в ответе на предполагаемый парадокс анализа.
3. Ряд философских вопросов традиционной важности может быть плодотворно выражен в категориях оснований формализации представляемого знания. Например, спор между номинализмом и его противниками может быть сформулирован как вопрос о том, способна ли система, которая берет за основу рассмотрения лишь конкретные индивидные объекты, к адекватному представлению всего нашего релевантного знания. В таком случае решение подобных вопросов заключается в том, чтобы либо построить адекватную систему, либо так или иначе показать, что это не может быть выполнено.
