Исследованием имен как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И, прежде всего, логика, для которой имена — одна из основных семантических категорий.
В разных научных дисциплинах под «именем» понимаются разные, а порой и несовместимые вещи. Логика затратила немало усилий на прояснение того, что представляет собой имя и каким принципам подчиняется операция именования или обозначения. Нигде, пожалуй, имена не трактуются так всесторонне, глубоко и последовательно, как в логических исследованиях.
В романе Ф. Рабле «Гаргантюа и Пантагрюэль» повествуется о том, что Гаргантюа прочел трактат «О способах обозначения» с комментариями Пустомелиуса, Оболтуса, Прудпруди, Галео, Жана Теленка, Громешуцена и пропасть других. И все это он так хорошо усвоил, что на экзамене сумел ответить все наизусть в обратном порядке и доказал матери как дважды два, что «О способах обозначения» не есть наука.
В этом эпизоде звучит явная насмешка над схоластической ученостью, обычно вырождающейся в бесконечно мелкое комментирование. Но очевидна также ирония над самой теорией обозначения: она настолько пуста, что ничего не теряет в своем содержании, даже если излагается «задом наперед».
Уже во времена Ф. Рабле подобная ирония была в общем-то несправедливой. Проблема обозначений являлась одной из наиболее живых и разработанных в средневековой логике.
С тех пор прошло несколько веков. Логический анализ имен заметно продвинулся вперед. Особенно важные результаты были получены в изучении имен в формализованных языках. Многое стало гораздо яснее и в отношении имен в естественных языках. Теория обозначения сделалась полноправным разделом современной логики.
Однако и сейчас эта теория лишена единства и универсальности. Она слагается из целого ряда концепций, в чем-то близких друг другу, но во многом и конфликтующих одна с другой. Ни одна из них не охватывает и не объясняет с единой точки зрения всех многообразных имен. Отсутствие единства в представлениях об именах настолько существенно, что нет твердости и единообразия даже в самом употреблении понятия «имя». По-разному решается вопрос, какие выражения языка относятся к именам, а какие нет. От автора к автору меняются классификации имен. Но больше всего споров и несогласия по поводу содержания, или значения, имен. Что связывается с именем в языке и в самом мире? Какие имена имеют одинаковое значение, а какие разное? В каких контекстах они взаимозаменимы? И так далее и тому подобное до бесконечности…
Отсутствие даже намека на какую-то «окончательность» логической теории имен и единообразие суждений об именах и их значениях является отражением общего уровня логического анализа языка. Имена — один из наиболее важных элементов языка. И уровень, и стиль рассуждений о них не может принципиально отличаться от общего уровня и стиля рассуждений о языке в целом. Последние же менее всего создают впечатление окончательного синтеза и завершенности.
Нужно иметь в виду также то, что само обычное употребление имен далеко от определенности и последовательности. Всякая теория стремится представить исследуемые объекты такими, какими они являются на самом деле. Естественно, что и логическая теория не должна вносить от себя в расплывчатое, непоследовательное и фрагментарное употребление обычных имен какую-то специальную систему и порядок.
Иначе обстоит дело в случае искусственных языков. Употребление в них имен или соответствующих именам выражений не обязано повторять во всех деталях и случайностях употребление имен в естественном языке. «Искусственные» имена можно ввести так, что они будут соответствовать самым высоким требованиям и стандартам, какие только можно предъявить к именам.
Но и здесь остается вопрос: откуда взяться этим стандартам, если не из анализа естественного языка и опирающегося на него языка науки? От естественного языка не удается все-таки уйти окончательно.
В общем случае имя — это выражение языка, обозначающее отдельный предмет или некоторую совокупность предметов.
Способность обозначать что-то является специфической особенностью имени. Только имена обозначают и, собственно говоря, быть именем и обозначать — это одно и то же. Как и обычно, в логике «предмет», к которому отсылает имя, понимается предельно широко — как все, что может быть названо.
Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «
