Глава третья
Теперь следует объяснить, должна ли одна наука или разные заниматься, с одной стороны, тем, что в математике называется аксиомами, с другой – сущностью. Совершенно очевидно, что и такие аксиомы должна рассматривать одна наука, а именно та, которой занимается философ, ибо аксиомы эти имеют силу для всего существующего, а не для какого-то особого рода отдельно от всех других. И применяют их все, потому что они истинны для сущего как такового, а каждый род есть сущее; но их применяют настолько, насколько это каждому нужно, т. е. насколько простирается род, относительно которого приводятся доказательства. Так как, стало быть, аксиомы имеют силу для всего, поскольку оно есть сущее (а сущее ведь обще всему), то ясно, что тому, кто познает сущее как таковое, надлежит исследовать и аксиомы. Поэтому никто из тех, кто изучает частное, не берется каким-то образом утверждать о них, истинны ли они или нет, – ни геометр, ни арифметик, разве только кое-кто из рассуждающих о природе, со стороны которых поступать так было вполне естественно: ведь они полагали, что они одни изучают природу в целом и сущее [как таковое]. Но так как есть еще кто-то выше тех, кто рассуждает о природе (ибо природа есть лишь один род сущего), то тому, кто исследует общее и первую сущность, необходимо рассматривать и аксиомы; что же касается учения о природе, то оно также есть некоторая мудрость, но не первая. А попытки иных рассуждающих об истине разобраться, как же следует понимать [аксиомы], объясняются их незнанием аналитики, ибо [к рассмотрению] до́лжно приступать, уже заранее зная эти аксиомы, а не изучать их, услышав про них.
Что исследование начал умозаключения также есть дело философа, т. е. того, кто изучает всякую сущность вообще, какова она от природы, – это ясно. А тот, кто в какой-либо области располагает наибольшим знанием, должен быть в состоянии указать наиболее достоверные начала своего предмета, и, следовательно, тот, кто располагает таким знанием о существующем как таковом, должен быть в состоянии указать эти наиболее достоверные начала для всего. А это и есть философ. А самое достоверное из всех начал – то, относительно которого невозможно ошибиться, ибо такое начало должно быть наиболее очевидным (ведь все обманываются в том, что́ не очевидно) и свободным от всякой предположительности. Действительно, начало, которое необходимо знать всякому постигающему что-либо из существующего, не есть предположение; а то, что необходимо уже знать тому, что познает хоть что-нибудь, он должен иметь, уже приступая к рассмотрению. Таким образом, ясно, что именно такое начало есть наиболее достоверное из всех; а что́ это за начало, укажем теперь. А именно: невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении (и все другое, что мы могли бы еще уточнить, пусть будет уточнено во избежание словесных затруднений) – это, конечно, самое достоверное из всех начал, к нему подходит данное выше определение. Конечно, не может кто бы то ни было считать одно и то же существующим и не существующим, как это, по мнению некоторых, утверждает Гераклит; но дело в том, что нет необходимости считать действительным то, что́ утверждаешь на словах. Если невозможно, чтобы противоположности были в одно и то же время присущи одному и тому же (пусть будут даны нами обычные уточнения этого положения), и если там, где одно мнение противоположно другому, имеется противоречие, то очевидно, что один и тот же человек не может в одно и то же время считать одно и то же существующим и не существующим; в самом деле, тот, кто в этом ошибается, имел бы в одно и то же время противоположные друг другу мнения. Поэтому все, кто приводит доказательство, сводят его к этому положению как к последнему: ведь по природе оно начало даже для всех других аксиом.
Глава четвертая
Есть, однако, такие, кто, как мы сказали, и сам говорит, что одно и то же может в одно и то же время и быть и не быть, и утверждает, что так считать вполне возможно. Этого мнения придерживаются и многие рассуждающие о природе. Мы же приняли, что в одно и то же время быть и не быть нельзя, и на этом основании показали, что это самое достоверное из всех начал.
Так вот, некоторые по невежеству требуют, чтобы и оно было доказано, ведь это невежество не знать, для чего следует искать доказательства и для чего не следует. На самом же деле для всего без исключения доказательства быть не может (ведь иначе приходилось бы идти в бесконечность, так что и в этом случае доказательства не было бы); а если для чего-то не следует искать доказательства, то они, надо полагать, не будут в состоянии сказать, какое же начало считают они таким [не требующим доказательства] в большей мере.