Вместе со сказанным можно будет поколебать доказательство, также исходя из его понятия. Правда, даже если бы его можно было помыслить, оно не существовало бы в совершенном смысле, поскольку, как я сказал [77], есть много такого, что мыслится, но что не имеет никакой реальности. Теперь же когда обнаруживается, что и само понятие доказательства невозможно, то, бесспорно, отсекается и надежда на его реальность. При существовании двух доказательств, родового и видового, родовое мы само по себе найдем немыслимым. Ведь никто из нас не знает родового доказательства, и никогда через него ничего не удавалось установить. С другой стороны, нужно спросить, имеет ли такое доказательство посылки и вывод или не имеет. И если не имеет, как оно еще может мыслиться доказательством, если понятие никакого доказательства не может составиться без посылки и вывода? Если же оно имеет и то и другое, т.е. посылки и вывод, то оно есть [уже] видовое, [а не родовое] доказательство. Ведь если все доказуемое и все доказующее относится к предметам частным, то необходимо, чтобы и доказательство было одним из видовых предметов. У нас, однако, было рассуждение как раз не о видовом, а о родовом доказательстве. Следовательно, родовое доказательство невозможно помыслить [в понятии]. Но также не мыслится и видовое.
В самом деле, у догматиков доказательством называется рассуждение, раскрывающее неясный предмет на основании вывода при посредстве некоторых явных предметов. Итак, или весь состав, т.е. то, что мыслится как состоящее из посылок и вывода, есть доказательство, или только посылки суть доказательство, а вывод есть доказуемое. Что бы, однако, из этого ни назвали доказательством, все равно понятие доказательства колеблется.
Действительно, если доказательство составляется из посылок и вывода, то необходимо, чтобы доказательство, содержащее что-нибудь неявное, сейчас же само оказывалось неявным и чтобы, ставши таким, само нуждалось в каком-нибудь доказательстве, что нелепо.
225
Поэтому составленное из посылок и вывода не может быть доказательством, раз мы не мыслим доказательство ни как неявное, ни как нуждающееся в доказательстве.
Далее, доказательство принадлежит к предметам относительным. Ведь оно ориентируется не само на себя и мыслится не как изолированное, но имеет нечто, чего именно оно является доказательством. Поэтому если в него включается вывод, а всякий относительный предмет находится вне того, в отношении чего он зовется относительным, то доказательство мыслится не относящимся ни к чему, поскольку вывод уже заключен в нем самом. Однако хотя бы мы подставили извне и другой вывод, в отношении к которому мыслилось бы наше доказательство, то окажется два вывода относительно данного места: один - заключенный в доказательстве, другой же - находящийся вне его, к которому мысль и относит доказательство. Но нелепо во всяком случае, чтобы одно доказательство имело два вывода. Следовательно, доказательство не состоит из посылок и вывода. Поэтому остается говорить, что доказательство состоит только из посылок. Но это глупо. Ведь это вообще не есть рассуждение, но предмет неполный и бессмысленный, поскольку никто из находящихся в здравом уме не говорит, что речение: "Если существует движение, то существует пустота, но движение существует" - есть рассуждение или имеет смысл. Итак, если доказательство мыслится пли не состоящим из посылок и вывода, или состоящим только из посылок, оно не мыслимо [вообще].
