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