История греческой философии в её связи с наукой

Рассмотрим теперь, что имеет в виду Вилейтнер, говоря о втором моменте, содержащемся в аксиоме Евдокса: "Евклид хочет лишить права находиться в отношении "бесконечно малые" и "бесконечно большие" образы". Относительно "бесконечно малых" мы уже приводили пример роговидных углов, которые не могут находиться в отношении с прямолинейными. Но аксиома Евдокса, что нетрудно видеть, не будет иметь силы также и по отношению к бесконечно большой величине, ибо тогда неравенство nb > a не может быть справедливым; число n предполагается ведь сколь угодно большим, но конечным числом.

Очевидно, что аксиома Евдокса оказывается непосредственно связанной с проблемой бесконечного; и решение этой проблемы именно в духе Евдокса мы находим опять-таки у Аристотеля.

Таким образом, аристотелевская физика, построенная на основе принципа непрерывности, внутренне связана с математическим мышлением, как оно воплотилось в "Началах" Евклида; этим и объясняется отчасти то обстоятельство, что принцип непрерывности Аристотеля не был отменен и в механике нового времени; и только в связи с открытием неевклидовых геометрий возникла возможность пересмотра этого принципа. Правда, уже после открытия исчисления бесконечно малых понадобилось кое-что откорректировать как в принципе непрерывности Аристотеля, так и в аксиоме непрерывности Евдокса; однако эти коррективы самой непрерывности не отменили.

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

Понятие бесконечного

Приступая к анализу понятия бесконечности, Аристотель предупреждает, что здесь приходится ходить по очень зыбкой почве, постоянно рискуя натолкнуться на парадоксы и противоречия: ибо "много невозможного следует и за отрицанием его (бесконечного. - П.Г.) существования и за признанием". Но, несмотря на эти затруднения, возникающие при рассмотрении бесконечного, физика, так же как и математика, по мысли Аристотеля, не может обойтись без такого рассмотрения. "А что бесконечное существует, - пишет Аристотель, уверенность в этом скорее всего возникает у исследователей из пяти оснований: из времени (ибо оно бесконечно), из разделения величин (ведь и математики пользуются бесконечным); далее, что только таким образом не иссякнут возникновение и уничтожение, если будет бесконечное, откуда берется возникающее. Далее, из того, что конечное всегда граничит с чем-нибудь, так что необходимо, чтобы не было никакого предела, раз необходимо, чтобы одно всегда граничило с другим. Но больше всего и главнее всего - что доставляет для всех затруднение - на том основании, что мышление не останавливается: и число кажется бесконечным, и математические величины, и то что лежит за небом: а если лежащее за небом бесконечно, то кажется бесконечным тело и существует множество миров..." (курсив мой. П.Г.) Однако в вопросе о бесконечном, говорит Аристотель, доверять мышлению нельзя, поэтому ко всем перечисленным основаниям, побуждающим принять бесконечное, надо подойти критически, внимательно рассмотрев возможные следствия из каждого допущения относительно бесконечного.

Как обычно, Аристотель начинает исследование с критики платоновского и пифагорейского понятий бесконечного. И Платон, и пифагорейцы рассматривают бесконечное как сущность, а не свойство, не предикат чего-нибудь другого. В отличие от них натурфилософы считают бесконечное предикатом природных элементов, в зависимости от того, какой элемент каждый из них принимает за первоначало - воду, воздух или огонь. Аристотель не соглашается признать бесконечное ни сущностью, ни предикатом (сущности). Характерно его возражение против платоновско-пифагорейской трактовки бесконечного как сущности: если принять, что бесконечное является сущностью, то оно должно мыслиться как неделимое. "...Если бесконечное - сущность и не относится к какому-нибудь подлежащему, - говорит Аристотель, - то "быть бесконечным" и "бесконечность" - одно и то же, следовательно, оно или неделимо, или делимо на бесконечности, а быть одному и тому же предмету многими бесконечными невозможно. Однако если оно сущность и начало, то как часть воздуха остается воздухом, так и часть бесконечного - бесконечным. Следовательно, оно неразделимо и неделимо. Однако невозможно бесконечному существовать актуально, ведь ему необходимо быть количеством. Бесконечное, следовательно, существует по совпадению... Поэтому нелепости утверждают те, которые говорят так же, как пифагорейцы: они одновременно делают бесконечное сущностью и делят его на части".