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

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

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

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

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

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

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

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

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

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

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

Далее под понятиями понимаются все общие имена, для которых имеется какое-то определение или содержание которых является относительно ясным.

Содержание понятия – совокупность тех свойств, которые присущи всем предметам, обозначаемым данным понятием, и только им.

К примеру, склероз – это, как известно, уплотнение каких-либо органов, вызванное гибелью специфических для этих органов элементов и заменой их соединительной тканью. Перечисленные свойства составляют содержание понятия «склероз». Они позволяют относительно любой ситуации решить, можно ли назвать происшедшие в органе изменения склерозом или нет. Содержание понятия «стул» составляют свойства быть предметом мебели, предназначенным для сидения, и иметь ножки, сиденье и спинку. Этими свойствами, относящимися к функциям стула и его строению, обладает каждый стул и не обладает ничто иное. Если изъять из числа структурных частей стула, скажем, спинку, получим содержание уже иного понятия («табурет»). В содержание понятия «стол» входят признаки быть предметом мебели, предназначенным для сидения за ним, и иметь ножки и крышку.

Помимо содержания, или смысла, понятие имеет также объем.

Объем понятия – совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание понятия.

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

Понятия находятся в различных отношениях друг к другу. Между объемами двух произвольных понятий, которые есть какой-то смысл сопоставлять друг с другом, имеет место одно и только одно из следующих отношений: равнозначность, пересечение, подчинение (два варианта) и исключение.

Равнозначность – отношение между понятиями, объемы которых полностью совпадают.

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

Равнозначность означает совпадение объемов двух понятий, но не их содержаний. Например, объемы понятий «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук – чей-то сын), но содержания их различны.

Отношения между объемами понятий можно геометрически наглядно представить с помощью круговых схем. Они называются по имени математика XVIII в. Л. Эйлера «кругами Эйлера». Каждая точка круга представляет один предмет, входящий в объем рассматриваемого понятия. Точки вне круга представляют предметы, не подпадающие под это понятие.

Отношения между двумя равнозначными понятиями изображаются в виде двух полностью совпадающих кругов.

Пересечение – отношение между понятиями, объемы которых частично совпадают.

Пересекаются, например, понятия «летчик» и «космонавт»: некоторые летчики являются космонавтами; некоторые летчики не космонавты; некоторые космонавты – не летчики.

Подчинение – отношение между понятиями, объем одного из которых полностью входит в объем другого.

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