Естественная логика (Natural Logic). Леонид Николаевич Гирик
дополняется признаком «это», знак же тире во втором высказывании выражает не пропущенность имени «есть», а паузу интонационного выделения имени «окна души».
Просто убедиться в том (без долгого анализа), если несколько изменить фразы, например:
«Механика является раем математических наук».
В такой интерпретации уже видно, что имя объекта «механика» оценивается именем «является» со значением его в данном случае «проявления» по сути своей, обнаружения существенных свойств». При такой оценке логическое имя «рай математических наук» оказывается дополнением данной оценки.
Совсем иначе выглядит состав высказывания: «Глаза – это окна души». Если в нем пропустить тире и имя «это», то получим: «Глаза окна души». Выразительность фразы утрачивается, но сразу видно становится, что имя «глаза» оценивается логическим именем «окна души».
Логические имена довольно часто используются в речи, так как выполняемые при их помощи задачи очень сложно реализовывать в иных логических формах, например, в служебных утверждениях. Убедиться в том довольно просто.
Возьмем схожие по конструкции их следующие логические имена:
«от начала до конца»;
«от дома до колодца»;
«от истока до устья»;
«от кончика носа до кончика хвоста».
Если пытаться называемое этими логическими именами выразить иначе, то при отсутствии специальных для того имен будут получаться более пространные логические имена и утверждения, дополняемые служебными утверждениями.
Так как логические имена (сложные названия) создаются в качестве компонентов конкретных высказываний, то упомянутое ранее искусство логики оказывается необходимым условием использования логической формы сложных имен, образуемых сочетанием их смыслов посредством логической связи присущности.
В качестве примера рассмотрим утверждение одного действующего политика:
« У меня хобби – это вам не понравится».
Разделение текста утверждения знаком «-« или соответствующей ему паузой при речевом выражении может означать пропуск имени какого-либо из понятий: «есть», «равно», «тождественно», «называется» и тому подобного. Соответственно логическое имя объекта (N – «у меня хобби») должно быть связано логически с логическим именем объекта, посредством которого оценивается первый (Lc – в данном случае логической категорией: «это вам не понравится»).
Таким образом должна реализовываться логическая формула этого утверждения : N = Lc. Однако, в данном случае вместо названия «Lc» наличествует отдельное утверждение «это вам не понравится», которое символически отражаемо как N = S – Lc ( «это» – S; «вам на понравится» – «Lc»). Из приведенного анализа видно, что в утверждении логическое имя оказалось подменено утверждением. Реально имеющееся высказывание символически выглядит как N = (N=S-Lc). Общий смысл высказывания понятен в части того, что утверждается