Основные функции, или употребления, языка – это те основные) задачи, которые решаются языком в процессе коммуникации и познания.

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

Описательное употребление языка иногда выделяется словами "истинно", "верно", "на самом деле" и т.п.

Долгое время считалось, что описание – это единственная функция языка или, во всяком случае, та его функция, к которой может быть сведено любое иное его употребление. Предполагалось, что любое грамматически правильное повествовательное предложение является описательным, и значит, истинным или ложным.

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

Еще одна функция языка – попытка заставить что-то сделать. Выражения, в которых реализуется намерение говорящего добиться того, чтобы слушающий совершил нечто, разнообразны. Это – команды, приказы, требования, предписания, законы, правила и т.п., короче говоря, нормы. Их примерами могут служить выражения: "Прекратите говорить!", "Старайтесь приносить максимум пользы как можно большему числу людей", "Следует быть стойким" и т.п. Нормы, в отличие от описаний, не являются истинными или ложными, но они могут быть обоснованными или необоснованными, полезными или бесполезными, способствующими достижению каких-то целей или нет и т.п.

Язык может служить также для выражения разнообразных чувств: "Сожалею, что разбудил вас", "Искренне сочувствую вам", "Поздравляю с праздником", "Приветствую всех, кто пришел", "Извините, но не смогу быть" и т.п. Выражения чувств называются экспрессивами. В них выражаются определенные психические состояния и идет речь о каком-то свойстве (не обязательно действии), приписываемом либо говорящему, либо слушающему. К примеру, я вправе поздравить вас с победой на соревнованиях, если вы действительно победили и если я на самом деле рад вашей победе. В этом случае поздравление будет искренним, и его можно считать истинным, т.е. соответствующим внешним обстоятельствам и моим чувствам. Если же я поздравляю вас с тем, что вы хорошо выглядите, хотя на самом деле вы выглядите неважно, мое поздравление неискренне. Оно не соответствует реальности, и если я знаю об этом, то не соответствует и моим чувствам. Такое поздравление можно оценить как ложное. Ложным было бы и поздравление с тем, что вы открыли квантовую механику: и мне, и вам заведомо известно, что это не так, и поздравление выглядело бы насмешкой.

Язык может использоваться, далее, для изменения мира словом. Именно эта задача решается, например, выражением: "Назначаю вас председателем", "Ухожу в отставку", "Я заявляю: Наш договор (настоящим) расторгнут", "Увольняю вас", "Объявляю военное положение", "Обручаю вас" ("Объявляю вас мужем и женой") и т.п. Такие выражения называются декларациями и выполняют специальную функцию: они меняют существовавшее до их произнесения положение вещей. Если я успешно осуществляю акт назначения вас председателем, вы становитесь председателем, а до этого акта вы не были им; если я успешно выполняю акт производства вас в генералы, в мире сразу же становится одним генералом больше и т.д. Когда футбольный арбитр говорит: "Вы удаляетесь с поля", вы оказываетесь вне игры, и она, по всей очевидности, меняется.

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

Язык может использоваться также для обещаний, т.е. для того, чтобы возложить на говорящего обязательство совершить некоторое будущее действие или придерживаться определенной линии поведения. Обещаниями являются, к примеру, выражения: "Обещаю вести себя примерно", "Клянусь говорить правду и только правду", "Буду всегда вежлив" и т.п. Обещания можно истолковать как просьбы к самому себе, т.е. как нормы, адресованные говорящим самому себе и в чем-то предопределяющие его поведение в будущем. Как и все нормы, обещания не являются истинными или ложными. Они могут быть обдуманными или поспешными, целесообразными или нецелесообразными и т.п.

Язык может использоваться, наконец, для оценок, т.е. для выражения положительного, отрицательного или нейтрального отношения к рассматриваемому объекту или, если сопоставляются два объекта, для выражения предпочтения одного из них другому или утверждения равноценности их друг другу. Оценками являются, например, выражения: "Хорошо, что погас свет", "Плохо, когда кто-то опаздывает", "Лучше прийти раньше, чем опоздать" и т.п. Подробнее об оценках мы поговорим в дальнейшем, здесь же отметим только, что оценки столь же фундаментальны и ни к чему не сводимы, как и описания. Но в отличие от описаний они не являются истинными или ложными, а могут быть только глубокими или поверхностными, общепринятыми или нет, эффективными или нет и т.п.

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

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

Экспрессивы представляют собой своеобразные описания, и как все описания, являются истинными или ложными.

Обещание – это норма, адресованная самому себе. Декларация – норма, адресованная всем, кого она касается и кто должен будет считаться с тем изменением мира, которое произошло, благодаря произнесенным словам. Сами же нормы представляют собой частный случай оценок: это оценки с предполагаемым потенциальным наказанием. К примеру, норма (команда): "Организуйте комиссию!" означает, что создание комиссии оценивается положительно, и если она не будет создана, последует какое-то наказание.

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

За оппозицией "описание – оценка" стоит в конечном счете оппозиция "истина – ценность", и первая не может быть ясно понята без прояснения второй.

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

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

Ценности – неотъемлемый элемент всякой деятельности, а значит и всей человеческой жизни, в каких бы формах она ни протекала.

Вопрос о соотношении истины и ценности – один из аспектов более общей проблемы взаимосвязи теории и практики, созерцания и действия.

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

Однако, ценность, как и истина, является не свойством, а отношением между мыслью и действительностью.

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

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

Понимание истины как соответствия утверждений описываемым ими ситуациями – это так называемое "классическое" ее определение. Определение ценности как соответствия самих объектов утверждениям о них также восходит к античности и с таким же правом может быть названо классическим.

Ценность, как и истина, не существует вне связи мысли и действительности.

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

Еще один пример возможности двух разных направлений соответствия между словами и миром.* Предположим, что некий покупатель наполняет в супермаркете свою тележку, ориентируясь на имеющийся у него список. Другой человек, наблюдающий за ним, составляет список отобранных им предметов. При выходе из магазина в руках у покупателя и его наблюдателя могут оказаться два одинаковых списка, имеющих совершенно разные функции. Цель списка покупателя в том, чтобы, так сказать, приспособить мир к словам; цель списка наблюдателя – привести слова в согласие с действительностью. Для покупателя отправным пунктом служит список; мир, преобразованный в соответствии с последним, будет позитивно ценным (хорошим). Для наблюдателя исходным является мир; список, соответствующий ему, будет истинным. Если покупатель допускает ошибку, для ее исправления он предпринимает предметные действия, видоизменяя плохой, не отвечающий списку мир. Если ошибается наблюдатель, он вносит изменения в ложный, не согласующийся с миром список.

* См.: Anscombe G.E.M. Intention. Oxford, 1957. Ch. 1.

Цель описания – сделать так, чтобы слова соответствовали миру, цель оценки – сделать так, чтобы мир отвечал словам. Это – две диаметрально противоположные функции. Очевидно, что они не сводимы друг к другу. Нет оснований также считать, что описательная функция языка является первичной или более фундаментальной, чем его оценочная функция.

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

ЛОГИЧЕСКАЯ ГРАММАТИКА

Из грамматики хорошо известно деление предложений на части речи – существительное, прилагательное, глагол и т.д. Деление языковых выражений на семантические категории, широко используемое в логике, напоминает это грамматическое подразделение и в принципе произошло из него. На этом основании теорию семантических категорий иногда называют "логической грамматикой". Ее задача – предотвращать смешение языковых выражений разных типов, которое ведет к образованию бессмысленных выражений, подобных "Квадратичность пьет воображение" или "Если дует ветер, то звезда".

Идея семантических категорий была выдвинута в начале этого века Э.Гуссерлем, называвшим их "категориями значения". Как логико-философская доктрина, имеющая обширные приложения в исследованиях языка, теория категорий была детально развита польскими логиками С.Лесневским, К.Айдукевичем и А.Тарским.

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

Например, имена Сократ и Платон относятся к одной и той же семантической категории: замена одного из них другим в любом осмысленном предложении дает опять-таки осмысленное предложение. Скажем, предложение "Платон был учителем Аристотеля" является осмысленным и истинным. Получаемое из него путем замены предложение "Сократ был учителем Аристотеля" будет ложным, но осмысленным.

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

