История греческой философии в её связи с наукой
Шрифт:
Иной характер, чем определения и аксиомы, носят постулаты. Греческий термин aДt mata означает "требования". Постулаты, как и аксиомы, имеют общее значение: они перечислены в начале I книги и имеют силу для всех книг Евклида, где речь идет о геометрических объектах. Относительно количества постулатов очень много спорили уже в эпоху эллинизма и вплоть до нашего времени. По этому вопросу существует специальная весьма обширная литература, но мы рассмотрим его лишь с интересующей нас стороны.
Обратимся к переводу постулатов, сделанному М.Я. Выгодским со списка, который принят И. Гейбергом. Этот список, как говорит Выгодский, "соответствует большинству лучших рукописей и, что не менее важно, совпадает со списком, приводимым в комментариях Прокла. Поэтому можно думать, что нижеприводимые постулаты... содержались в оригинале "Начал".
Требования
1. Требуется, чтобы можно было через всякие две точки провести прямую.
2. И ограниченную прямую непрерывно продолжать по прямой.
3. И из всякого центра всяким расстоянием описать круг.
4. И что все прямые углы равны.
5. И если прямая линия, падающая на две прямые, делает меньшими двух прямых углы по одну сторону, чтобы эти две прямые, будучи продолжены, совпали с той стороны, с которой углы меньше двух прямых".
Анализ евклидовых "Начал" неоплатоником Проклом
Неоплатоник Прокл (V в.) в своем комментарии к "Началам" Евклида говорит, что 4-й и 5-й постулаты - это, в сущности, не постулаты. "...?оложение, что все прямые углы равны, не есть требование, точно так же как и пятое положение, которое утверждает: если прямая пересекается с двумя другими прямыми и образует внутренние углы по одну сторону меньшие, чем два прямых, то эти две прямые, будучи продолжены, совпадут с той стороны, где лежат углы, меньше двух прямых". Как аргументирует Прокл свое утверждение? "Это положение, - говорит он, имея в виду 5-й постулат, - не применяется в качестве конструкции и не ставит требование что-то найти, а оно объясняет некоторое свойство, которое является общим для прямых углов и прямых, исходящих из углов, меньших двух прямых. Согласно второму определению, положение, что две прямые не объемлют поверхности (см. аксиому 9: "Две прямые не содержат пространства"), - положение, которое также теперь некоторые причисляют к аксиомам, не есть аксиома. Ибо оно принадлежит к геометрической материи, как и положение о равенстве двух прямых углов".
Это рассуждение Прокла в сущности уже содержит различение аксиом и постулатов - различение, которое нас как раз и интересует. Из слов Прокла можно понять, что к постулатам он причисляет лишь те положения, которые ставят требования что-то найти или сконструировать; по этой причине отнесенные к числу постулатов положения о равенстве всех прямых углов (4) и о пересечении двух непараллельных прямых при их продолжении (5) он постулатами не считает. В то же врем· Прокл не согласен считать аксиомой положение 9, относимое, как он говорит, "некоторыми" к аксиомам: ведь оно трактует о поверхности (пространстве) и тем самым "принадлежит к геометрической материи". Заметим характерное выражение: геометрическая материя.
Аксиомы, согласно Проклу, так же отличаются от постулатов, как теоремы - от проблем: "Выведение из принципов опять-таки распадается на задачи (проблемы) и положения (теоремы). Первые обнимают собою построение фигур, разделение, вычитание и прибавление и вообще все, что с ними можно делать (vornehmen); последние указывают существенные свойства... Если кто-то формулирует задачу так: вписать в круг равносторонний треугольник, то он говорит о проблеме; ибо возможно вписать в круг также и неравносторонний треугольник. И опять-таки: на данном, точно определенном, отрезке построить равносторонний треугольник - это тоже проблема, ибо можно построить также и неравносторонний. Но если кто-то формулирует положение, что в равнобедренных треугольниках углы при основании равны, то можно сказать, что он формулирует теорему, ибо невозможно, чтобы в каком-нибудь равнобедренном треугольнике углы при основании не были равны".
Таким образом, теорема - это теоретическое утверждение, в котором определенному объекту приписывается свойство, которое ему присуще с необходимостью.
Проблема же - это скорее практическая задача, которая выполняется определенным способом, и нужно найти эти способы, изобрести их и выполнить требуемое построение. Характерной особенностью задачи (проблемы) является то, что требуемое построение - отнюдь не единственно возможное: при заданных условиях можно осуществить и другое построение.
Теорема представляет собой утверждение, противоположное которому будет неистинным; к проблеме же определение "истинно - неистинно" не может быть применено.
Указав на различие
Если мы оставим в стороне весьма сложный и на протяжении многих веков дискутировавшийся среди математиков и философов вопрос о двух последних постулатах (4 и 5-й) и некоторых аксиомах (7 и 9-·), то с различением, которое здесь приводит Прокл, трудно не согласиться.
Из дальнейшего сообщения Прокла мы узнаем, что еще до Евклида греческие математики и философы обсуждали значение недоказуемых предпосылок в геометрии. Ученик Платона Спевсипп не соглашался с математиком Менехмом, учеником Евдокса; их спор был продолжением полемики самого Платона с Архитом, Евдоксом и другими математиками относительно применимости в геометрии принципа построения. Во всяком случае, Г.Г. Цейтен считает, что спор между Менехмом и Спевсиппом подобен тому, который начался еще раньше между Евдоксом и Платоном, и что этот спор касается доказательства существования геометрических объектов. "...Платоники, - пишет Цейтен, утверждали, что равносторонний треугольник существует до построения его, Менехм же, очевидно, должен был доказывать, что в его реальном существовании мы убеждаемся, лишь построив его и доказав при этом, что это построение приводит действительно к преследуемой им цели. Но так именно поступает Евклид: он не довольствуется определением равносторонних треугольников; прежде чем начать пользоваться ими, он убеждается в их существовании, решив в первой теореме своей первой книги задачу о построении этих треугольников; затем он доказывает правильность этого построения".
Цейтен считает, что этот спор имеет принципиальное значение с точки зрения платоника Спевсиппа, существование геометрических объектов (того же равностороннего треугольника) не может быть доказано с помощью построения, ибо геометрические объекты тождественны идеям и существуют от века, а Менехм и вслед за ним Евклид не согласны со Спевсиппом. Что касается названных математиков, то их позицию Цейтен характеризует следующим образом: "Основное значение геометрического построения заключается в доказательстве реального существования того самого объекта, к нахождению которого приводит это построение". К этой позиции присоединяется и сам Цейтен, считая, что постулаты Евклида представляют собой доказательства существования геометрических объектов: первый постулат - доказательство существования отрезка прямой, второй - неограниченно продолженной прямой, третий - круга.
И действительно, у Прокла по этому поводу читаем: Спевсипп и Амфином "придерживались того взгляда, что наукам о духовном (Geisteswissenschaften) приличествует скорее название теорем, чем проблем, поскольку они занимаются непреходящим предметом. Ибо в сфере непреходящего не существует становления, так что в ней нет места для проблемы, которая предполагает становление и создание чего-то такого, чего до этого не было, как, например, построение равностороннего треугольника или построение квадрата с данной стороной... Согласно им, следовательно, правильнее сказать, что все есть одно и то же и что мы рассматриваем его становление не деятельным, а познающим способом, тем, что берем вечно сущее как нечто становящееся, поэтому мы скажем, что все следует брать в смысле теорем, а не проблем. Другие же, как, например, школа математики Менехма, хотят характеризовать весь комплекс как проблемы. Но задача при этом является двойственной: она означает то изобретение чего-то искомого, то исследование определенного объекта с целью узнать, что он такое, или каким свойством обладает, или в каком отношении он находится к другому объекту".