Дальнейший анализ категории бесконечного приводит Спинозу к мыслям (теоремам) о том, что Бог существует и его сущность тождественна с существованием, что он единствен, вечен, свободен в своих действиях и так далее. Все это суть свойства или признаки, принадлежащие Богу и общие (communes) всем его атрибутам. Конкретные определения атрибутов Бога как таковых Спиноза дает в теоремах [Eth2 pr1-2]:
«Deus est res cogitans» и «Deus est res extensa».
Только эти определения Бога, как вещи мыслящей и протяженной, суть его реальные дефиниции. Спиноза пишет, что Бог есть вещь мыслящая и протяженная, а не просто: Бога я понимаю (iintelligo) как вещь мыслящую и протяженную. Связка «est» прямо указывает, что данная дефиниция — реальная и ее надлежит воспринимать sub ratione veri. Реальные дефиниции подводят некий итог исследования вещи, рассудочные же образуют его отправной пункт.
Наличие более или менее строго очерченного круга исходных допущений, истинность которых не доказывается, является необходимым условием формирования всякой теории. Аксиоматика «Этики», безусловно, не удовлетворяет строгим формально-логическим требованиям — независимости, полноты и непротиворечивости.
К примеру, [Eth1 ax1] гласит:
«Все, что существует, существует либо в себе, либо в ином».
Согласно Спинозе, существовать в себе или в ином значит иметь причиной своего существования себя или иное. Эта важнейшая аксиома основывается на предположении, что всякая вещь существует вследствие какой-либо причины, появляющемся только в [Eth1 pr8 sch2]. Следовательно, уже первая аксиома «Этики» не может считаться независимой.
В [Eth1 ахб] Спиноза объясняет, что «истинная идея должна согласоваться со своим идеатом». Меж тем дефиниция идеи дается гораздо позже, в [Eth2 df3]. А относительно [Eth5 ах2] Спиноза замечает: «эта аксиома явствует из теоремы 7 части III». Но в таком случае ее нельзя считать аксиомой, а правильнее квалифицировать как королларий этой теоремы!
Нетрудно показать, что в «Этике» наличествует еще несколько «нелегальных» аксиом. Ее аксиоматика никак не может считаться независимой и достаточно полной. Противоречия «Этики» — предмет отдельного разговора, однако даже невооруженному взгляду заметно, что она совершенно не вписывается в канон непротиворечивости, предлагаемый традиционной логикой. У Вольтера имелись основания писать о «туманностях его [Спинозы] так называемого геометрического, а на самом деле весьма запутанного стиля»[812].
Трудно судить, отчего Спиноза столь откровенно пренебрегает формальными требованиями, предъявляемыми к аксиоматике. Какой смысл пользоваться геометрическим порядком, если не соблюдаются его простые нормы? Во всяком случае, это пренебрежение лишний раз свидетельствует о том, что Спиноза не придавал решающего значения геометрическому порядку доказательства, не считал, что от точного соблюдения этого порядка зависит истинность мышления, и не использовал его потенциал в полной мере.
В философии никогда не было эталонной аксиоматики, наподобие Евклидовой. Здесь почти в одно время возникли сразу несколько соперничающих аксиоматических систем. Чаще всего философы полагались на ясность и простоту восприятия своих аксиом и на согласие выводимых из аксиом следствий с данными опыта. Спиноза ищет предметный критерий. Аксиома верна лишь в том случае, когда ее предмет — нечто всеобщее, то есть общее всем вещам и не образующее сущности никакой единичной вещи. Это всеобщее «может пониматься не иначе как адекватно», доказывает Спиноза.
Почему же, в таком случае, аксиомы «Этики» многим философам все же представляются сомнительными или даже ошибочными? Керли справедливо указывает, что последователю Юма четыре первые аксиомы «Этики», производные от каузального постулата, вовсе не покажутся убедительными. А аксиомы и постулаты второй части «Этики» — в особенности те, что касаются природы тел, — в большинстве своем просто абстракции, извлекаемые из опыта.