Еще несколько примеров. Выражения "либо..., либо..." и "если..., то..." относятся к одной и той же категории, так как при преобразовании, допустим, предложения "Либо идет дождь, либо дует ветер" в предложение "Если идет дождь, то дует ветер" осмысленность сохраняется. Слова "больше" и "старше" также принадлежат одной и той же семантической категории, поскольку всякое предложение, осмысленное с одним из этих слов, будет осмысленным и с другим.

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

Очевидно, что осмысленность не тождественна истинности. Имеют смысл, а значит являются осмысленными, не только истинные, но и ложные высказывания.

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

В нее входят две основные категории и бесконечная совокупность так называемых функторных категорий. К основным относятся категория имен и категория предложений (высказываний), включающие также имена и предложения с переменными (подобные "брат некоторого S " и "Если Аристотель был учеником Платона, то А ", где S – какое-то имя, а А – предложение). Функторные категории различаются в зависимости от того, к чему применяется операция, называемая функтором, и что возникает в результате ее применения.

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

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

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

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

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

Оставляя в стороне сложные и спорные детали теории семантических категорий, можно ограничиться выделением трех основных категорий языковых выражений: имен, предложений (высказываний) и функторов.

Именами являются языковые выражения, подстановка которых в форму " S есть Р " вместо переменных S и Р дает осмысленное предложение.

Именами являются, к примеру, выражения "звездная ночь", "Волга", "Тамбов" и "вечерние сумерки". Подставив данные выражения в указанную форму мы получим осмысленные (хотя и не обязательно истинные) предложения: "Тамбов есть Волга", "Вечерние сумерки есть звездная ночь", "Звездная ночь есть Волга" и т.п.

Предложение (высказывание) – это языковое выражение являющееся истинным или ложным.

Высказываниями являются, например, выражения "Ниобий – это инертный газ", "5 есть простое число", "Если металлический стержень нагревается, его длина увеличивается". Первое из этих высказываний ложно, два других истинны.

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

Например, слово "есть" – это функтор, поскольку оно не представляет собой имени или высказывания, но позволяет из двух имен получить высказывание (скажем, высказывание "Ньютон есть физик"). Выражения "все... есть...", "некоторые... есть...", "все... не есть..." и "некоторые... не есть..." также являются функторами: это не имена и не высказывания, но с их помощью, подставляя на места многоточий какие-то имена, можно получить высказывания (к примеру, "Все инертные газы есть летучие", "Некоторые металлы есть жидкости", "Все киты не есть рыбы" и "Некоторые музыканты не есть композиторы").

Выражения "... и...", "... или...", "либо..., либо...", "если..., то...", "..., если и только если..." – это функторы, дающие из двух высказываний новое высказывание ("Идет снег и дует ветер", "Мы идем в кино или мы остаемся дома", "Либо Киев стоит на Днепре, либо Киев стоит на Сене", "Если имеется причина, то имеется и следствие", "Число делится на 6, если и только если число делится на 2 и на 3" и т.п.).

Выражение "неверно, что..." (или просто "не"), не будучи именем или высказыванием, позволяет получить из одного высказывания другое высказывание (позволяет, к примеру, из высказывания "Все ученые рассеянны" получить высказывание "Неверно, что все ученые рассеянны", или "Не все ученые являются рассеянными").

Функторы, позволяющие из имен или высказываний получать новые высказывания называются пропозициональными (от латинского слова propositio – высказывание, суждение).

В дальнейшем из всех возможных функторов особое внимание будет уделено именно пропозициональным функторам.

 

 

Глава 3

ИМЕНА

ВИДЫ ИМЕН

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

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

Первобытные люди рассматривали свои имена как нечто конкретное, реальное и часто священное. Психолог Л.Леви-Брюль, создавший в начале этого века концепцию первобытного мышления, считал такое отношение к именам важным фактором, подтверждающим мистический и внелогический характер мышления наших предков. Он указывал, в частности, что "индеец рассматривает свое имя не как простой ярлык, но как отдельную часть своей личности, как нечто вроде своих глаз или зубов. Он верит, что от злонамеренного употребления его имени он так же верно будет страдать, как от раны, нанесенной какой-нибудь части его тела. Это верование встречается у разных племен от Атлантического до Тихого океана". На побережье Западной Африки "существуют верования в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем... Настоящее имя царя является тайным..."

