Естественная логика (Natural Logic). Леонид Николаевич Гирик

дополняется признаком «это», знак же тире во втором высказывании выражает не пропущенность имени «есть», а паузу интонационного выделения имени «окна души».

      Просто убедиться в том (без долгого анализа), если несколько изменить фразы, например:

      «Механика является раем математических наук».

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

      Совсем иначе выглядит состав высказывания: «Глаза – это окна души». Если в нем пропустить тире и имя «это», то получим: «Глаза окна души». Выразительность фразы утрачивается, но сразу видно становится, что имя «глаза» оценивается логическим именем «окна души».

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

      Возьмем схожие по конструкции их следующие логические имена:

      «от начала до конца»;

      «от дома до колодца»;

      «от истока до устья»;

      «от кончика носа до кончика хвоста».

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

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

      В качестве примера рассмотрим утверждение одного действующего политика:

      « У меня хобби – это вам не понравится».

      Разделение текста утверждения знаком «-« или соответствующей ему паузой при речевом выражении может означать пропуск имени какого-либо из понятий: «есть», «равно», «тождественно», «называется» и тому подобного. Соответственно логическое имя объекта (N – «у меня хобби») должно быть связано логически с логическим именем объекта, посредством которого оценивается первый (Lc – в данном случае логической категорией: «это вам не понравится»).

      Таким образом должна реализовываться логическая формула этого утверждения : N = Lc. Однако, в данном случае вместо названия «Lc» наличествует отдельное утверждение «это вам не понравится», которое символически отражаемо как N = S – Lc ( «это» – S; «вам на понравится» – «Lc»). Из приведенного анализа видно, что в утверждении логическое имя оказалось подменено утверждением. Реально имеющееся высказывание символически выглядит как N = (N=S-Lc). Общий смысл высказывания понятен в части того, что утверждается