Елена Середкина - Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

Итак, разговор о теориях поднимает проблему формулирования. Теория представляет собой множество полностью интерпретированных предложений (точнее, оно является дедуктивно замкнутым множеством: включает все свои собственные логические следствия, поскольку они выражены в тех же самых обозначениях). Но если предложения теории полностью интерпретированы, то, в частности, области значений их переменных установлены. Почему же тогда бессмысленно говорить, каковы объекты теории?

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

Возникает искушение заключить, что просто бессмысленно пытаться высказываться обо всем в нашем универсуме. Ведь такая универсальная предикация получает смысл, только когда она оснащена предпосылочным языком более широкого универсума, где эта предикация более не универсальна. В принципе это известная доктрина, доктрина о том, что отсутствует собственный (proper) предикат, истинный на всех предметах. Мы все слышали о том, что предикат осмыслен только при сопоставлении с тем, что он исключает, и, следовательно, бытие истинным на всех предметах сделало бы предикат бессмысленным. Но, конечно же, эта доктрина ложная. Ясно, например, что самотождественность не может отвергаться как бессмысленная. По этой причине любое утверждение о факте, как бы брутально осмысленным оно ни было, может быть искусственно переведено в форму, в которой оно высказывается о всех предметах. Например, просто сказать о Джоунзе, что он поет, значит сказать обо всем, что отлично от Джоунза и от песнопения. Лучше мы поостережемся отрекаться от универсальной предикации, чтобы не попасть в сети, заставляющие отрекаться от всего, высказываемого обо всем.

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

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

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

То, что делает онтологические вопросы бессмысленными, если они рассматриваются абсолютно (а не относительно), — это не их универсальность, а их свойство быть логическим кругом. Вопрос в форме "Что есть F?" (&quotWhat is an F?") может получить ответ только обращением к следующему термину &quotF есть G" (&quotAn F is a G?"). Ответ имеет только относительный смысл: смысл, относительный к некритическому принятию G.

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