Эти наивные представления об именах как свойствах вещей удивительно живучи. Астроном В.Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: "Мы допускаем, то можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?"

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

Роль имен в языке настолько велика и заметна, что иногда даже в науке о языке придание имен вещам считается едва ли не единственной задачей языка. Связь языка с миром представляется при этом как какое-то развешивание имен-ярлыков. В частности, существует и пользуется известностью логическая теория, явно склонная видеть среди выражений языка по преимуществу одни имена. Даже предложения оказываются для нее не описаниями каких-то ситуаций или требованиями каких-то действий, а только именами особых "абстрактных предметов" – истины и лжи.

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

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

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

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

Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении "S есть Р" (S – подлежащее, Р – сказуемое). Скажем, "Амундсен", "Скотт" и "человек, открывший Южный полюс" – это имена, поскольку подстановка их вместо букв S и Р дает осмысленные предложения: "Амундсен есть человек, открывший Южный полюс", "Скотт есть человек, открывший Южный полюс" и т.п.

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

Среди общих имен особое значение имеют понятия.

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

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

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

Далее под понятиями понимаются все общие имена, для которых имеется какое-то определение или содержание которых является относительно ясным. Слово "понятие" будет использоваться, таким образом, в своем обычном или близком к обычному смысле, а не в качестве специального логического термина.

Имена можно разделить также на пустые, или беспредметные, и непустые. Пустое имя не обозначает ни одного реально существующего предмета. Имя, не являющееся пустым, отсылает хотя бы к одному реальному объекту. К пустым относятся, к примеру, имена "Зевс", "Пегас", "кентавр", "русалка", "нимфа", созданные мифологией и обозначающие вымышленных, отсутствующих в реальном мире существ. Пустыми являются также имена "идеальный газ", "абсолютно черное тело", "идеально упругое тело", "несжимаемая жидкость", "точка", "линия", "материальная точка", используемые в физике и математике и обозначающие не реально существующие, а идеализированные предметы. Пустое имя может отсылать к одному единственному несуществующему предмету ("король, правивший во Франции в начале этого века", дед Мороз, Снегурочка и т.п.) или к двум и более таким предметам (леший, домовой, гном и т.п.).

Имена подразделяются далее на конкретные и абстрактные. Конкретное имя обозначает физические тела или живые существа. Абстрактное имя обозначает объекты, не являющиеся индивидами. К конкретным относятся, например, имена "стол", "тетрадь", "лес", "звезда", "ангел", "речной вокзал", "Казань" и т.п. Абстрактными являются имена свойств, отношений, классов, чисел и т.п.: слово "черный" может рассматриваться как обозначение свойства "черноты"" слово "ближе" как обозначение определенного отношения между предметами и т.п. Абстрактными являются также имена "человечность", "справедливость", "законность" и т.п.

ОТНОШЕНИЯ МЕЖДУ ИМЕНАМИ

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

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

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

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

Например, в объем имени "склероз" входят все случаи склеротического изменения органов, в частности склероз мозга. Объем имени "стул" включает все стулья, объем имени "стол" – все столы. Нетрудно заметить, что объемы даже таких простых имен, как "стул" и "стол", являются неопределенными, размытыми, а значит, сами эти имена относятся к неточным. Входит ли стул или стол, который только задумал сделать столяр, в объем имени "стул" или "стол"? В "Ревизоре" Н.Гоголя упоминается учитель, который, рассказывая об Александре Македонском, так горячился, что ломал стулья. Входят ли эти поломанные стулья в объем имени "стул"? На эти и подобные вопросы трудно ответить однозначно.

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

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

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

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

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

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

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

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

Равнозначность

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

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

Пересечение

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

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

Подчинение

В этом же отношении находятся имена "дедушка" и "внук": каждый дедушка есть чей-то внук, но не каждый внук является дедушкой. "Внук" – подчиняющее имя, "дедушка" – подчиненное.

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

В отношении исключения находятся имена, объемы которых полностью исключают друг друга.

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

Исключение

Можно выделить два вида исключения:

1. Исключающие объемы дополняют друг друга так, что в сумме дают весь объем рода, видами которого они являются. Имена, объемы которых исключают друг друга, исчерпывая объем родового понятия, называются противоречащими.

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