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

(Ni< -+NO -+NS-+Nt).

      Логическая формула символического выражения значения и смысла имени соответственно данному определению будет следующей:

      N=(dN+iN)+( Ni< -+NO -+NS -+Nt).

      В ней показано символически, что смыслы NO, NS и Nt могут возникать либо не возникать и возможны варианты возникновения их в каких-либо совокупностях.

      Образно охарактеризовать явление значения и смысла любых имен в составе речи можно так:

      В значении и смысле всякого имени кроется волшебство слов с их способностью вызывать воспоминания о названном и понимания его природы и предназначения.

      Любое имя в составе речи выражает понимание называемого объекта познания, его природы (сущности) и предназначения. Все это реализуется в пределах конкретного естественного языка.

      О логических связываниях высказываний второго порядка

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

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

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

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

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

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

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

      В альтернативах реализуется приравнивание