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

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

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

Именно этому вопросу Аристотель посвятил свой логический трактат «Категории».

Если проявить должное внимание при изучении этого труда Аристотеля, то становится понятным, что исследование посвящено способу создания утверждений.

Однако, различия между именами (названиями) и утверждениями Аристотель представил иначе, чем это показано выше. В главе второй трактата о категориях им утверждалось следующее:

«Из того, что говорится, одно говорится в связи, другое – без связи. Одно в связи, например: «человек бежит», «человек побеждает»; другое без связи, например: «человек», «бык», «бежит», «побеждает».

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

Между тем, названия, а не утверждения, являющиеся сложными именами («живое существо» и др.), также представляют собою сочетания имен, то есть употребляются «в связи» этих имен.

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

Далее, в главе четвертой «Категорий» Аристотелем представлена гипотеза создания «утверждений или отрицаний», содержание которой лучше привести полностью, тем более, что она не является пространно изложенной, а именно:

«Из сказанного без какой-либо связи каждое означает или сущность, или «сколько», или «какое», или «по отношению к чему-то», или «где», или «когда», или «находиться в каком-то положении», или «обладать», или «действовать», или «претерпевать». Сущность, коротко говоря, – это, например, человек, лошадь; «сколько» – это, например, длиною в два локтя, в три локтя; «какое» – например, белое, умеющее читать и писать; «по отношению к чему-то» – например, двойное, половинное, большее; «где» – например, в Ликее, на площади; «когда»– например, вчера, в прошлом году; «находиться в каком-то положении» – например, лежит, сидит; «обладать» – например, обут, вооружен; «действовать» – например, режет, жжет; «претерпевать» – например, его режут, жгут. Каждое из перечисленного само по себе не содержит никакого утверждения; утверждение или отрицание получается сочетанием их: ведь всякое утверждение или отрицание, надо полагать, или истинно, или ложно; а из сказанного без какой-либо связи ничто не истинно и не ложно, например «человек», «белое», «бежит», побеждает».

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

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

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

Для этого составим из названных Аристотелем примеров имен разных категорий их совокупности.

Начав с имени «человек» последовательно получим: «человек длиною в два локтя», «человек, умеющий читать и писать», «человек большой», «человек на площади», «человек в прошлом году», « человек сидит», «человек обут», «человек режет», «человека режут».

Далее сведем имя «длиною в три локтя» с остальными, данными в примерах, и получим: «длиною в три локтя человек», «длиною в три локтя белое», «длиною в три локтя половинное», «длиною в три локтя в Ликее», «длиною в три локтя вчера», «длиною в три локтя лежит», «длиною в три локтя вооружен», «длиною в три локтя режет», «длиною в три локтя жгут».

Продолжим еще опытную проверку и получим: «белый человек», «белое длиною в два локтя», «белое половинное», «белое на площади», «белое вчера», «белое лежит», «белое вооружено», «белое режет», «белое режут».

Для большей репрезентативности (показательности) продолжим сводить указанные Аристотелем имена и получим: «за двойное лошадь», «за двойное длиною в два локтя», «за двойное умеющее читать и писать», «за двойное на площади», «за двойное вчера», «за двойное лежит», «за двойное вооружён», «за двойное жжет».

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

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

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

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

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

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

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

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