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

сочетаний с другими именами для выражения отрицаний. Иные, как «а» и «анти», как правило, используются для образования цельных сложных слов с новым значением и смыслом, что во многих случаях выражает новое имя и устраняет функцию отрицания, если не противопоставляется антиподам. («Этот антигерой – один из основных персонажей романа». «В данной научной работе научное объяснение вынуждено противостоять распространенному антинаучному истолкованию».)

      Именное высказывание со значением отрицания: «нет», – используется в контексте. В иных случаях оно служит для создания сочетаний имен со значением отрицания: «нет средств», «нет у нас механика», «нет времени», – и подобных.

      В символическом виде их логическая структура может быть представлена в виде формулы «-S».

      Таким же образом образующие отрицания сочетания имен с титулами отрицаний (не, ни и др.) могут быть представлены символически. В зависимости от имеющейся задачи сочетания имен, образующие отрицание при наличии в них опосредованной логической связи можно представить символически по-разному. Например, сложное имя отрицания «не с ним», можно показать как «-S» или «-N» и «-Lc», в составе утверждения.

      Отрицания в виде сочетаний имен могут служить именными высказываниями или входить в их состав либо в состав утверждений и других видов высказываний в качестве их компонентов. Во всех этих вариантах логическая форма отрицаний выражает отрицание наличия объекта, который назван, и реализует это через отрицание его значения. Эта логическая форма является только лишь сочетанием смыслов имени титула отрицания и имени объекта, в котором отрицается значение имени. Как это показано ранее, усложнение этого сочетания имеет место только при опосредованной логической связи.

      Рассмотрим следующее утверждение:

      «У Джона в этих условиях нет никакой возможности уехать» (N+Sa=-Lc+Sb).

      Имя объекта внимания «N» дополнено признаком «Sa», что дает: «У Джона в этих условиях» (N+Sa).

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

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

      Состав сочетания имен, образующих отрицание значения имени, и их логические связи присущности образуют логические формы отрицаний имен.

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

      Глава 12. Сводные имена и именные высказывания

      Несложно заметить, что в составе