Исследованием имён как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И прежде всего логика, для которой имя – одна из основных семантических категорий.
В разных научных дисциплинах под именем понимаются разные, а порой и несовместимые вещи. Логика затратила немало усилий на прояснение того, что представляет собой имя и каким принципам подчиняется операция именования, или обозначения. Нигде, пожалуй, имена не трактуются так всесторонне, глубоко и последовательно, как в логических исследованиях.
В общем случае имя – это выражение языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п.
Например, слово «Цезарь» обозначает отдельный предмет – первого римского императора Цезаря; слово «учёный» обозначает класс людей, каждый из которых занят научными исследованиями; слово «чёрный» может рассматриваться как обозначение свойства черноты; слово «дальше» – как обозначение определённого отношения между предметами и т.п.
Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (S – подлежащее, Р – сказуемое). Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» – это имена, поскольку подстановка их вместо букв S и Р даёт осмысленные предложения: «Амундсен есть человек, открывший Южный полюс», «Скотт есть человек, открывший Южный полюс» и т.п.
Имена различаются между собой в зависимости от того, сколько предметов они означают. Единичные имена обозначают один и только один предмет. Общие имена обозначают более чем один предмет. Единичным именем является к примеру слово «Солнце», обозначающее единственную звезду в Солнечной системе. Единичным является и имя «естественный спутник Земли», поскольку оно обозначает Луну, являющуюся единственным таким спутником Земли. К общим относятся имена «человек», «женщина», «школьник» и т.п. Все эти имена связаны с множествами, или классами, предметов. При этом имя относится не к множеству как единому целому, а к каждому входящему в него предмету. Слово «человек» обозначает не всех людей вместе, а каждого в отдельности, о ком можно сказать: «Это человек». В отличие от понятия «человек», слово «человечество» не общее, а единичное имя: объект, который можно назвать «человечеством», всего один. Слово «галактика» является общим именем, поскольку во Вселенной есть, помимо нашей Галактики, и другие галактики. Слово же «Вселенная» – единичное имя, так как Вселенная является единственной.
Среди общих имён особое значение имеют понятия.
Понятие представляет собой общее имя с относительно ясным и устойчивым содержанием, используемое в обычном языке или в языке науки.
Понятиями являются, к примеру, «дом», «квадрат», «молекула», «кислород», «атом», «любовь», «бесконечный ряд» и т.п. Отчётливой границы между теми именами, которые можно назвать понятиями, и теми, которые не относятся к понятиям, не существует. «Атом» уже с античности является достаточно оформившимся понятием, в то время как «кислород» и «молекула» до XVIII в. вряд ли могли быть отнесены к понятиям.
Имя «понятие» широко используется и в повседневном, и в научном языке. Однако в истолковании содержания этого имени единства мнений нет. В одних случаях под «понятиями» имеют в виду все имена, включая и единичные. К понятиям относят не только «столицу» и «европейскую реку», но и «столицу Белоруссии» и «самую большую реку Европы». В других случаях понятия понимаются как общие имена, отражающие предметы и явления в их существенных признаках. Иногда понятие отождествляется с содержанием общего имени, со смыслом, стоящим за таким именем.
Далее под понятиями понимаются все общие имена, для которых имеется какое-то определение или содержание которых является относительно ясным. Слово «понятие» будет использоваться, таким образом, в своём обычном или близком к обычному смысле, а не в качестве специального логического термина.