«первые положения должно познавать без какой бы то ни было помощи последующих, а все остальное следует располагать таким образом, чтобы доказательство было основано лишь на предшествующем» [С 2, 123].
Хотя аналитическая и синтетическая техника доказательства возникли в лоне математики, Декарт считает их универсальными орудиями мышления. Доказательство своих метафизических идей он предпочитает вести аналитически, как в «Размышлениях», однако,
Несомненно, Спиноза был хорошо знаком и не мог не считаться с соображениями Декарта о том, что в метафизике аналитическая форма доказательства предпочтительнее синтетической формы. Надо полагать, у него имелись достаточно веские основания для того, чтобы все же воспользоваться последней для изложения своей «Этики».
Синтетическое доказательство, пишет Декарт, «не показывает, каким образом было найдено решение» [С 2, 124]. Ход доказательства теоремы, в самом деле, имеет весьма мало общего с действиями мышления, занятого решением какой-либо теоретической проблемы. Здесь стираются те индивидуальные, в том числе эвристические, особенности мышления, которые не вписываются в собственную логику предмета мысли. Впоследствии Гегель хорошо скажет, что от теоретического мышления требуется умение раствориться в своем предмете, всецело отдаться течению его жизни[787]
.Безличность синтетического доказательства делает его подходящим средством для изображения собственной логики предмета (хотя ни в коей мере не гарантирует адекватность изображения). Это преимущество достигается ценой элиминации эвристической составляющей акта познания, что Декарт справедливо отметил как недостаток синтетической формы. Вероятно, Спиноза счел это приемлемой платой за логическую чистоту рассуждения, которую дает ordo geometricus.
Декарт полагал, что синтетическая форма доказательства более уместна в геометрии, нежели в метафизике, вследствие существенной разницы в характере их оснований. — «Различие здесь состоит в том, что аксиомы, предпосылаемые в геометрии доказательству теорем, соответствуют показаниям наших чувств и с легкостью допускаются всеми»; метафизические же аксиомы обязывают интеллект отрешиться от всего чувственного, — чувства только мешают ясному и отчетливому восприятию этих аксиом [С 2, 125]. Философу, в отличие от геометра, полагается
На самом деле различие в характере геометрической и философской аксиоматики не является столь уж резким. С течением времени геометрия приняла в свое лоно множество аксиом, явным образом расходящихся с «показаниями чувств». Однако, хотя основания геометрии лишились непосредственной чувственной достоверности, синтетическая форма отнюдь не потеряла от этого своей значимости. Она с прежним успехом применяется в неевклидовых геометриях, чьи построения нередко вообще невозможно представить в форме, доступной чувственному созерцанию.
Стало быть, Декарт оказался не прав, связывая уместность синтетической формы доказательства с чувственной достоверностью основоположений теории. Внечувственный характер аксиоматики не может служить помехой для применения этой формы в области философии.
Эта дистинкция встречается еще у схоластиков, в частности, у Якоба Цабареллы (J. Zabarella, 1532–1589). Третья глава его книги «О методе» прямо озаглавлена: «De differentia ordinis et methodi» — «О различии порядка и метода». Декарт, Паскаль и авторы «Логики Пор-Рояля» также проводили строгое различие между методом открытия истинной идеи и порядком ее доказательства и изложения. Паскаль начинает трактат «О геометрическом уме» с замечания, что одно дело открыть истину, а другое— доказать ее и отличить от заблуждения, когда истина уже найдена ранее. Он концентрирует усилия на втором, утверждая, что искусству доказательства