Аналитическая философия

Формально критерий онтологической относительности («существовать значит быть значением квантифицированной переменной») выглядит так. В стандартной семантике условия истинности кванторного выражения формулируются следующим образом: ((х) F(x) истинно тогда и только тогда, когда существует объект, выполняющий F(х). Поскольку эта формулировка представляет собой эквивалентность, мы можем рассматривать ее не только в качестве определения условий истинности квантификации, исходя из существования объекта, но и наоборот – как вывод о существовании объекта, исходя из истинности кванторного выражения. Подобное обращение является основой использования формализованных языков для выявления объектов, допускаемых теорией. Далее, критерий онтологической относительности может быть переформулирован как критерий онтологических допущений, выявляющий объекты, существование которых следует из предположения об истинности формализованной теории. Последний также является не чем иным, как обращением положения стандартной семантики, гласящего, что существующие объекты могут быть обозначены, а заключающие о них пропозиции могут иметь истинностное значение.

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

Форма аргумента Куайна такова:

T истинно.

T имеет обязательство к (is committed to) F.

Следовательно, существует F.

T здесь – теория, т.е. множество предложений, которые должны быть дедуктивно замкнутыми.

Первая посылка устанавливается любым способом, релевантным для специфической рассматриваемой теории. Вторая интерпретируется в свете Куайнова критерия, переформулированного как критерий онтологического обязательства, а именно: T имеет онтологическое обязательство к F только и если только F квантифицируется среди объектов в диапазоне кванторов предложений Т таким образом, чтобы все предложения Т были истинными.

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

T истинно.

T имплицирует предложения формы ((х) Fх.

Следовательно, существует F.

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

Возражение этой посылке основано на истинности предложений вида

(1) Пегас – крылатый конь.

Это истинное предложение имплицирует

(2) ((х) (x – крылатый конь)

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

(3) ((х) N(x = 9)

(где N – знак необходимости), потому что

(4) N(9 = 9)

несмотря на то, что

(5) 9 = число планет & ~N(число планет = 9)

Но объектная интерпретация (3) (и прочтение термина «число планет» как единичного) делает конъюнкцию (4) и (5) противоречивой. Подстановочная интерпретация позволяет каждому предложению (3) – (5) быть истинным361.

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