Язык, онтология и реализм - Лолита Макеева
Шрифт:
Интервал:
Закладка:
На первый взгляд можно усмотреть значительное методологическое различие между философскими и научными вопросами существования, состоящее в том, что при обсуждении философских вопросов рассуждения об объектах, как правило, переводятся в рассуждения о словах. По мнению Куайна, подобное «семантическое восхождение» характерно не только для философии, но и для науки в целом. Подобно вопросу о существовании дронтов или тахионов, вопрос о существовании, скажем, психических феноменов также связан с изменением концептуальной схемы, и его решение в такой же мере, считает Куайн, подчинено эмпирическим ограничениям. Пересмотр концептуальной схемы, вызванный определенным решением онтологического вопроса, равносилен согласованию научных теорий с новыми эмпирическими данными. «Каждый такой пересмотр есть приспособление научной схемы, сопоставимое с введением или отвержением некоторой категории физических элементарных частиц» [Quine, 1960, p. 123]. Соответственно тот факт, что онтологи часто говорят о словах, еще не доказывает, что в конечном счете их вопросы касаются языка, а не реальности.
Согласно Куайну, философ, занимающийся онтологическими изысканиями, должен прежде всего разъяснить, на каких основаниях принимается решение о существовании или несуществовании тех или иных видов объектов или сущностей, т. е. он должен сформулировать критерий существования. Как хорошо известно, сам Куайн в качестве такого критерия предложил идею «онтологических обязательств».
Мы видели, что референция в представлении Куайна не является фундаментальным отношением между миром и языком; она не является тем средством, с помощью которого язык приобретает свое эмпирическое содержание. Фундаментальным является отношение, устанавливаемое на уровне предложений наблюдения и сенсорных стимуляций, определяющих истинность этих предложений. Поэтому принятие предложений как истинных предшествует установлению референции слов, из которых эти предложения состоят: мы начинаем с совокупности истинных предложений (теории) и только потом ставим вопрос о существовании. В этом смысле истина предшествует существованию. Отсюда вытекает идея онтологического обязательства: мы обязаны признать существующими те объекты, которые должны существовать, чтобы принимаемая нами теория была истинной [Quine, 1969, p. 93]. Это означает, что существующее — это не что-то такое, в чем мы можем непосредственно удостовериться; это нечто постулируемое нами в целях получения концептуальной схемы, согласующейся с эмпирическими данными. «Наши рассуждения о внешних вещах, само наше понятие вещи есть лишь концептуальное средство, которое помогает нам предвидеть и контролировать возбуждение наших сенсорных рецепторов в свете их предыдущих возбуждений» [Quine, 1981, 229]. Вместе с тем для Куайна с его натуралистической философией только выявлением онтологических обязательств, принимаемых в наших лучших научных теориях, мы сможем ответить на вопрос, какие виды объектов действительно существуют.
Так как же можно установить онтологические обязательства, принимаемые в той или иной теории? Для этого, утверждает Куайн, необходимо точно определить, какие виды языковых выражений, встречающиеся в теории, являются референциальными и поэтому обязывают нас принять обозначаемые ими объекты и сущности в качестве существующих. Однако онтологические обязательства не могут быть просто считаны из свободно сформулированной теории; их выявление, согласно Куайну, требует использования искусственного формального языка. Наилучшим образом для этих целей подходит, по его мнению, экстенсиональный язык первопорядковой логики предикатов с равенством, который он называет «канонической нотацией». Перевод теории на такой язык будет включать переструктурирование ее предложений, которое позволит выявить и минимизировать принимаемые в ней онтологические обязательства. Согласно Куайну, переструктурирование служит цели «понимания референциальной работы языка и разъяснения нашей концептуальной схемы» [Quine, 1960, p. 158].
Идея Куайна состоит в том, что, когда мы переформулируем теорию с помощью канонической нотации, ее онтологические обязательства станут очевидными. Это связано с тем, что можно будет сразу выделить предложения с квантором существования, которые содержатся в теории или выводятся из нее. Для того чтобы такое предложение было истинным (а мы, как было указано, исходим из того, что теория в целом истинна, а стало быть, истинны и предложения, из которых она состоит), должен существовать по крайней мере один объект, который является значением связанной (или квантифицированной) переменной в этом предложении. Например, чтобы предложение '∃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].