Концепция онтологической относительности и холистический тезис Куайна

Известный "онтологический критерий" У. Куайна — "Существовать — значит быть значением квантифицируемой переменной" — выступает инверсией семантического критерия, поскольку он связывает онтологию со способом ее описания и освобождает подобную связь от свойственного рационалистической традиции каузального детерминизма. С такой точки зрения, сама онтология может рассматриваться в рамках аналитического подхода как функция эпистемологии и/или семантики — например, в аргументах, объясняющих, каким образом мы можем делать значимые высказывания при помощи терминов, обозначающих несуществующие вещи. Принцип онтологической относительности интересен как раз тем, что обещает однородный метод установления онтологических заключений, нейтральный к (реальному) онтологическому статусу референтов.

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

Для решения поставленной проблемы Карнап обращается к понятию языкового каркаса, т. е. некоторой языковой системы, подчиненной определенным правилам, в рамках которой можно говорить о сущностях определенного рода. Задать языковый каркас, по Карнапу, значит задать способы выражения, подчиняющиеся определенным правилам[358]. Таких языковых каркасов может быть построено бесконечное множество. Он утверждает, что вопрос о существовании абстрактных объектов не может быть осмысленно поставлен вне рамок определенных языковых каркасов.

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

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

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

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

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

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

1. Дихотомия аналитического и синтетического предполагает редукционизм, потому что для того, чтобы показать аналитичность предложений вида "все холостяки неженаты", надо прояснить синонимию субъекта и предиката этого утверждения, сведя их к некоей совокупности данных, показывающей, что области значений терминов "холостяк" и "неженатый мужчина" либо совпадают, либо входят одна в другую. Истинность наших утверждений зависит как от языка, так и от внеязыковых фактов, а последние для эмпириста сведутся к подтверждающим данным опыта. В том крайнем случае, когда для определения истинности будет важен только лишь языковой компонент, истинное утверждение будет аналитичным. При этом значения эмпирических терминов не должны меняться в пределах данного языкового каркаса, т.к. иначе будет невозможно доказать аналитичность.

2. Сводимость теоретического знания к эмпирии предполагает дихотомию аналитического и синтетического, так как сведение теоретического предложения к протокольному требует определенных дополнительных посылок, скажем, проверка предложения "Снег бел" требует посылки "Снег существует". Непосредственная сводимость означает "одношаговый" вывод из данного предложения (рассмотренного как теоретическое) "протокола наблюдения", опосредованная — многоступенчатый вывод, при котором доказываются некие промежуточные предложения. При этом данный вывод будет сведением (проверкой) именно рассматриваемого предложения только в том случае, если эти дополнительные посылки будут аналитическими и, следовательно, непроблематичными, не подлежащими проверке.

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

Поэтому Куайн выдвигает тезис онтологической относительности, направленный против некритического принятия онтологии теории в качестве чего-то, существующего абсолютно независимо от языка теории. Онтологическими называют утверждения о существовании объектов; онтологией называется совокупность объектов, существование которых предполагается теорией. Согласно Куайну, онтология дважды относительна. Во-первых, она относительна той теории, интерпретацией которой она является (интерпретировать теорию значит приписать значения ее связанным переменным). Во-вторых, она относительна некоторой предпосылочной теории, в роли которой обычно выступает некоторая исходная система представлений (в предельном случае, в духе Дэвидсона — естественный язык). Онтологические утверждения некоторой новой теории делаются с помощью предпосылочной теории. Первая теория интерпретируется на второй, т.е. термины второй теории используются в качестве значений связанных переменных первой. С такой точки зрения (по выражению Куайна, "с точки зрения эпистемологии"), физические объекты и гомеровские боги не имеют родовых отличий и различаются только в степени интерпретированности, подкрепленности актуальной концептуальной схемой.

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

Разумеется, было бы наивно требовать полной формализации естественного языка и считать отсутствие такой возможности провалом критерия онтологической относительности. Однако в любом случае речь идет о минимальном наборе переменных; вопрос в том, может ли он быть обнаружен без трансформации семантических категорий. Если принимать, по-расселиански, что при предикатах-константах имена выполняют роль переменных, то референции собственных имен и других единичных терминов следует понимать как переменные при предикатах. Но, если, как Куайн, отказывать в существовании в естественных языках особому классу собственных имен (разве что по идиоматическим функциям остающихся таковыми), то тогда роль таких переменных вообще переходит к самим объектам из объема квантификации.

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

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

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

 

