Сообщением и первым опровержением этих доказательств мы обязаны перу Аристотеля. Аристотель оспаривает их кратко (возможно, брезгливо), однако память о них подсказывает ему знаменитый аргумент «третьего человека» [5] против платоновской доктрины. Согласно доктрине, две особи, обладающие общими признаками (допустим, два человека), – это самые обыкновенные и преходящие подобия вечного архетипа. Аристотель задается вопросом, есть ли у людей и человека – преходящих особей и архетипа – общие признаки. Разумеется, да; они обладают общечеловеческими признаками. Тогда, утверждает Аристотель, следует определить второй архетип, их объединяющий, а затем третий… В примечании к выполненному им переводу «Метафизики» Патрисио де Аскарате приписывает одному ученику Аристотеля следующее утверждение: «Если то, что утверждается о многом, есть в то же время нечто отдельное, отличное от того, о чем утверждается (именно так и рассуждают платоники), должен существовать некто третий. Это определение применяют к видам и к идее. Таким образом, существует некто третий, отличный от конкретных видов и идеи. В то же время существует некто четвертый, находящийся в той же связи с третьим и с идеей конкретных видов. Затем пятый, и так до бесконечности». Возьмем два вида, а и b, входящих в род с. Тогда имеем:
а + b = c.
Но по Аристотелю, верно также:
a + b + c = d,
a + b + c + d = e,
a + b + c + d + e = f…
Строго говоря, не нужно и двух видов; достаточно одного вида и рода, чтобы определить третьего человека, заявленного у Аристотеля. Зенон Элейский обращается к бесконечной регрессии, дабы опровергнуть движение и число; его оппонент – дабы опровергнуть универсальные формы [6].
Следующая аватара Зенона, отмеченная в моих разрозненных заметках, – скептик Агриппа [7]. Он отрицает возможность любого доказательства, ибо оно требует предварительного доказательства (Hypotyposes [8], I, 166). Сходным образом Секст Эмпирик утверждает, что определения бессмысленны, поскольку вначале следовало бы определить понятия, входящие в определения, следовательно, определить определение (Hypotyposes, H, 207). Спустя тысяча, шестьсот лет в посвящении к «Дон Жуану» Байрон напишет о Колридже: «I wish he would explain His Explanation» [9].
До сих пор regressus in infinitum [10] служил для отрицания; святой Фома Аквинский прибегает к нему (Summa Theolоgica [11] 1, 2, 3) для доказательства бытия Божия. Он говорит: в мире нет ничего, что не имело бы своей первоначальной причины, а эта причина, ясное дело, – следствие другой, ей предшествующей причины. Мир – это нескончаемая цепь причин, и каждая причина – это следствие. Каждое состояние происходит из предыдущего состояния и определяет последующее, однако весь ряд может быть фикцией, поскольку члены, его образующие, условны, или, скажем так, случайны. Мир, разумеется, существует; отсюда можно вывести неслучайную первопричину, которая и будет Богом. Таково космологическое доказательство; оно предвосхищается у Аристотеля и Платона; Лейбниц открывает его заново.
