Исследованием имен как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И прежде всего логика, для которой имя — одна из основных семантических категорий.
В разных научных дисциплинах под именем понимаются разные, а порой и несовместимые вещи. Логика затратила немало усилий на прояснение того, что представляет собой имя и каким принципам подчиняется операция именования, или обозначения. Нигде, пожалуй, имена не трактуются так всесторонне, глубоко и последовательно, как в логических исследованиях.
В общем случае имя — это выражение языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п.
Например, слово «Цезарь» обозначает отдельный предмет — первого римского императора Цезаря; слово «ученый» обозначает класс людей, каждый из которых занят научными исследованиями; слово «черный» может рассматриваться как обозначение свойства черноты; слово «дальше» — как обозначение определенного отношения между предметами и т. п.
Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (S — подлежащее, Р — сказуемое). Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» — это имена, поскольку подстановка их вместо букв S и Р дает осмысленные предложения: «Амундсен есть человек, открывший Южный полюс», «Скотт есть человек, открывший Южный полюс» и т. п.
