Логика Аристотеля играла важную роль в развитии европейской культуры. Однако она недостаточно глубоко проникает в структуру нашего мышления, она неспособна отразить процесс расчленения ситуации на отдельные части (объекты) и исследования отношений между этими частями. Когда речь идет о свойствах объектов, аристотелевская логика вполне адекватна, ибо можно представить себе изолированный объект как некую ситуацию. Образуя множество таких ситуаций-объектов, мы получаем отвлеченное понятие, выражающее одно из свойств объекта. Не так обстоит дело с отношениями. Аристотелевская логика может выразить понятие о совокупности объектов, находящихся в данном отношении, но не имеет средств выражения понятия об отношении как таковом. Можно представить множество картинок, имеющих вид контура с пятном внутри; это множество порождает аристотелевское понятие (свойство) «быть контуром с пятном внутри». Но не существует аристотелевского понятия «быть внутри». Логика Аристотеля слишком глобальна, поверхностна. Возьмем такое умозаключение:
| Иван — брат Петра. |
| ---------------------- |
| Следовательно, Петр — брат Ивана. |
Умозаключение это правильно, но чтобы его обосновать, надо в явном виде добавить посылку о симметричности отношения «брат», которая здесь неявно подразумевается. Эту посылку можно выразить фразой:
Если х — брат у, то у — брат х.
Здесь буквами x и у обозначаются любые лица мужского пола. Однако такая символика выходит за пределы логики Аристотеля.
Можно ли на языке логики Аристотеля выразить этот силлогизм? Можно, если не рассматривать отдельных людей, а пары людей, точнее, упорядоченные пары, т. е. такие пары, где одному лицу приписывается номер один, а другому — номер два. Вот этот силлогизм совершенно законный с точки зрения аристотелевской логики.
| Пара (Иван, Петр) обладает свойством: первый — брат второго. |
| Каждая пара, обладающая свойством: первый — брат второго, обладает свойством: второй — брат первого. |
| --------------------- |
| Следовательно, пара (Иван, Петр) обладает свойством: второй — брат первого. |
Это громоздкое рассуждение, хотя оно формально и совпадает с предыдущим, бъёт мимо цели, ибо оно не отражает главного в нашем исходном силлогизме — симметричности отношения «брат». Свойства «первый — брат второго» и «второй — брат первого» никак не расчленены, никак не связаны друг с другом и с тем фактом, что они прилагаются к объектам, имеющим вид упорядоченной пары.
Мы не случайно начали кибернетическое исследование понятий с аристотелевских понятий. Они проще, ибо допускают определение исключительно в терминах входных и выходных состояний, без обращения к внутренней структуре распознающей системы. Так было и в истории человеческой мысли. Сначала было осознано наличие аристотелевских понятий и только гораздо позже — отношений.
Так как в математике главное — это исследование отношений между объектами, аристотелевская логика совершенно недостаточна для выражения математических доказательств. Это было замечено давно; примеры из математики, которыми пользуется традиционная логика, говорят сами за себя, они чрезвычайно примитивны и неинтересны. До самого конца XIX в., когда началось создание новой («математической») логики, математика и логика развивались независимо.
В философии решающий удар аристотелевской логике нанес Гегель. Он показал своей диалектикой, что мир надо рассматривать не как совокупность объектов, обладающих некоторыми свойствами, а как совокупность объектов, находящихся в некоторых отношениях друг к другу. При этом свойства не исключаются, конечно, из рассмотрения, ибо понятие отношения является более общим, чем понятие свойства. Отношение может быть определено для произвольного числа объектов. В частности, число объектов может быть равно единице; такое отношение и есть свойство. Наиболее ясными интуитивно и в то же время наиболее важными являются парные отношения, т. е. отношения между двумя объектами. Два — минимальное число объектов при котором отношение перестает быть свойством и становится собственно отношением. Число два лежит в основе гегелевского метода что отражено в самом термине «диалектика».