Язык, онтология и реализм

Идея Куайна состоит в том, что, когда мы переформулируем теорию с помощью канонической нотации, ее онтологические обязательства станут очевидными. Это связано с тем, что можно будет сразу выделить предложения с квантором существования, которые содержатся в теории или выводятся из нее. Для того чтобы такое предложение было истинным (а мы, как было указано, исходим из того, что теория в целом истинна, а стало быть, истинны и предложения, из которых она состоит), должен существовать по крайней мере один объект, который является значением связанной (или квантифицированной) переменной в этом предложении. Например, чтобы предложение '∃x(Fх&Gх)' было истинным, область, на которой определена переменная x, должна содержать по крайней мере один объект, который одновременно есть F и G. Отсюда Куайн заключает, что онтологические обязательства теории имеют отношение исключительно к связанным переменным. Этот вывод был суммирован Куайном в лозунге: «существовать значит быть значением связанной переменной», а в более развернутом виде: «теория обязана признавать те и только те сущности, к которым должны быть способны отсылать связанные переменные теории с тем, чтобы утверждения, выдвигаемые теорией, были истинными» [Quine, 1980, p. 14–15]. Это значит, мы обязаны принимать существование только тех сущностей, постулируемых теорией, которые при переформулировке предложений теории с помощью аппарата современной математической логики составляют область значений связанных переменных в истинных квантифицированных предложениях.

Таким образом, Куайн вслед за Фреге и Расселом полагает, что понятие существования можно эксплицировать, только обращаясь к идее квантификации. По его словам, «существование — это то, что выражает экзистенциальная квантификация…неразумно требовать экспликации существования в более простых терминах» (Quine, 1969, p. 97]. Или в другом месте: «Экзистенциальный квантор '∃х' — это квинтэссенция того, что говорят о существовании. Все приписываемые существованию значения можно выразить как экзистенциальные квантификации» [Quine, 1970а, p. 90]. Но если для Фреге и Рассела существование представляет собой свойство понятий или пропозициональных функций, имеющее прямое отношение к их «инстанциации», то для Куайна существование — это вопрос онтологических обязательств в отношении определенных объектов или областей значений для связанных переменных. В связи с этим он уточняет, что понимает квантификацию в «объектном» или «референциальном» смысле, и противопоставляет эту свою интерпретацию так называемой подстановочной интерпретации. Объектная интерпретация квантификации означает, что переменные, связываемые кванторами, считаются имеющими референцию к объектам из заданной области рассмотрения, тогда как при подстановочной интерпретации значениями переменных выступают имена объектов, а не сами объекты. В первом случае условием истинности для, скажем, «∃x(x есть красный)» является то, что «x есть красный» выполняется хотя бы одним объектом, в то время как при подстановочной квантификации, чтобы указанное предложение с квантором существования было истинно, должно быть истинным хотя бы одно предложение формы «x есть красный», когда в него вместо x подставляется имя объекта.

Трудность для подстановочной квантификации заключается в том, что не все объекты, которые мы принимаем, могут иметь имена, однако для Куайна главный ее недостаток состоит в том, что она не имеет отношения к онтологии. С его же точки зрения, связь между онтологией и референциальной квантификацией носит тривиальный характер, ибо она «тривиально удостоверяется самим объяснением референциальной квантификации» [Quine, 1981, p. 174]. Вместе с тем объектная интерпретация квантификации сама сталкивается с немалыми трудностями. Возьмем, к примеру, предложение «Пегас есть летающая лошадь», которое считается истинным. При переводе его на язык канонической нотации мы получим (∃x)(x есть Пегас и x есть летающая лошадь). Этот перевод является ложным предложением в силу того, что его первая часть, говорящая о существовании Пегаса, ложна. Однако этого расхождения с обычным истолкованием предложения «Пегас есть летающая лошадь» как истинного легко избежать при подстановочной интерпретации, ибо в этом случае условия истинности указанного предложения определяются следующим образом: существует термин x, такой, что «x есть летающая лошадь» истинно. На это возражение Куайн указывает, что когда мы заменяем, скажем, «Пегас есть летающая лошадь» на (∃x)(x есть Пегас и x есть летающая лошадь), мы не осуществляем перевода, поскольку это предложение и его переформулировка на языке логики предикатов не являются синонимами; тем не менее такая замена важна в целях разъяснения, поскольку она позволяет сохранить всё философски существенное, а всё вводящее в заблуждение устранить [Quine, 1960, p. 258–259].