Естественная логика (Natural Logic). Леонид Николаевич Гирик
(Ni< -+NO -+NS-+Nt).
Логическая формула символического выражения значения и смысла имени соответственно данному определению будет следующей:
N=(dN+iN)+( Ni< -+NO -+NS -+Nt).
В ней показано символически, что смыслы NO, NS и Nt могут возникать либо не возникать и возможны варианты возникновения их в каких-либо совокупностях.
Образно охарактеризовать явление значения и смысла любых имен в составе речи можно так:
В значении и смысле всякого имени кроется волшебство слов с их способностью вызывать воспоминания о названном и понимания его природы и предназначения.
Любое имя в составе речи выражает понимание называемого объекта познания, его природы (сущности) и предназначения. Все это реализуется в пределах конкретного естественного языка.
О логических связываниях высказываний второго порядка
В утверждениях и других видах высказываний второго порядка выражаются мнения о названных объектах познания (или внимания). Поскольку в них указывается объект или объекты и называются объекты познания, включая понятия, посредством имен которых оцениваются указанные в качестве оцениваемых, то такая оценка составляет мнение.
В утверждениях основное смысловое связывание их элементов и компонентов является логическим связыванием «оцениваемого» с «оценивающим». При этом то и другое может быть выражено любыми логическими формами имен и даже посредством использования служебных утверждений. Для осуществления этого используется сочетание смыслов и их приравнивание в качестве логических связей присущности и логической тождественности, которыми обеспечивается выражение мнения о названном объекте познания.
В остальном используются смысловые связывания имен, которые уже приведены. (Подробно создание утверждений и их использование изложено далее, с 13 главы по 19 включительно.)
Дефиниции, то есть цельные высказывания о сущности объектов познания, представляют собою утверждения, которые имеют особенность их логической структуры и конструкции, которая состоит в следующем. В дефинициях, наряду с выражением мнения о сущности объекта познания, указывается его отличие от «оценивающего» и необходимые для идентификации индивидуализирующие признаки, что позволяет гармонизировать смысловое содержание и используемую логическую форму утверждения.
Утверждения о причинах и следствиях имеют свои особенности конструктивного построения и опосредованного логического связывания их базовых компонентов.
Неточные утверждения отличаются от обычных (адекватных), носящих категоричный характер, тем, что утрачивают его за счет включенных в них имен, выражающих некоторую вероятность сообщаемых сведений.
Высказывания сопоставлений и сравнений являются модификациями утверждений, в которых изменяется состав базовых компонентов, чем обусловливается своеобразие их логических форм.
В альтернативах реализуется приравнивание