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

В этой ситуации Галилею остается апеллировать к авторитету Архимеда, которого он опять-таки пытается истолковывать в нужном для себя смысле. "...Я прошу вас разрешить нашему Автору принимать то, что принималось некоторыми величайшими мужами, хотя и неправильно. Авторитет одного Архимеда должен успокоить в этом отношении кого угодно. В своей "Механике" и книге о квадратуре параболы он принимает как правильный принцип, что коромысло весов является прямой линией, равноудаленной во всех своих точках от общего центра всех тяжелых тел, и что нити, к которым подвешены тяжелые тела, параллельны между собою. Подобные допущения всеми принимались, ибо на практике инструменты и величины, с которыми мы имеем дело, столь ничтожны по сравнению с огромным расстоянием, отделяющим нас от центра земного шара, что мы смело можем принять шестидесятую часть градуса соответствующей весьма большой окружности за прямую линию, а два перпендикуляра, опущенные из ее концов, - за параллельные линии. Если бы в наших практических делах нам следовало считаться с подобными ничтожными величинами, то нам, прежде всего, пришлось бы осудить архитекторов, которые берутся воздвигать при помощи отвеса высокие башни с параллельными стенами... Как Архимед, так и другие ученые исходили в своих рассуждениях из предположения бесконечной удаленности от нас земного центра, а тогда их предпосылки совершенно справедливы и доказательства абсолютно строги".

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

Таким образом, в вопросе о материи и соотношении математики и физики Галилей сталкивается с теми же трудностями, что и в вопросе о бесконечности и континууме. Попытки разрешить эти трудности предприняли Декарт, Ньютон, Лейбниц и Кант.

6. Парадоксы теоретического мышления Галилея

Мы не можем найти у Галилея систематически продуманной исследовательской программы именно потому, что почти все его важнейшие понятия содержат в себе противоречие.

Рассмотрим с этой точки зрения исходные понятия галилеевской механики и ее методологические принципы.

Начнем с понятия континуума. Здесь Галилей, как мы видели, утверждает, что континуум состоит из неделимых, природа которых парадоксальна: они сами не имеют величины, но из их бесконечного множества составляется любая конечная величина. Тут одно непонятное - лишенная величины составная часть тела объясняется через другое непонятное: актуально существующее бесконечное множество. Это понятие-парадокс получает название бесконечно малого и играет важную роль как в механике Галилея, так и в его математике. О том, что Галилей хорошо понимал противоречивый характер своего учения о неделимых (бесконечно малых), свидетельствует тот факт, что когда его ученик Кавальери решил на базе этого понятия создать новую геометрию геометрию неделимых, не кто иной, как сам Галилей, откровенно говорил ему о сомнительности его исходных принципов. Хотя письмо Галилея к Кавальери и не сохранилось, но по некоторым высказываниям самого Галилея и по ответу Кавальери на письмо Галилея можно судить о том, что именно понятие суммы бесконечно малых Галилей считал теоретически несостоятельным. Вот что пишет Кавальери, в сдержанной форме упрекая самого Галилея в противоречивости его понятия неделимых: "Чтобы не казалось, что я не проявил должного почтения к столь великому учителю, я прошу читателя обратить внимание на то, что Галилей в цитированном выше месте придерживается двух предпосылок: что непрерывное состоит из неделимых (в частности, линия - из точек, бесконечных по числу) и что существует линия, бу льшая, чем другая линия... Итак, он признает, что некоторая совокупность бесконечного числа членов может быть больше другой, что не противоречит, но благоприятствует моей точке зрения". Упрек Кавальери Галилею вполне резонен: ведь возражая Кавальери, считавшему, что одно бесконечное может быть больше другого, Галилей писал, что одно бесконечное не может быть больше, меньше или равно другому бесконечному, ибо между ними не существует отношения.