Стабильность значения

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

Это ведет к третьему пункту в ответе на предполагаемый парадокс анализа.

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

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

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

Это разграничение точности (accuracy) и адекватности (adequacy), введенное Гудменом в "Структуре явления", во многом обусловило важную для современной аналитической философии тенденцию ослабления семантического критерия, налагаемого на исследования. Главное перемещение в этом направлении происходит от синонимии или аналитичности к вполне экстенсиональному критерию. При этом сам Гудмен считает коэкстенсивность definienda и их definientiae все еще слишком сильным критерием. Неформализованное использование неопределенно и непоследовательно (противоречиво) многими способами, и отражение этих особенностей в объяснении вовсе не непременно увеличивает объяснительную силу definientiа. Неясные случаи не могут быть прояснены в соответствии с таким требованием, как коэкстенсивность; кроме того, случайный отход от неформализованных ясных случаев оправдан стремлением построить хорошую теорию. Кроме того, неудовлетворительность требования коэкстенсивности указывает на качественно отличную и более глубокую проблему: в науке и обыденном языке возможны (и весьма многочисленны) случаи альтернативных истолкований предикатов истолкований, которые являются полностью неразличимыми в отношении любых критериев, уместных в тех теориях, к которым они принадлежат; однако альтернативы не просто не коэкстенсивны - они очевидным образом не пересекаются.

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

Итак, можно следующим образом сформулировать те эпистемологические и онтологические посылки конструктивного подхода, которые представляются наиболее важными для анализа естественного языка:

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

* Из-за множественности версий мира в различных знаковых системах бесполезно искать полное описание действительности (сущностная незавершаемость).