оставить их без доказательства: мы свободны мыслить что угодно до тех пор, пока воздерживаемся от утверждений о реальном существовании вещей, которые нами мыслятся.
Аксиомы
1. Все, что существует, существует или само в себе, или в чем-либо другом.
2. Что не может быть представляемо через другое, должно быть представляемо само через себя.
3. Из данной определенной причины необходимо вытекает действие, и наоборот – если нет никакой определенной причины, невозможно, чтобы последовало действие.
4. Знание действия зависит от знания причины и заключает в себе последнее.
5. Вещи, не имеющие между собой ничего общего, не могут быть и познаваемы одна через другую; иными словами – представление одной не заключает в себе представления другой.
6. Истинная идея должна быть согласна со своим объектом (ideatum).
7. Сущность всего того, что может быть представляемо несуществующим, не заключает в себе существования.
Аксиомы содержат «общие понятия» рассудка, служащие «основаниями для наших умозаключений» (Этика II, теор. 40, схолия). Первая делит все сущее на субстанцию и модусы (хотя сами термины в ней не звучат). Субстанция существует «сама в себе», модусы существуют «в ином», а именно – в субстанции. Прочие аксиомы описывают отношения причины и действия, образующие истинную реальность, а также принципы познания этих каузальных отношений.
Теорема 1
Субстанция по природе первее своих состояний.
Теорема 2
Две субстанции, имеющие различные атрибуты, не имеют между собой ничего общего.
Теорема 3
Вещи, не имеющие между собой ничего общего, не могут быть причиной одна другой.
Теорема 4
Две или более различные вещи различаются между собой или различием атрибутов субстанций, или различием их модусов (состояний).
Теорема 5
В природе вещей не может быть двух или более субстанций одной и той же природы, иными словами, с одним и тем же атрибутом.
По сути, первые теоремы «Этики» представляют собой разъяснения определений и аксиом. Доказательства их формальны. Здесь и далее доказательства большинства теорем и короллариев (следствий) опускаются в целях экономии места, однако нельзя назвать их излишними, и уж тем более – «ненужным, мучительным отягощением» (Ге гель). Они ценны тем, что показывают логическую взаимосвязь категорий в философской системе Спинозы.
Теорема 6
Одна субстанция не может производиться другой субстанцией.
Королларий. Отсюда следует, что субстанция чем- либо иным производиться не может. <…>
Теорема 7
Природе субстанции присуще существование.
Доказательство. Субстанция
