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

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

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

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

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

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

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

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

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

Глава 3. Имена

1. Виды имен

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

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