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

Глава 3
ИМЕНА

1. ВИДЫ ИМЁН

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

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

   Содержание имени — это совокупность тех свойств, которые присущи всем предметам, обозначаемым данным именем, и только им.:
   К примеру, склероз — это, как известно, уплотнение каких-либо органов, вызванное гибелью специфических для этих органов элементов и заменой их соединительной тканью. Перечисленные свойства составляют содержание имени «склероз». Они позволяют в относительно любой ситуации решить, можно ли назвать происшедшие в органе изменения склерозом или нет. Содержание имени «стул» составляют свойства «быть предметом мебели, предназначенным для сидения» и «иметь ножки, сидение и спинку». Этими свойствами, относящимися к функциям стула и его строению, обладает каждый стул и не обладает ничто иное. Если изъять из числа структурных частей стула, скажем, спинку, получим содержание уже иного имени («табурет»). В содержание имени «стол» входят признаки «быть предметом мебели, предназначенным для сидения за ним» и «иметь ножки и крышку».
   Помимо содержания, или смысла, имя имеет также объём.
   Объём имени — это совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание имени.
   Например, в объём имени «склероз» входят все случаи склеротического изменения органов, в частности склероз мозга. Объём имени «стул» включает все стулья, объём имени «стол» — все столы. Нетрудно заметить, что объёмы даже таких простых имён, как «стул» и «стол», являются неопределёнными, размытыми, а значит, сами эти имена относятся к неточным. Входит ли стул или стол, который только задумал сделать столяр, в объём имени «стул» или «стол»? В «Ревизоре» Н.Гоголя упоминается учитель, который, рассказывая об Александре Македонском, так горячился, что ломал стулья. Входят ли эти поломанные стулья в объём имени «стул»? На эти и подобные вопросы трудно ответить однозначно.
   Понимание имени как того, что имеет определённый объём и определённое содержание, широко распространено в логике. Нетрудно заметить, что это понимание существенно отличается от употребления понятия «имя» в обычном языке. Имя в обычном смысле — это всегда или почти всегда собственное имя, принадлежащее индивидуальному, единственному в своём роде предмету. Например, слово «Наполеон» является в обычном словоупотреблении типичным именем. Но уже выражения «победитель под Аустерлицем» и «побеждённый под Ватерлоо» к именам обычно не относятся. Тем более не относятся к ним такие типичные с точки зрения логики имена, как «квадрат», «человек», «самый высокий человек» и т.п. Во всяком случае, если бы кто-то на вопрос о своём имени ответил: «Моё имя — человек», вряд ли такой ответ считался бы уместным. И даже ответ: «Моё имя — самый высокий человек в мире» — не показался бы удачным.
   То, что логика заметно расширяет обычное употребление слова «имя», объясняется многими причинами, и прежде всего её стремлением к предельной общности своих рассуждений.
   Имена находятся в различных отношениях друг к другу. Между объёмами двух произвольных имён, которые есть какой-то смысл сопоставлять друг с другом, имеет место одно и только одно из следующих отношений: равнозначность, пересечение, подчинение (два варианта) и исключение.
   Равнозначными являются два имени, объёмы которых полностью совпадают. Иными словами, равнозначные имена отсылают к одному и тому же классу предметов, но делают это разными способами.
   Равнозначны, к примеру, имена «квадрат» и «равносторонний прямоугольник»: каждый квадрат является равносторонним прямоугольником, и наоборот.
   Равнозначность означает совпадение объёмов двух имён, но не их содержаний. Например, объёмы имён «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук — чей-то сын), но содержания их различны.
   Отношения между объёмами имён можно геометрически наглядно представить с помощью круговых схем. Они называются по имени математика XVIII в. Л.Эйлера «кругами Эйлера». Каждая точка круга представляет один предмет, входящий в объём рассматриваемого имени. Точки вне круга представляют предметы, не подпадающие под это имя.
   Отношение между двумя равнозначными именами изображается в виде двух полностью совпадающих кругов.
   Равнозначность
   В отношении пересечения находятся два имени, объёмы которых частично совпадают.
   Пересекаются, в частности, объёмы имён «лётчик» и «космонавт»: некоторые лётчики являются космонавтами (они представлены заштрихованной частью кругов), есть лётчики, не являющиеся космонавтами, и есть космонавты, не являющиеся лётчиками.
   Пересечение
   В отношении подчинения находятся имена, объём одного из которых полностью входит в объём другого.
   В отношении подчинения находятся, к примеру, имена «треугольник» и «прямоугольный треугольник»: каждый прямоугольный треугольник является треугольником, но не каждый треугольник прямоугольный.
   Подчинение
   В этом же отношении находятся имена «дедушка» и «внук»: каждый дедушка есть чей-то внук, но не каждый внук является дедушкой. «Внук» — подчиняющее имя, «дедушка» — подчинённое.
   Если в отношении подчинения находятся общие имена, то подчиняющее имя называется родом, а подчинённое — видом. Имя «треугольник» есть род для вида «прямоугольный треугольник», а имя «внук» — род для вида «дедушка».
   В отношении исключения находятся имена, объёмы которых полностью исключают друг друга.
   Исключают друг друга имена «трапеция» и «пятиугольник», «человек» и «планета», «белое» и «красное» и т.п.
   Исключение
   Можно выделить два вида исключения:
   1. Исключающие объёмы дополняют друг друга так, что в сумме дают весь объём рода, видами которого они являются. Имена, объёмы которых исключают друг друга, исчерпывая объём родового понятия, называются противоречащими.
   Противоречащими являются, например, имена «умелый» и «неумелый», «стойкий» и «нестойкий», «красивый» и «некрасивый» и т.п. Противоречат друг другу также имена «простое число» и «число, не являющееся простым», исчерпывающие объём родового имени «натуральное число», имена «красный» и «не являющийся красным», исчерпывающие объём родового имени «предмет, имеющий цвет», и т.п.
   2. Исключающие имена составляют в сумме только часть объёма того рода, видами которого они являются. Имена, объёмы которых исключают друг друга, не исчерпывая объём родового имени, называются противоположными.
   Противоречащие имена Противоположные имена
   К противоположным относятся, в частности, имена «простое число» и «чётное число», не исчерпывающие объёма родового имени «натуральное число», имена «красный» и «белый», не исчерпывающие объёма родового имени «предмет, имеющий цвет» и т.п.
   Круговые схемы могут применяться для одновременного представления объёмных отношений более, чем двух имён. Такова, к примеру, приводимая на рисунке схема, представляющая отношения между объёмами имён: «планета» (S), «планета Солнечной системы»(P ), «Земля» (M ), «спутник» (L), «искусственный спутник» (N), «Луна»(O ) и «небесное тело» ®. Согласно этой схеме существуют, в частности, небесные тела, не являющиеся ни планетами, ни их спутниками, планеты, не входящие в Солнечную систему, спутники, не являющиеся искусственными, и т.д. Объёмы единичных имён представляются точками.

