Человеческое познание его сферы и границы

В. Логическая точка зрения. Чистая логика не имеет дела с именами, поскольку ее предложения содержат только переменные. Но логик в те моменты, когда он не стоит на своей профессиональной точке зрения, может интересоваться вопросом, какие постоянные могут быть подставлены под его переменные. Логик выдвигает как один из своих принципов, что если "fx" верно для всякого значения "х", то "fd" верно, где "о" может быть любой постоянной. Этот принцип не возражает против постоянных, потому что слова "любая постоянная" есть переменная; но он предназначен для оправдания тех, кто хочет применять логику. Всякое применение логики или математики состоит в подстановке постоянных под переменные; поэтому, если логика или математика применяются, важно знать, какого рода постоянные могут подставляться под какие переменные. Если допускается любой вид переменных, то "собственные имена" будут "постоянными, являющимися значениями переменных низшего типа". В такой точке зрения содержится много трудностей. Я не буду поэтому развивать ее дальше.

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

Д. Эпистемологическая точка зрения. Во-первых, здесь различие не тождественно с различием между собственными именами и другими словами, но, вероятно, связано с ним. Это - различие между словами, определяемыми вербально, и словами, определяемыми наглядно. Что касается последних, то ясны два пункта: 1) не все слова могут иметь вербальные определения; 2) весьма произвольным остается, какие слова должны определяться наглядным способом. Например, если "Наполеон" определяется наглядным способом, то "Жозеф Бонапарт" может быть определен вербально, как "старший брат Наполеона". Однако эта произвольность ограничивается тем, что в языке данного лица наглядные определения возможны только в пределах его личного опыта. Друзья Наполеона могли (подчиняясь ограничениям) определить его наглядно, а мы не можем, поскольку мы никогда не сможем сказать: "Вот Наполеон". Ясно, что эта проблема связана с проблемой собственных имен; как именно - сейчас я не буду разбирать.

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

В системе Карнапа под пространственно-временную точку подставляется группа из четырех чисел. Например, вместо выражения "Синий (a)", обозначенного "Объект а - синий", он подставляет выражение "Синий (х1, х2, х3 х4", обозначающее "Положение (х1, х2 х3, Х4) - синее". Но теперь рассмотрим такое предложение, как "Наполеон был на Эльбе в течение некоторой части 1814 года". Карнап - как я уверен - согласится, что это истинное предложение и что его истинность эмпирического, а не логического характера. Но если мы переведем это предложение на его язык, оно станет логической истиной. "Наполеон" будет замещен выражением: "все четверки чисел, заключающиеся в таких-то и таких-то пределах"; так же будет замещена "Эльба" и "1814". Затем мы будем утверждать, что эти три класса четверок имеют что-то общее. Это, однако, уже логический факт. Ясно, что это не то, что мы имели в виду раньше. Мы даем имя "Наполеон" определенной области не потому, что мы занимаемся здесь топологией, а потому, что эта область имеет определенные, интересные для нас характеристики. Встанем на точку зрения Карнапа и предположим, принимая схематическое упрощение, что "Наполеон" должно значить - "все области, имеющие определенное качество, скажем N", а "Эльба" - "все области, имеющие качество Е". Тогда предложение: "Наполеон провел некоторое время на Эльбе" станет предложением: "Все области, имеющие качество N, и области, имеющие качество Е, частично совмещаются". Но это уже больше не логический факт. Зато здесь собственные имена обычного языка истолковываются как замаскированные предикаты.