T истинно.

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

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

 

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

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

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

 

T истинно.

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

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

 

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

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

 

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

 

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

 

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

 

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

 

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

 

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

 

(4) N(9 = 9)

 

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

 

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

 

Но объектная интерпретация (3) (и прочтение термина "число планет" как единичного) делает конъюнкцию (4) и (5) противоречивой. Подстановочная интерпретация позволяет каждому предложению (3) - (5) быть истинным[360].

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

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

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

 

(6) Нынешний король Франции лыс.

 

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

 

(7) У Мэри был крылатый конь.

 

отвергаются на том основании, что никаких крылатых коней не бывает, поэтому Мэри вряд ли могла бы иметь такое животное, при всем ее на том — пусть понятном — желании. Это предполагает объектное прочтение квантора "не бывает". Наконец, если (1) должно быть истинным, то его условия истинности должны сильно отличаться от условий истинности таких поверхностно подобных предложений, как (7). Это различие должно объяснить, как получается, что, хотя предложение (2) может кем-то полагаться истинным, есть и другой смысл, в котором оно наверняка является ложным, так как в (некоторой) действительности никаких крылатых коней не бывает. Если проведено это различие в условиях истинности, то (1) и (2) должны рассматриваться как неоднозначные и должны быть заменены парами предложений, логические формы которых более ясно указывают их содержание. С точки зрения сторонников объектной квантификации, (1) и (2) должны получить объектную интерпретацию и, следовательно, считаться ложными. Смысл, в котором они могут полагаться истинными, получит парафраз в терминах полаганий некоторых (определенных) людей, или импликаций в некотором корпусе литературных текстов, или истины в некоторых возможных мирах.

Таким образом, обращение к нашим полаганиям относительно (1) и (2) само по себе не требует обращения к подстановочной квантификации. И поскольку возможны референциальные интерпретации (3) - (5), делающие каждое из этих предложений истинным[361], то не обязательно интерпретировать (3) подстановочно. Однако отсюда еще не следует, что логическая форма предложений непременно должна быть дана в терминах объектной квантификации.

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

Рост Бориса – 1 метр 70 см, и рост Владимира – 1 метр 70 см.

Поэтому Борис и Владимир одного роста.

и другие подобные, состоящие из предложений такого вида, имеют форму

H (B, 1-70) & H (V, 1-70)

($ x) [ H (B, x) & H (V, x)]

Если мы используем объектную квантификацию в назначении логической формы, то истинность составляющих импликацию предложений зависит от существования чисел – иными словами, если мы решаем назначить предложению "Борис и Владимир одного роста" форму ($ x) [ H (B, x) & H (V, x)], и при этом полагаем, что это предложение истинно, то мы принимаем онтологическое обязательство к числам, практически по-пифагорейски полагая их существующими наравне с обоими этими людьми. Но если мы рассматриваем основания, на которых мы можем обосновывать принятие решений и наличие полаганий, то мы видим, что подобное обязательство не может послужить нам таким основанием. Основанием для назначения логической формы выступают скорее наши полагания о логической импликации — основанные, в свою очередь, на данных наблюдения, определенных умозаключениях или прецедентах, или на чем бы то ни было, что является релевантным в нашей концептуальной схеме. Но было бы весьма дискуссионным признать за логикой настолько прямое и незатейливое каузальное воздействие на онтологию. Следует скорее признать, что те основания, на которых мы проводим назначение логической формы и на которых мы верим предложениям, получающим эту логическую форму, недостаточны для решения онтологических вопросов. Таким образом, мы должны отклонить требование, согласно которому логическая форма предложений должна быть дана в терминах объектной квантификации.

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

