Основная предпосылка возрождения метафизики в АФ – это попытка перевода традиционных метафизических и эпистемологических вопросов в семантические, которые могут быть решены аналитически.

Спор номиналистических и платонистских концепций в связи с интерпретацией языковых выражений, прежде всего так называемых абстрактных сущностей, принадлежит более чем почтенной традиции. С определенным основанием можно сказать, что в современной АФ ожил, хотя и на несколько более высоком уровне, спор о так называемой реальности универсалий. Прогресс, несомненно, заключается в том, что то, что средневековая философия называла «универсалиями», можно точнее охарактеризовать и также классифицировать, например, на основе дифференциации предикатов и на основе теории типов.

Прежде всего необходимо обратить внимание на то, что термины «абстрактные сущности» и «универсалии» являются в значительной мере неясными. Здесь имеются две возможности интерпретации:

(а) Речь может идти о всех выражениях, которые можно образовать на основе предикатов, без учета того, о каких предикатах идет речь и какого типа эти предикаты. С этой точки зрения они являются какими- либо классами или абстрактами выражений, которые могут быть предметом споров. Для этих выражений можно использовать термин «универсалии».

(б) Речь может идти о выражениях, которые можно образовать на основе теоретических предикатов высшего типа, то есть о классах и абстрактах в несколько более узком смысле, чем в случае (а). Для этих выражений можно использовать термин «абстрактные сущности».

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

Возражение против опредмечивания или гипостазирования абстрактных сущностей связано также с требованием не удваивать сущности, то есть с так называемой бритвой Оккама. Если мы гипостазируем или опредмечиваем свойства объектов подобным способом в качестве самостоятельных объектов, это означает, что мы удваиваем мир. Номиналистический аргумент примерно таков: нельзя сомневаться в том, что существуют «круглые вещи», однако необходимо протестовать против существования объекта «круглость». Признание существования такого объекта предполагает, что сущности, которые мы называем «круглые вещи», мы умножаем новой сущностью, которую называем «круглость».

Номинализм критически выступает на два фронта:

с одной стороны, против платонистского опредмечивания абстрактных сущностей,

с другой стороны, против наивного реализма, который образ мира реальных вещей творит по образу языка.

В этом, несомненно, заключается позитивная черта номиналистической концепции при анализе семантического и онтологического решения.

Против (таким образом охарактеризованной) номиналистической концепции можно высказать несколько возражений:

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

(2) Другие возражения против номинализма вытекают из феноменалистических позиций. Номинализму, который готов допустить лишь реальность индивидуумов, можно возражать, что мы никогда не воспринимаем индивидуумы, но лишь свойства, качества этих индивидуумов, наблюдаем не «дерево», но зелень листвы, форму ствола и т. д. и лишь предполагаем существование дерева. Спор об эпистемологическом приоритете свойств или индивидуумов, таким образом, номинализм решает в пользу индивидуумов, феноменализм – в пользу свойств339. Вряд ли это однозначно решаемый вопрос и вряд ли вообще вопрос эпистемологического приоритета свойств или индивидуумов, поскольку он сформулирован в общем виде, вне рамок определенным способом ограниченных условий, имеет смысл. Если же такие условия мы определим точнее, например, в терминах коммуникативной модели научного исследования, важно то, доступны ли элементы входного пространства для наблюдателя непосредственно или они доступны при помощи иного канала и можно ли их реконструировать на основе установленных данных в выходном пространстве.

В связи с проблемой эпистемологического приоритета свойств или индивидуумов, или вещей можно указать на то, что можно было бы охарактеризовать как взаимные переходы вещей и свойств. Если мы изменим свойства «канала наблюдателя», «свойства источника входа», можно то, что при одном подходе мы считаем вещью, то есть относительно самостоятельной индивидной сущностью, исследовать как класс или свойство.

С этим последним замечанием связана также проблема, как специфицировать индивидуумов. Можно сформулировать вопрос: имеется ли возможность установить критерий для такой спецификации? В принципе возможны два критерия:

(а) внутренний, который связан с логической структурой номиналистической системы,

(б) внешний, который связан с тем, что Н. Гудмен340 назвал «нелогической базой» такой системы.

Характерно, что значительно точнее можно определить внутренний критерий. Так, формулировка критерия «онтологических обязательств» У.Куайна определяет, какие сущности допустимы в качестве значений переменных, и, следовательно, в качестве индивидуумов