предложений (высказываний) и функторов .

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

Именами являются, к примеру, выражения «звёздная ночь», «Волга», «Тамбов» и «вечерние сумерки». Подставив данные выражения в указанную форму мы получим

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

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

ложным.

Высказываниями являются, например, выражения «Ниобий – это инертный газ», «5

есть простое число», «Если металлический стержень нагревается, его длина увеличивается». Первое изэтих высказыванийложно,два других истинны.

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

служащее для образования новыхимён или высказываний из уже имеющихся.

Например, слово «есть»– это функтор, посколькуоно не представляет собой имени или

высказывания, но позволяет из двух имён получить высказывание (скажем, высказывание «Ньютон есть физик»). Выражения «все… есть…», «некоторые… есть…», «все… не есть…» и «некоторые… не есть…» также являются функторами: это не имена и не высказывания, но

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

жидкости», «Все киты не есть рыбы» и «Некоторые музыканты не есть композиторы»). Выражения «… и …», «… или …», «либо …, либо …», «если …, то …», «…, если и

только если …» – это функторы, дающие из двух высказываний новое высказывание («Идёт

снег и дует ветер», «Мы идём в кино или мы о стаёмся дома», «Либо Киев стоит на Днепре, либо Киев стоит на Сене», «Если имеется причина, то имеется и следствие», «Число делится

на 6, если и только если число делится на 2 и на 3» и т.п.).

Выражение «неверно, что…» (или просто «не»), не будучи именем или высказыванием, позволяет получить из одного высказывания другое высказывание (позволяет, к примеру, из

высказывания «Все учёные рассеянны» получить высказывание «Неверно, что все учёные рассеянны», или «Не все учёные являются рассеянными»).

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

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

Глава 3 Имена

1. Виды имён

Имена – необходимое средство познания и общения. Обозначая предметы и их

совокупности, имена связываютязык с реальным миром.

Имена естественны и привычны, как те вещи, с которыми они связаны. Настолько

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

Первобытные люди рассматривали свои имена как нечто конкретное, реальное и часто

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

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

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

нанесённой какой-нибудь части его тела. Это верование встречается у разных племён от Атлантического до Тихого океана». На побережье Западной Африки «существуют верования

в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем…Настоящее имя царя является тайным…»

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

Астроном В.Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, то можно измерить и узнать

размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесныхсветил?»

Ответ на такой вопрос прост. Астрономы узнают имена открытых ими небесных тел

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

нуждается в специальномобъяснении.

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

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

выражений языка по преимуществу одни имена. Даже предложения оказываются для неё не описаниями каких-то ситуаций или требованиями каких-то действий, а только именами особых «абстрактных предметов»– истиныилжи.

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

для которой имя – одна из основныхсемантических категорий.

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

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

логических исследованиях.

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

совокупность сходных предметов,свойства,отношения и т.п.

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

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

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

части сказуемого в простом предложении «S есть Р» (S – подлежащее, Р – сказуемое).

Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» – это имена, поскольку подстановка их вместо букв S и Р даёт осмысленные предложения: «Амундсен

есть человек, открывший Южный полюс», «Скотт есть человек, открывший Южный полюс» и т.п.

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

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

единственным таким спутником Земли. К общим относятся имена «человек», «женщина», «школьник» и т.п. Все эти имена связаны с множествами, или классами, предметов. При

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

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

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

мебели, предназначеннымдлясиденияза ним»и «иметь ножки и крышку». Помимо содержания, или смысла, имя имеет также объём .

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

Например, в объём имени «склероз» входят все случаи склеротического изменения

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

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

Александре Македонском, так горячился, что ломал стулья. Входят ли эти поломанные стулья в объём имени «стул»? На эти и подобныевопросытрудно ответитьоднозначно.

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

словоупотреблении типичным именем. Но уже выражения «победитель под Аустерлицем» и «побеждённый под Ватерлоо» к именам обычно не относятся. Тем более не относятся к ним такие типичные с точки зрения логики имена, как «квадрат», «человек», «самый высокий

человек»и т.п. Во всяком случае, если бы кто-то на вопрос о своём имени ответил:«Моё имя

– человек», вряд ли такой ответ считался бы уместным. И даже ответ: «Моё имя – самый

высокий человек в мире» – не показался бы удачным.

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

рассуждений.

Имена находятся в различных отношениях друг к другу. Между объёмами двух

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

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

это разными способами.

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

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

внук – чей-тосын), носодержания их различны.

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

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

имя.

Отношение между двумя равнозначными именами изображается в виде двух