3. Что значит принятие какого-либо рода объектов?

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

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

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

От внутренних вопросов мы должны ясно отличать внешние вопросы, то есть философские вопросы, касающиеся существования или реальности всей системы новых объектов в целом. Многие философы рассматривают вопрос такого рода как онтологический вопрос, который должен быть поставлен, и ответ, на который должен быть получен до введения новых языковых форм. Это введение, как они считают, будет законным только в том случае, если оно будет оправдано онтологической интуицией, дающей утвердительный ответ на вопрос о реальности. В противоположность этому взгляду мы полагаем, что введение новых способов речи не нуждается в каком-либо теоретическом оправдании, потому что оно не предполагает какого-либо утверждения реальности. Мы можем все же говорить (как мы и делали) о «принятии новых объектов», поскольку эта форма речи является обычной, но при этом следует иметь в виду, что эта фраза не значит для нас ничего больше, кроме принятия нового языкового каркаса, то есть новых языковых форм. Прежде всего она не должна интерпретироваться как относящаяся к допущению, вере или утверждению «реальности объектов». Ничего этого здесь нет. Предложение, претендующее на утверждение реальности системы объектов, является псевдоутверждением, лишенным познавательного содержания. Конечно, здесь перед нами стоит важный вопрос; но это практический, а не теоретический вопрос; это вопрос о том, принять или не принять новые языковые формы. Это принятие не может оцениваться как истинное или ложное, потому что оно не является утверждением. Оно может расцениваться только как более или менее целесообразное, плодотворное, ведущее к той цели, которой служит язык. Оценки этого рода дают мотивировку решения, принять или отвергнуть те или иные объекты[7].

Таким образом, ясно, что принятие какого-либо языкового каркаса не должно рассматриваться как подразумевающее какую-то метафизическую доктрину, касающуюся реальности рассматриваемых объектов. Мне кажется, что именно из-за пренебрежения этим важным различием некоторые современные номиналисты называют допущение переменных абстрактных типов «платонизмом»[8]. Это, по меньшей мере, совершенно неправильная терминология. Она имела бы абсурдное следствие, что позиция каждого, кто принимает язык физики с ее переменными для действительных чисел (как язык сообщения, а не просто как исчисление), называлась бы платонизмом, даже если бы он был строгим эмпиристом, отвергающим платоновскую метафизику.

Здесь можно добавить краткую историческую справку. Непознавательный характер вопросов, которые мы здесь назвали внешними вопросами, был признан и подчеркнут уже Венским кружком под руководством Морица Шлика — группой, с которой началось движение логического эмпиризма. Под влиянием идей Людвига Витгенштейна кружок отверг и тезис о реальности внешнего мира, и тезис о его нереальности, как псевдоутверждения[9]; то же самое было с тезисом о реальности универсалий (абстрактных объектов в нашей настоящей терминологии) и с номиналистическим тезисом о том, что они не реальны и что присвоенные им имена не являются на самом деле именами чего-либо, а представляют собой просто flatus vocis. (Очевидно, что явное отрицание псевдоутверждения также должно быть псевдоутверждением.) Поэтому неправильно называть членов Венского кружка номиналистами, как это иногда делают. Однако если мы учтем основную антиметафизическую и пронаучную позицию большинства номиналистов (и то же самое относится ко многим материалистам и реалистам в современном смысле), не обращая внимания на их случайные псевдотеоретические формулировки, то окажется, конечно, верным, что Венский кружок был гораздо ближе к этим философам, чем к их противникам.