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

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

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

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

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

Итогом проверки выдвинутой Аристотелем гипотезы о способе создания утверждений является выяснение ее полной несостоятельности.

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

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

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

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

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

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

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

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

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