§ 23. Аксиомы

Наличие более или менее строго очерченного круга исходных допущений, истинность которых не доказывается, является необходимым условием формирования всякой теории. Аксиоматика «Этики», безусловно, не удовлетворяет строгим формально-логическим требованиям — независимости, полноты и непротиворечивости.

К примеру, [Eth1 ax1] гласит:

Согласно Спинозе, существовать в себе или в ином значит иметь причиной своего существования себя или иное. Эта важнейшая аксиома основывается на предположении, что всякая вещь существует вследствие какой-либо причины, появляющемся только в [Eth1 pr8 sch2]. Следовательно, уже первая аксиома «Этики» не может считаться независимой.

В [Eth1 ахб] Спиноза объясняет, что «истинная идея должна согласоваться со своим идеатом». Меж тем дефиниция идеи дается гораздо позже, в [Eth2 df3]. А относительно [Eth5 ах2] Спиноза замечает: «эта аксиома явствует из теоремы 7 части III». Но в таком случае ее нельзя считать аксиомой, а правильнее квалифицировать как королларий этой теоремы!

Нетрудно показать, что в «Этике» наличествует еще несколько «нелегальных» аксиом. Ее аксиоматика никак не может считаться независимой и достаточно полной. Противоречия «Этики» — предмет отдельного разговора, однако даже невооруженному взгляду заметно, что она совершенно не вписывается в канон непротиворечивости, предлагаемый традиционной логикой. У Вольтера имелись основания писать о «туманностях его [Спинозы] так называемого геометрического, а на самом деле весьма запутанного стиля»[812].

Трудно судить, отчего Спиноза столь откровенно пренебрегает формальными требованиями, предъявляемыми к аксиоматике. Какой смысл пользоваться геометрическим порядком, если не соблюдаются его простые нормы? Во всяком случае, это пренебрежение лишний раз свидетельствует о том, что Спиноза не придавал решающего значения геометрическому порядку доказательства, не считал, что от точного соблюдения этого порядка зависит истинность мышления, и не использовал его потенциал в полной мере.

В философии никогда не было эталонной аксиоматики, наподобие Евклидовой. Здесь почти в одно время возникли сразу несколько соперничающих аксиоматических систем. Чаще всего философы полагались на ясность и простоту восприятия своих аксиом и на согласие выводимых из аксиом следствий с данными опыта. Спиноза ищет предметный критерий. Аксиома верна лишь в том случае, когда ее предмет — нечто всеобщее, то есть общее всем вещам и не образующее сущности никакой единичной вещи. Это всеобщее «может пониматься не иначе как адекватно», доказывает Спиноза.

Почему же, в таком случае, аксиомы «Этики» многим философам все же представляются сомнительными или даже ошибочными? Керли справедливо указывает, что последователю Юма четыре первые аксиомы «Этики», производные от каузального постулата, вовсе не покажутся убедительными. А аксиомы и постулаты второй части «Этики» — в особенности те, что касаются природы тел, — в большинстве своем просто абстракции, извлекаемые из опыта.

Спиноза, конечно, не мог быть столь наивен, чтобы думать, что его аксиомы ни у кого не вызовут никаких возражений. Еще Декарт сетовал, что в философии нет ни одного положения, которое не служило бы предметом споров и в этом смысле не могло считаться сомнительным. Спиноза не придает подобного рода сомнениям столь серьезного значения, как Декарт. Скептиков, оспаривающих адекватность понятий причины, субстанции, актуальной бесконечности, лежащих в основании его аксиом, Спиноза пренебрежительно зовет «людьми, поистине пораженными слепотою духа» [TIE, 14][814].

Это, впрочем, не означает, что сам он видел в аксиомах «Этики» истины в последней инстанции. Гилеад отстаивает мнение, что Спиноза вообще был противником картезианского принципа непосредственной достоверности основоположений теории:

В этой части Спиноза встает в оппозицию к Декарту и… оказывается солидарен со скептиками. Последнее выглядит почти невероятным, учитывая «догматическую» репутацию спинозовской философии, однако Гилеад подкрепляет свое мнение солидной аргументацией.

Методологическая программа Декарта предполагала конструирование всего корпуса знаний из элементарных, непосредственно ясных и достоверных идей, как в геометрии (вот это, а не ordo geometricus, и есть настоящий геометрический метод философского мышления). Локк и Юм, Рассел и Карнап, каждый по-своему, делали то же самое, пишет Гилеад. Спиноза же считал такой метод ошибочным: