Эти наивные представления об именах как свойствах вещей не являются чем-то оставшимся целиком в далеком и темном прошлом. Рецидивы этих представлений встречаются даже сейчас. Астроном В. Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, что можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?»

Ответ на такой вопрос прост. Астрономы узнают имена открытых ими небесных тел так же, как родители узнают имена своих детей — давая им эти имена. Но сам, факт подобного вопроса показывает, что иллюзия «приклеенности», «привинченности» имен к вещам нуждается в специальном объяснении.

Роль имен в языке настолько велика и заметна, что иногда даже в науке о языке придание имен вещам считается едва ли не единственной задачей языка. Связь языка с миром представляется при этом как какое-то развешивание имен-ярлыков. В частности, существует и пользуется известностью логико-семантическая теория, явно склонная видеть среди выражений языка по преимуществу одни имена. Даже предложения оказываются для нее не описаниями каких-то ситуаций или требованиями каких-то действий, а только именами особых «абстрактных предметов» — истины и лжи.

Исследованием имен как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И прежде всего логика, для которой имена — одна из основных семантических категорий.

В разных научных дисциплинах под «именем» понимаются разные, а порой и несовместимые вещи. Логика затратила немало усилий на прояснение того, что представляет собой имя и каким принципам подчиняется операция именования, или обозначения. Нигде, пожалуй, имена не трактуются так всесторонне, глубоко и последовательно, как в логических исследованиях.

В романе Ф. Рабле «Гаргантюа и Пантагрюэль» повествуется о том, что Гаргантюа прочел трактат «О способах обозначения» с комментариями Пустомелиуса, Оболтуса, Прудпруди, Галео, Жана Теленка, Громешуцена и пропасть других. И все это он так хорошо усвоил, что на экзамене сумел ответить все наизусть в обратном порядке и доказал матери как дважды два, что «О способах обозначения» не есть наука.

В этом эпизоде звучит явная насмешка над схоластической ученостью, обычно вырождающейся в бесконечно мелкое комментирование. Но очевидна также ирония над самой теорией обозначения: она настолько пуста, что ничего не теряет в своем содержании, даже если излагается «задом наперед».

Уже во времена Ф. Рабле подобная ирония была в общем-то несправедливой. Проблема обозначений являлась одной из наиболее живых и разработанных в средневековой логике.

С тех пор прошло несколько веков. Логический анализ имен заметно продвинулся вперед. Особенно важные результаты были получены в изучении имен в формализованных языках. Многое стало гораздо яснее и в отношении имен в естественных языках. Теория обозначения сделалась полноправным разделом современной логики.

Однако и сейчас эта теория лишена единства и универсальности. Она слагается из целого ряда концепций, в чем-то близких друг другу, но во многом и конфликтующих одна с другой. Ни одна из них не охватывает и не объясняет с единой точки зрения всех многообразных имен. Отсутствие единства в представлениях об именах настолько существенно, что нет твердости и единообразия даже в самом употреблении понятия «имя». По-разному решается вопрос, какие выражения языка относятся к именам, а какие нет. От автора к автору меняются классификации имен. Но больше всего споров и несогласия по поводу содержания, или значения, имен. Что связывается с именем в языке и в самом мире? Какие имена имеют одинаковое значение, а какие разное? В каких контекстах они взаимозаменимы? И так далее и тому подобное до бесконечности…

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

Нужно иметь в виду также то, что само обычное употребление имен далеко от определенности и последовательности. Всякая теория стремится представить исследуемые объекты такими, какими они являются па самом деле. Естественно, что и логическая теория не должна вносить от себя в расплывчатое, непоследовательное и фрагментарное употребление обычных имен какую-то специальную систему и порядок.

Иначе обстоит дело в случае искусственных языков. Употребление в них имен или соответствующих именам выражений не обязано повторять во всех деталях и случайностях употребление имен в естественном языке. «Искусственные» имена можно ввести так, что они будут соответствовать самым высоким требованиям и стандартам, какие только можно предъявить к именам.

Но и здесь остается вопрос: откуда взяться этим стандартам, если не из анализа естественного языка и опирающегося на него языка науки? От естественного языка не удается все-таки уйти окончательно.

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

Способность обозначать что-то является специфической особенностью имени. Только имена обозначают; и, собственно говоря, быть именем и обозначать — это одно и то же. Как и обычно в логике, «предмет», к которому отсылает имя, понимается предельно широко — как все, что может быть названо.

Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «А есть В». Скажем «Гарвей», «Платон» и «человек, открывший кровообращение» — это имена, поскольку подстановка их в данное предложение вместо букв А и В дает осмысленные предложения: «Гарвей есть человек. открывший кровообращение», «Платон есть человек, открывший кровообращение» и т. д. Выражения же «плачет», «больше», «или» и т. п. именами не являются: «Гарвей есть плачет», «Гарвей есть больше», «Гарвей есть или» и т. п. — все это бессмысленные образования.

Имена различаются между собой в зависимости от того, со сколькими предметами они связаны. Единичные имена обозначают один и только один предмет. Общие имена обозначают более чем один предмет. Пустые, или беспредметные, имена не обозначают ни одного предмета.

Единичным именем является, к примеру, слово «Луна», поскольку оно обозначает единственного естественного спутника Земли. Единично и имя «высочайшая вершина мира», обозначающее Эверест и ничего другого.

Нетрудно заметить, что между этими двумя единичными именами есть важная разница. То, что Луна всего одна, зависит только от законов природы, определивших устройство солнечной системы, и совершенно не зависит от законов языка. Но то, что высочайшая в мире вершина только одна, как-то зависит и от нашего языка. По самому смыслу имени «высочайшая вершина в мире» таких вершин не может оказаться больше одной. Оборот «две высочайшие вершины» внутренне противоречив, в отличие от оборота «две наиболее высокие вершины». Имя же «естественный спутник Земли», взятое само по себе, никак не предопределяет точное число таких спутников.

К общим именам относятся «книга», «человек», «планета», «число» и т. д. Такие имена связаны всегда с множеством, или классом, предметов. При этом имя относится не к множеству как единому целому, а к каждому входящему в него предмету. Слово «книга» обозначает не все книги вместе, а каждую из отдельных книг, то есть всякий предмет, о котором можно сказать: «Это книга». Слово «человек» является именем каждого отдельного человека, и в частности именем читателя этой книги, точно так же как и именем ее автора и вообще любого человека. В отличие от «человека» слово «человечество» не общее, а единичное имя: предмет, который можно назвать «человечеством», всего один.