Современная логика

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

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

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

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

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

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

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

Единичные, общие и пустые имена

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

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

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