3. ОПРЕДЕЛЕНИЕ

   Определение — логическая операция, раскрывающая содержание имени. Определить имя — значит указать, какие признаки входят в его содержание.
   Определяя, например, манометр, мы указываем, что это, во-первых, прибор, и во-вторых, именно тот, с помощью которого измеряется давление. Давая определение имени «графомания», мы говорим, что это болезненное пристрастие к писанию, к многословному, пустому, бесполезному сочинительству.
   Важность определений подчёркивал ещё Сократ, говоривший, что он продолжает дело своей матери, акушерки, и помогает родиться истине в споре. Анализируя вместе со своими оппонентами различные случаи употребления конкретного понятия, он стремился прийти в конце концов к его прояснению и определению.
   Определение решает две задачи. Оно отличает и отграничивает определяемый предмет от всех иных. Скажем, определение манометра позволяет однозначно отграничить манометры от всех предметов, не являющихся приборами, и отделить манометры по присущим только им признакам от всех иных приборов. Далее, определение раскрывает сущность определяемых предметов, указывает те их основные признаки, без которых они не способны существовать и от которых в значительной мере зависят все иные их признаки.
   С этой второй задачей как раз и связаны основные трудности определения конкретных имён.
   Дать хорошее определение — значит раскрыть сущность определяемого объекта. Но сущность, как правило, не лежит на поверхности. Кроме того, за сущностью первого уровня всегда скрывается более глубокая сущность второго уровня, за той — сущность третьего уровня и так до бесконечности. Эта возможность неограниченного углубления в сущность даже простого объекта делает понятными те трудности, которые встают на пути определения, и объясняет, почему определения, казалось бы, одних и тех же вещей меняются с течением времени. Углубление знаний об этих вещах ведёт к изменению представлений об их сущности, а значит, и их определений.
   Необходимо также учитывать известную относительность сущности: существенное для одной цели может оказаться второстепенным с точки зрения другой цели.
   Скажем, в геометрии для доказательства разных теорем могут Использоваться разные, не совпадающие между собой определения понятия «линия». И вряд ли можно сказать, что одно из них раскрывает более глубокую сущность этого понятия, чем все остальные.
   Писатель И.Рат-Вег в своей «Комедии книги» упоминает некоего старого автора, чрезвычайно не любившего театр. Отношение к театру этот автор считал настолько важным, что определял через него все остальное. Рай, писал он, это место, где нет театра; дьявол — изобретатель театра и танцев; короли — люди, которым особенно позорно ходить в театр и покровительствовать актёрам, и т.п. Разумеется, эти определения поверхностны со всех точек зрения. Со всех, кроме одной: тому, кто всерьёз считает театр источником всех зол и бед, существующих в мире, определения могут казаться схватывающими суть дела.
   Определение может быть более глубоким и менее глубоким, и его глубина зависит прежде всего от уровня знаний об определяемом предмете. Чем лучше, глубже мы знаем предмет, тем больше вероятность, что нам удастся найти хорошее его определение.
   Конкретные формы, в которых практически реализуется операция определения, чрезвычайно разнообразны.
   Прежде всего нужно отметить различие между явными и неявными определениями.
   Первые имеют форму равенства — совпадения двух имён (понятий). Общая схема таких определений: «5 есть (по определению) Р ». Здесь S и Р — два имени, причём не имеет значения, выражается каждое из них одним словом или сочетанием слов. Явными являются, к примеру, определения: «Антигены — это чуждые для организма вещества, вызывающие в крови и других тканях образование „антител“» и «Пропедевтика есть введение в какую-либо науку». В последнем определении приравниваются друг другу, или отождествляются, два имени: «пропедевтика» и «введение в какую-либо науку».
   Неявные определения не имеют формы равенства двух имён.,
   Особый интерес среди неявных определений имеют контекстуальные и остенсивные определения.
   Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас имя, является в некотором смысле неявным его определением. Контекст ставит имя в связь с другими именами и тем самым косвенно раскрывает его содержание.
   Допустим, нам не вполне ясно, что такое удаль. Можно взять текст, в котором встречается слово «удаль», и попытаться уяснить, что именно оно означает.
   «Удаль. В этом слове, — пишет Ф.Искандер, — ясно слышится — даль. Удаль — это такая отвага, которая требует для своего проявления пространства, дали.
   В слове «мужество» — суровая необходимость, взвешенность наших действий, точнее, даже противодействий. Мужество от ума, от мужчинства. Мужчина, обдумав и осознав, что в тех или иных обстоятельствах жизни, защищая справедливость, необходимо проявить высокую стойкость, проявляет эту высокую стойкость, мужество. Мужество ограничено целью, цель продиктована совестью.
   Удаль, безусловно, предполагает риск собственной жизнью, храбрость.
   Но, вглядевшись в понятие «удаль», мы чувствуем, что это неполноценная храбрость. В ней есть самонакачка, опьянение. Если бы устраивались состязания по мужеству, то удаль на эти соревнования нельзя было бы допускать, ибо удаль пришла бы, хватив допинга.
   Удаль требует пространства, воздух пространства накачивает искусственной смелостью, пьянит. Опьянённому жизнь — копейка. Удаль — это паника, бегущая вперёд. Удаль рубит налево и направо. Удаль — возможность рубить, все время удаляясь от места, где уже лежат порубленные тобой, чтобы не задумываться: а правильно ли я рубил?
   А все-таки красивое слово: удаль! Утоляет тоску по безмыслию».
   В этом отрывке отсутствует явное определение удали. Но можно хорошо понять, что представляет собой удаль и как она связана с отвагой и мужеством.
   В «Словаре русского языка» С.И.Ожегова «охота» определяется как «поиски, выслеживание зверей, птиц с целью умерщвления или ловли». Это определение звучит сухо и отрешённо. Оно никак не связано с горячими спорами о том, в каких крайних случаях оправданно убивать или заточать в неволю зверей или птиц. В коротком стихотворении «Формула охоты» поэт В.Бурич так определяет охоту и своё отношение к ней:
   Черта горизонта
   Птицы в числителе
   Рыбы в знаменателе
   Умноженные на дробь выстрела
   и переменный коэффициент удочки
   дают произведение
   доступное каждой посредственности.
   Завзятый охотник может сказать, что эта образная характеристика охоты субъективна и чересчур эмоциональна. Но тем не менее она явно богаче и красками, и деталями, относящимися к механизму охоты, чем сухое словарное определение.
   Контекстуальные определения всегда остаются в значительной мере неполными и неустойчивыми. Не ясно, насколько обширным должен быть контекст, познакомившись с которым, мы усвоим значение интересующего нас имени. Никак не определено также то, какие иные имена могут или должны входить в этот контекст. Вполне может оказаться, что ключевых слов, особо важных для раскрытия содержания имени, в избранном нами контексте как раз нет.
   Почти все определения, с которыми мы встречаемся в обычной жизни, — это контекстуальные определения.
   Услышав в разговоре неизвестное ранее слово, мы не уточняем его определение, а стараемся установить его значение на основе всего сказанного. Встретив в тексте на иностранном языке одно-два неизвестных слова, мы обычно не спешим обратиться к словарю, а пытаемся понять текст в целом и составить примерное представление о значениях неизвестных слов.
   Никакой словарь не способен исчерпать всего богатства значений отдельных слов и всех оттенков этих значений. Слово познаётся и усваивается не на основе сухих и приблизительных словарных разъяснений. Употребление слов в живом и полнокровном языке, в многообразных связях с другими словами — вот источник полноценного знания как отдельных слов, так и языка в целом. Контекстуальные определения, какими бы несовершенными они ни казались, являются фундаментальной предпосылкой владения языком.
   Остенсивные определения — это определения путём показа.
   Нас просят объяснить, что представляет собой зебра. Мы, затрудняясь сделать это, ведём спрашивающего в зоопарк, подводим его к клетке с зеброй и показываем: «Это и есть зебра».
   Определения такого типа напоминают обычные контекстуальные определения. Но контекстом здесь является не отрывок какого-то текста, а ситуация, в которой встречается объект, обозначаемый интересующим нас понятием. В случае с зеброй — это зоопарк, клетка, животное в клетке и т.д.
   Остенсивные определения, как и контекстуальные, отличаются некоторой незавершённостью, неокончательностью.
   Определение посредством показа не выделяет зебру из её окружения и не отделяет того, что является общим для всех зебр, от того, что характерно для данного конкретного их представителя. Единичное, индивидуальное слито в таком определении с общим, тем, что свойственно всем зебрам.
   Остенсивные определения — и только они — связывают слова с вещами. Без них язык — только словесное кружево, лишённое объективного, предметного содержания.
   Определить путём показа можно, конечно, не все имена, а только самые простые, самые конкретные. Можно предъявить стол и сказать: «Это — стол, и все вещи, похожие на него, тоже столы». Но нельзя показать и увидеть бесконечное, абстрактное, конкретное и т.п. Нет предмета, указав на который можно было бы заявить: «Это и есть то, что обозначается словом „конкретное“». Здесь нужно уже не остенсивное, а вербальное определение, т.е. чисто словесное определение, не предполагающее показа определяемого предмета.