Комментируя эти тексты Аристотеля, Фома замечает: первые начала, которые рассматриваются в метафизике, таковы, что в них предикаты заключены в самом понятии субъектов. Чтобы подобные начала были самоочевидными, их субъекты и предикаты должны быть общеизвестны. Этому условию отвечают те понятия, которые, как первое, постигаются всеми: сущее и не-сущее, целое и часть, равное и неравное, тождественное и иное, и т. д. Хотя состоящие из таких терминов начала не могут быть доказаны непосредственно, они подлежат обоснованию при помощи аргументов ad hominem, то есть аргументов, направленных на опровержение высказанной позиции противника[148]
.Посмотрим, что говорит об этом Суарес.
Нужно различать два рода доказательств: первый род – так называемое наглядное доказательство (demonstratio ostensiva), второй – доказательство через приведение к невозможному (demonstratio deducens ad impossibile). Наглядное доказательство – это полноценное позитивное доказательство, которое необходимо в любой науке и служит средством прямого выведения следствия из причин или свойств вещи из ее сущности (III. 3. 6). В метафизике наглядное доказательство через причины, как уже было сказано, применяется достаточно редко.
Здесь у нас возникает одно затруднение. Согласно Аристотелю, «Вторая аналитика», книга 2, глава 16 (98 b 18–20), «доказательство через причину есть доказательство того, почему есть что-то, доказательство же не через причину есть доказательство лишь того, что нечто есть». Коль скоро метафизика использует полноценные доказательства через причину скорее в порядке исключения, чем правила, как она может быть наукой propter quid? Видимо, в отношении самых первых вещей ситуация выглядит иначе, нежели в отношении частных наук. В самом деле, у первого – либо самого по себе (божественного сущего), либо для нас (сущего как такового) – вообще нет причин в строгом смысле; что же касается более низких уровней сущего (например, тварного сущего), их первые причины, сокрытые в Боге, в большинстве случаев принципиально недоступны нашему познанию. Поэтому в метафизике требовать доказательств через причину в одних случаях невозможно, а в других и вовсе бессмысленно. Эта наука обосновывает свои первые начала иначе, о чем пойдет речь чуть ниже.
Зато другой вид наглядного доказательства – априорное доказательство свойств из сущности и свойств низших сущих из свойств высших – используется регулярно. В нем первые атрибуты сущего доказываются из природы самого сущего как из своего формального принципа, характеристики низших родов сущего – из его первых атрибутов, и т. д. Это нормальное позитивное доказательство, которое используется для получения достоверного вывода.
Однако такого рода доказательство возможно тогда, когда уже утверждены посылки. Между тем абсолютно первые начала, то есть абсолютно первые посылки, вообще недоказуемы путем наглядного доказательства из-за отсутствия среднего термина. Поэтому в метафизике способ априорного наглядного доказательства не может быть основным: эта роль отведена доказательству через приведение к невозможному.