Что касается второго, то, если предположить, что только та истина будет теологической, которая необходима для спасения [души], я утверждаю, что один и тот же вывод, принадлежащий к виду теологических, нельзя доказать в теологии и в естественном знании, понимаемом в первом смысле. Это объясняется тем, что, сколько имеется различных видов знания, столько и известных выводов. Поэтому, подобно тому как один вывод не может принадлежать к различным видам знания, ибо без необходимости не следует утверждать многое, так один и тот же вывод нельзя доказать в различных видах знания. Но если теологию и естественное знание понимать во втором смысле, то один вывод не только по виду, но даже и по числу можно доказать в теологии и в естественном знании, если они существуют в одном и том же разуме, например, такие [выводы]: "Бог мудр", "Бог добр".
Я это доказываю, так как это не менее подходяще, чем то, что один и тот же по виду и числу вывод доказывается propter quid и quia. Последнее возможно, во-первых, потому, что одно и то же по виду и числу действие может быть порождено причинами, принадлежащими к разным видам, и, следовательно, хотя средние [термины] и могут иметь разные смыслы, вывод может иметь один и тот же смысл; во-вторых, потому, что суждение в уме: "Ничто сущее не бесконечно", прямо противоречит суждению: "Нечто бесконечно", которое доказывается как в теологии, так и в естественном знании и, следовательно, имеет один и тот же смысл в них обоих.
Но против этого: под именем "бог" теолог понимает бесконечное существо, превосходящее бесконечное множество различных видов вещей; если они существуют одновременно, то оно превосходит всех их, взятых не только в отдельности, но и вместе. Если согласиться с таким пониманием бога, то его бытие не будет очевидно на основании явлений природы (natu-raliter); следовательно, если понимать бога так, то относительно него ничего нельзя доказать с очевидностью и на основании явлений природы. Вывод отсюда ясен. Предшествующее доказывается так: то, что нечто бесконечно, очевидно на основании явлений природы, только если исходить из движения и причинных связей. Но таким образом доказывается лишь то, что существует такое бесконечное, которое лучше любого бесконечного множества вещей, взятых в отдельности, а не то, что оно лучше всех их, вместе взятых; следовательно, и т. д.
Далее, средний термин, посредством которого [теолог и философ] доказывают этот вывод, имеет один и тот же или разный смысл. Если признать первое, то вывод и термины имели бы точно один и тот же смысл и в таком случае их нельзя было бы доказать в разных видах знания. Если признать второе, то собственным. средним термином особого вывода будет некоторая дефиниция или определение, даваемое посредством предика билий, отвечающих на вопрос: что это? (per praedicabilia in quid). Такое определение имеет разный смысл в различных видах знания, и, следовательно, простое постижение, порожденное этим описанием, будет иметь разный смысл; поэтому вывод, простое постижение которого составляет субъект, будет иметь разный смысл.
На первое из этих [возражений] я отвечаю, что если вывод, имеющий один и тот же смысл, доказать в разных видах знания, то верующий теолог и языческий философ не противоречили бы себе относительно суждения: "Бог троичен и един", ибо высказанные суждения, будучи подчиненными знаками, не противоречат друг другу, если только не противоречивы суждения, производимые в уме. Однако производимые в уме утвердительное и отрицательное суждения первоначально не противоречат друг другу, если только они не составлены из понятий, имеющих один и тот же смысл, хотя иногда противоречие может возникнуть из суждений, составленных из понятий, имеющих разный смысл. Ведь иначе, если бы это было неверно, противоречие могло бы возникнуть в двусмысленных терминах, например: "Каждый пес бежит" и "Некий пес не бежит". Здесь понятия имеют разный смысл: в одном случае имеется в виду лающее животное, а в другом - созвездие, что, несомненно, ложно, ибо противоречие есть противопоставление вещи и имени, не только высказанного, но и содержащегося лишь в уме. Итак, я утверждаю, что некоторые выводы, имеющие один и тот же смысл, можно доказать в разных видах знания, а некоторые нельзя. И это частное суждение, а не общее я считаю истинным.