Здесь возникает онтологический аргумент против подстановочной квантификации, основанный на описании значения предикатов в терминах семантической концепции истины Тарского. Определение истины для языка при использовании подстановочной квантификации сможет имплицировать инстансы схемы Тарского (' … истинны только и если только --- ') только тогда, когда оно будет встроено в теорию, в которой обозначение является определимым — что, таким образом, делает возможной для этого языка референциальную семантику[363]. Кроме того, метаязык будет должен иметь такие аксиомы, что все в диапазоне кванторов имело бы имя, и что каждое имя называло бы нечто в диапазоне кванторов. Если бы это было истинно, то у обращения к подстановочной квантификации не было бы никакое онтологического значение. Поскольку в конечном счете нам понадобится определение истины для нашего объектного языка, то это восстановит в метаязыке все онтологические обязательства, которых мы хотели избежать.

В этом аргументе может быть оспорено представление о роли T-эквивалентностей (biconditionals) в утверждении определения истинности. Если цель состоит в том, чтобы гарантировать онтологическую адекватность определения истинности, то не необходимо, чтобы инстансы (T) были логическими следствиями определения: достаточно, чтобы они оставались истинными при замене 'истинно' на definiens, потому что любой предиката, заменяющий 'истинно' во всех случаях (T) без изменения их истинностного значения, будет иметь объемом все истинные предложения объектного языка, и только их. Поскольку в этом состояла цель, установленная Тарским для T-эквивалентностей, постольку они должны быть логическими следствиями определения: для того, чтобы мы могли знать, что определение истинности является онтологически адекватным, мы будем должны знать, что замена 'истинно' на definiens оставляет истинные T-эквивалентности. При этом последние должны будут следовать из определения наряду со всеми другими предложениями, выражающими наше знание относительно терминов, в которых дается definiens. Возможно и другое понимание роли T-эквивалентностей, согласно которому определение истинности должно объяснять каждый инстанс (T). Однако нельзя ожидать объяснения (чем бы его ни считать) T-эквивалентностей от одного лишь определения — скорее для этого потребуется теория истины для определения и других значимых элементов словаря definiens. Следовательно, мы требовали бы выводимости из полной теории, а не из одного только определения. Таким образом, онтологический аргумент против подстановочной квантификации сводится к следующему: чтобы знать, что она материально корректна, мы нуждаемся в метаязыке, который сам делает онтологические обязательства, которых мы пробовали избежать путем обращения к подстановочной семантике.

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

Возможно расширение онтологического аргумента против подстановочной квантификации, связанное с тем, что даже при подстановочной интерпретации экзистенциальный квантор имеет подлинное требование выразить понятие существования. Согласно Куайну, так как подстановочная квантификация валидна вне зависимости от того, каков класс замены, то наделение ее референциальным смыслом вынудило бы нас признать, что предложения типа '($)) ((2+2=4))' затрагивают нашу онтологию. И это вынудило бы нас расценивать ')' как нечто имеющее референцию, что абсурдно. Кроме того, Куайн утверждает, что ограничение класса подстановок единичными терминами влечет за собой обращение к объектной квантификации, так как единичный термин – это именно термин, который может занимать место связанной переменной, интерпретируемой объектно. Здесь возможно следующее возражение: объектная квантификация может начинаться с "основного класса" единичных терминов, который затем пополняется новыми единичными терминами, заменяющими уже только подстановочные переменные. С такой точки зрения сам тот факт, что подстановочная интерпретация дает условия истинности для квантифицированных предложений, означает, что можно говорить об их объектах как о существующих[364]. Однако здесь естественно контрвозражение: далеко не всякое заключение об истинности будет онтологическим утверждением. Иными словами, можно ли утверждать, что подстановочная квантификация способна выразить понятие существования? Например, действительно ли Куайн считает, что это не так?

Квантор не является объектным или подстановочным сам по себе: таким или другим делает его интерпретация, и это очевидно не исключает возможность дальнейшей дополнительной интерпретации. Куайн утверждает, скорее, что при подстановочной интерпретации квантора не принимаются никакие онтологические обязательства per se. Таким образом, просто определить класс подстановок и дать подстановочное определение истинности не означает непременно принимать те или иные онтологические обязательства; но при этом и не устраняется возможность принятия таких обязательств. Тогда, строго говоря, никакой аргумент не угрожает возможности использования подстановочной квантификации онтологически нейтральным способом.

