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