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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Более наглядный пример негодного использования названия (логического имени) представляет высказывание того же политика:

«На Прохоровском поле 1200 танков схватились врукопашную».

В этом высказывании, которое символически в его структуре может быть выражено формулой S+Sa +N=(Lc=Sb+Sc), логическая категория (Lc) представлена словами: «схватились врукопашную». Однако, не только пара танков, но и 1200 танков не могут биться «врукопашную». Им не присуще это ввиду отсутствия рук и иного необходимого для рукопашного боя.

Поэтому видно, что логическое тождество оцениваемого с оценивающим: «1200 танков» = «схватились врукопашную», – не имеет логической связи присущности и создает противоречие. Получается реально формула противоречия: S+Sa>=<(Lc=Sb+Sc). Этим исключается единство формы и содержания.