По мнению Куайна, употребление подстановочной квантификации не позволяет избежать онтологических обязательств, а скорее не в состоянии раскрыть их. Если мы применяем референциальную интерпретацию '($ x) Fx ', то у нас возникают проблемы с онтологическим обязательством к F. Однако, если мы можем дать нереференциальный семантический анализ нашего языка, почему бы не предположить, что мы не используем референцию? В конце концов, сам Куайн убеждает нас не приписывать выражению референцию, пока лингвистическое поведение ребенка или аборигена не вынуждает нас переводить его референциально. Кроме того, предположение Куайна, что подстановочная интерпретация направлена только на абстрактные объекты, может быть подвергнуто сомнению, если мы расширяем нашу онтологическую перспективу. Например, может утверждаться, что подстановочная квантификация вполне способна заменить референцию для любого вида сущностей, условия идентичности которых неясны, типа событий. Но означает ли применение подстановочной интерпретации само по себе отказ от признания возможности или релевантности референции?

Анти-подстановочный пафос Куайна таков. В мире Куайна существуют физические объекты и классы. Поскольку причиной применения подстановочной интерпретации, согласно Куайну, является стремление избежать введения абстрактных объектов, кванторы теории множеств получают подстановочную интерпретацию. Если мы позволяем свободные объектные переменные в определении класса и если имеются объекты, не выделяемые единственным образом, то мы получаем аномальные результаты[365].

Пусть ' Y ' — определение класса, которое является истинным для некоторых объектов, но ни для одного, который может быть выделен уникально. Класс Y состоит из членов u, каждый из которых удовлетворяет условию

{ y: u = y } есть единичный подкласс Y & u = u.

Следовательно, каждый u удовлетворяет

($ Z) (u есть единичный подкласс Y & u = u).

Но

($ Z) (Z есть единичный подкласс Y)

ложно, так как требует, чтобы замкнутое определение класса выделяло некоторого члена единственным образом, что нарушает описание Y.

Однако допущение свободных объектных переменных в определении класса объяснимо только, если использование подстановочной квантификации направлено на объяснение лингвистически зависимых родов существования. Если объемы предикатов существуют, то было бы несколько произвольно не допускать существование { x: Fxy } для каждого y, вне зависимости от того, действительно ли мы можем уникально определить y. Но если наша цель состоит в том, чтобы избежать референции к классам в целом, чтобы избежать вопроса об их существовании, то нет никакой причины для разрешения открытых определений класса как подстановок для ' Z ' в '(Z) FZ ', а аномалия Куайна показывает, почему такое разрешение неправомерно.

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

Последнее возражение связано с интенцией Куайна к созданию арифметики с неуказанными конечными границами[366] и его предположением, что метаязык, на котором даются условия истинности, должен интерпретироваться объектно. Однако последнее – не факт: не исключено, что мы можем интерпретировать метаязык подстановочно[367]. Квантор метаязыка может получать подстановочную интерпретацию, чтобы показать что данный смысл квантификации на естественном языке является подстановочным.

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

Сам принцип онтологической относительности инвертирует тезис семантической относительности, представленный принципом лингвистической относительности Сепира — Уорфа[368], или, более широко, эпистемологическими идеями о концептуальной относительности — например, Гудмена и Патнэма. Так, Гудмен считает, что "версия принимается за истинную тогда, когда она не ущемляет никаких устойчивых полаганий и ни одного из своих собственных предписаний"[369]; но не предлагает это как определение предиката 'быть истинным'. Гудмен сообщает нам, что сама истина является только одним аспектом более общего cвойства, которое он называет правильностью, так же, как утверждение суждений и референциальное использование языка представляет только один вид символического функционирования (наряду с выражением и экземплификацией). Истина и правильность могут иногда находиться в противоречии, даже в науке — например, в тех случаях, когда нам нужен ясный, но лишь приблизительно истинный общий закон скорее, чем строго истинное утверждение, которое перегружено не-необходимой информацией. Истина применима только к версиям, которые состоят из утверждений; согласно Гудмену, она зависит от правдоподобия (credibility) и когерентности, т.е. фактически это верификационистская семантика. Гудмен говорит, что мы понимаем наши языки в термин<