Далее, чтобы сделать возможным утверждение (а), L должен содержать выражение, подобие «обозначает» или «есть имя», для семантического отношения обозначения. Если установлены соответствующие правила для этого термина, то следующее предложение точно так же является аналитическим:
(c) ««Пять» обозначает пять».
(Вообще говоря, всякое выражение формы ««…» обозначает…» есть аналитическое предложение, если только термин «…» — постоянная в некотором принятом каркасе. Если последнее условие не выполняется, то выражение не является предложением.) Поскольку (а) следует из (с) и (b), постольку (а) является точно так же аналитическим.
Таким образом, ясно, что если кто-либо принимает каркас чисел, то он должен признать (с) и (b), а следовательно, и (а) истинными предложениями. Вообще говоря, если кто-либо принимает каркас для определенного рода объектов, то он обязан допустить и эти объекты в качестве возможных десигнатов. Таким образом, вопрос о допустимости объектов определенного типа или абстрактных объектов вообще как десигнатов сводится к вопросу о приемлемости языкового каркаса для этих объектов. Как номиналистические критики, отвергающие статус десигнаторов или имен у выражений вроде «красный», «пять» и т. д. вследствие отрицания существования абстрактных объектов, так и скептики, выражающие сомнение в существовании последних и требующие доказательства в его пользу, трактуют вопрос о существовании как теоретический вопрос. Они, конечно, имеют в виду не внутренний вопрос; утвердительный ответ на этот (то есть внутренний) вопрос является, как мы видели, аналитическим, тривиальным и слишком ясным, чтобы можно было сомневаться в нем или отрицать его. Их сомнения относятся скорее к системе самих объектов; следовательно, они имеют в виду внешний вопрос. Они полагают, что только после удостоверения в реальном существовании системы объектов рассматриваемого рода мы вправе принимать данный каркас посредством включения соответствующих лингвистических форм в наш язык. Однако мы видели, что внешний вопрос является не теоретическим, а скорее практическим вопросом о том, принимать или не принимать эти лингвистические формы. Это принятие не нуждается в теоретическом оправдании (кроме как в отношении его целесообразности и плодотворности), потому что оно не предполагает веры или утверждения. Райл говорит, что принцип «Фидо» — Фидо является «гротескной теорией». Гротескный он или нет, но Райл ошибается, называя его теорией. Это скорее практическое решение принять определенные каркасы. Может быть, Райл исторически и прав в отношении тех, кого он упоминает как прежних представителей этого принципа, именно Джона Стюарта Милля, Фреге и Рассела. Если эти философы рассматривали принятие системы объектов как теорию, как утверждение, то они были жертвами той же самой старой метафизической путаницы. Но, конечно, неверно рассматривать мой семантический метод как нечто, связанное с верой в реальность абстрактных объектов, поскольку я отвергаю тезис этого рода, как метафизическое псевдопредложение.
Критики употребления абстрактных объектов в семантике не замечают фундаментальной разницы между принятием системы объектов и внутренним утверждением, например утверждением, что существуют слоны, или электроны, или простые числа больше миллиона. Тот, кто делает внутреннее утверждение, безусловно, обязан подтвердить его свидетельством — эмпирическим свидетельством в случае электронов и логическим доказательством в случае простых чисел. Требование теоретического оправдания, правильное в случае внутренних утверждений, иногда ошибочно применяется к признанию системы объектов. Так, например, Эрнст Нагель в требует «доказательства, дающего основание утверждать, что существуют такие объекты, как бесконечно малые величины или суждения». Он характеризует требуемое в этих случаях доказательство — в отличие от эмпирического доказательства в случае электронов — как «в широком смысле логическое и диалектическое». Кроме этого, не дается никакого намека относительно того, что может рассматриваться как соответствующее доказательство. Некоторые номиналисты рассматривают принятие абстрактных объектов как своего рода суеверие или миф, населяющий мир фиктивными или по крайней мере сомнительными объектами, миф, аналогичный вере в кентавров или демонов. Это опять обнаруживает упомянутую путаницу, потому что суеверие или миф есть ложное (или сомнительное) внутреннее утверждение.
В качестве примера возьмем натуральные числа как количественные числа, то есть в контекстах, подобных «Здесь есть три книги». Языковые формы каркаса чисел, включающие переменные и общий термин «число», широко употребляются в нашем обычном языке сообщений; и для их употребления легко формулировать явные правила. Таким образом, логические характеристики этого каркаса достаточно ясны (тогда как многие внутренние вопросы, то есть арифметические вопросы, являются, конечно, все еще открытыми). Несмотря на это, спор, касающийся внешнего вопроса об онтологической реальности системы чисел, продолжается. Допустим, что какой-либо философ говорит: «Я считаю, что существуют числа как реальные объекты. Это дает мне право употреблять языковые формы числового каркаса и делать семантические утверждения о числах как десигнатах числительных». Его оппонент-номиналист отвечает: «Вы ошибаетесь; никаких чисел не существует. Числительные все же могут употребляться как осмысленные выражения. Но они не имена, так как не существует обозначаемых ими объектов. Поэтому слово «число» и числовые переменные не должны употребляться (если не будет найден способ введения их в качестве сокращений, способ перевода их в номиналистический вещный язык)». Я не могу представить себе никакого возможного доказательства, которое оба философа признали бы пригодным и которое, следовательно, если бы оно действительно было найдено, разрешило бы этот спор или хотя бы сделало бы один из противоположных тезисов более вероятным, чем другой. (Конструирование чисел как классов или свойств второго уровня, согласно методу Фреге — Рассела, конечно, не разрешает спора, потому что первый философ стал бы утверждать, а второй — отрицать существование системы классов или свойств второго уровня.) Поэтому я вынужден рассматривать внешний вопрос как псевдовопрос, пока обе спорящие стороны не предложат какой-либо общей интерпретации этого вопроса, как вопроса познавательного; это включало бы указание на возможное доказательство, пригодное с точки зрения обеих сторон.
Существует особый вид неправильной интерпретации принятия абстрактных объектов в различных областях науки и в семантике, который требует выяснения. Некоторые из ранних английских эмпиристов (например, Беркли и Юм) отрицали существование абстрактных объектов на том основании, что в непосредственном опыте нам дано только индивидуальное, а не универсалии, например это красное пятно, но не Краснота или Цвет Вообще; этот неравносторонний треугольник, а не Неравносторонняя Треугольность или Треугольность Вообще. Только объекты, принадлежащие к типу, экземпляры которого обнаруживаются в непосредственном опыте, могут быть признаны как последние составные части реальности. Таким образом, согласно этому взгляду, существование абстрактных объектов могло бы утверждаться только в том случае, если бы кто-либо мог доказать или то, что некоторые абстрактные объекты попадают в область данного в опыте, или что абстрактные объекты могут определяться в терминах тех типов объектов, которые даны в опыте. Поскольку эти эмпиристы не могли найти никаких абстрактных объектов в области чувственных данных, постольку они или отрицали их существование, или же предпринимали тщетные попытки определять универсалии в терминах индивидуального. Некоторые современные философы, особенно английские философы — последователи Бертрана Рассела, мыслят по существу в подобных же терминах. Они подчеркивают различие между данными (тем, что непосредственно дано в сознании, например чувственными данными, непосредственно прошедшим опытом и т. д.) и конструктами, основанными на этих данных. Существование и реальность приписываются только данным; конструкты же не являются реальными объектами; соответствующие языковые выражения являются только способами речи, ничего в действительности не обозначающими (реминисценция номиналистского flatus vocis). Mы не будем здесь критиковать эту общую концепцию. (В той мере, в какой она является принципом принятия некоторых объектов и непринятия других, оставляя в стороне всякие онтологические, феноменалистические и номиналистические псевдоутверждения, постольку против нее не может быть выставлено какого-либо теоретического возражения.) Но если эта концепция ведет к тому взгляду, что другие философы или ученые, принимающие абстрактные объекты, утверждают или предполагают тем самым наличие их как непосредственно данных, то такой взгляд должен быть отвергнут, как неправильная интерпретация. Ссылки на пространственно-временные точки, электромагнитное поле, или электроны в физике, на действительные или комплексные числа и функции от них в математике, на потенциал возбуждения или бессознательные комплексы в психологии, на инфляционную тенденцию в экономике и т. п. не предполагают утверждения, что объекты этого рода встречаются как непосредственные данные. То
