Естественная логика (Natural Logic). Леонид Николаевич Гирик
а все девять объединений имен образовали бессмыслицы.
Итогом проверки выдвинутой Аристотелем гипотезы о способе создания утверждений является выяснение ее полной несостоятельности.
В четвертой главе трактата «Об истолковании» имеется фраза Аристотеля: «утверждение же или отрицание получается в том случае, если что-то присоединяют» (к имени объекта познания), – но более того о способах создания утверждений ничего не выяснено.
Впоследствии в традиционной логике, как и в неклассических логиках, создаваемых на ее основе, вопросы способов образования утверждений либо обходились стороной, либо являли интерпретации гипотезы Аристотеля.
В последующих главах данной работы, ее раздела о логической системе утверждений, будет раскрыто как именно создаются различные виды утверждений.
В частности будет показано какими способами и за счет каких мыслимых логических связей создаются чаще всего используемые категорические утверждения (адекватные утверждения), каким образом формируются утверждения о причинности, утверждения с сопоставлением имен, утверждения со сравнениями и противопоставления – неадекватные утверждения.
Сообразно этому будут рассмотрены явления логического тождества, логических категорий, сущности, понятий и дефиниций, отрицаний.
Во всяком случае, переходя к исследованию логической системы утверждений, необходимо помнить, что все их виды имеют существенное функциональное отличие от имен (сложных имен и логических имен), заключающееся в том, что имена, называя самые разные объекты познания, констатируют денотат, то есть устанавливают несомненность его наличия, существования либо отсутствия, а утверждения – выражают оценку объектов познания или внимания.
Под оценкой объектов познания либо внимания следует понимать любое мнение о существовании, наличии или отсутствии, признаках, свойствах и обо всем, что прямо или косвенно связано с объектами реальной действительности, идеальной природы или принятых условностей (титулов).
Выражаемые в логических формах утверждений мнения об объектах познания либо внимания имеют сообразные этим формам признаки наличия состава определенных видов утверждений, включающего базовые имена и их дополнения и уточнения, а также логическую структуру, образуемую соответствующими логическими связями, конструкцию, создаваемую из имен, входящих в состав, и совпадающую с порядком логических связей либо не совпадающую. Этими средствами выражается смысловое содержание, которое должно представлять в каком-либо отношении законченную мысль, для чего используются дополнения, уточнения, входящие в состав утверждения, и смыслы включенных в него элементов и компонентов, а также контекст в любых его проявлениях.
В естественных языках смысловое содержание высказываний, в том числе утверждений, должно соответствовать используемой логической форме. Это условие аксиоматично, то есть является отправным, исходным положением, предопределяемым рациональностью