|
Лейбниц здесь, по существу, повторяет аргумент Платона, характеризовавшего геометрию как науку, опирающуюся не только на разум, но и на воображение. Платон потому и поставил геометрию после арифметики, что считал геометрию менее строгой в силу ее обращения к пространственным образам, а не к одним только понятиям ума. Лейбниц, хорошо знакомый с сочинениями Платона и Прокла, разделяет их точку зрения, что пространственные образы - это смутные, неадекватные идеи, и тот, кто с их помощью стремится дать определение исходных понятий геометрии, не может этого сделать с надлежащей строгостью. "Вот почему Евклид за отсутствием отчетливо выраженной идеи, т.е. определения прямой линии (так как его провизорное определение прямой неясно и он им не пользуется в своих доказательствах), был вынужден обратиться к двум аксиомам, которые заменяли у него определение и которыми он пользовался в своих доказательствах. Первая аксиома гласит, что две прямые не имеют общей части, а вторая - что они не заключают пространства. Архимед дал своего рода определение прямой линии, сказав, что это кратчайшая линия между двумя точками. Но, пользуясь в своих доказательствах такими элементами, как евклидовы, которые основаны на только что упомянутых мной двух аксиомах, он молча предполагает, что свойства, указанные в этих аксиомах, принадлежат определенной им линии". Но если основания античной геометрии были столь непрочны, то как же следует отнестись к построенному на них зданию? Что это - строгая научная система, какой считали геометрию и в античности, и в средние века, и уж тем более в XVII столетии, или же это просто практическое искусство, способ решения технико-практических задач, каким с древности считали логистику? В самом деле, если очевидность евклидовых аксиом носит не чисто логический характер, а опирается и на воображение (что несомненно), то "Начала" невозможно считать строго научной системой. Однако Лейбниц столь радикального вывода не делает. Он заявляет, что все же "лучше было ограничиться небольшим количеством истин этого рода, казавшихся ему (Евклиду. - П.Г.) наипростейшими, и вывести из них другие истины... чем оставить множество их недоказанными и, что еще хуже, предоставить людям свободу допускать все, что угодно, в зависимости от настроения". Ибо даже при помощи таких, далеко не первичных аксиом были сделаны великие открытия, которых не было бы, "если бы древние не захотели двинуться вперед до того, как они не докажут аксиом, которыми они вынуждены были пользоваться". — 220 —
|