Александр Ивин - Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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