Третье свойственное чистому разуму правило, когда он подчинен дисциплине в отношении трансцендентальных доказательств, гласит: доказательства чистого разума должны быть не апагогическими, а всегда остенсивными. Прямым, или остенсивным, во всяком виде знаний 780 называется такое доказательство, которое с убеждением в истинности сразу связывает узрение ее источников; апагогическое же доказательство может, правда, породить достоверность, но не понятность истины, когда речь идет о ее связи с основаниями ее возможности. Поэтому апагогические доказательства суть скорее поддержка в крайних случаях, чем метод, который удовлетворял бы всем намерениям разума. Однако они превосходят прямые доказательства очевидностью, поскольку противоречие всегда представляется с большей ясностью, чем самая тесная связь, и потому оно приближается к наглядности демонстрации. Настоящая причина применения апагогических доказательств в различных науках такова. Если основания, из которых должно быть выведено то или иное знание, слишком многообразны или скрыты слишком глубоко, то мы пытаемся установить, нельзя ли найти их через их следствия. Но modus ponens, когда к истинности знания заключают от истинности его следствий, допустим лишь в том случае, если все возможные следствия из него истинны, так как в таком случае для этих следствий возможно только одно основание, которое, следовательно, и есть истинное основание. Но такой способ действия не подходит, так как усмотрение всех возможных следствий из какого-нибудь допущенного положения превосходит наши силы; впрочем, этим способом выведения пользуются, правда с некоторым снисхождением, когда нечто должно быть доказано только как гипотеза, причем допускается вывод по аналогии: если многие проверенные нами следствия вполне согласуются с принятым основанием, то и все остальные возможные следствия также окажутся согласными 781 с ним. Превратить этим путем гипотезу в демонстративно доказанную истину нельзя. Modus tollens, когда от следствий заключают к основанию, дает не только совершенно строгое, но и чрезвычайно легко осуществимое доказательство. Действительно, если из какого-нибудь положения получается хотя бы одно ложное следствие, то само такое положение ложно. Поэтому, вместо того чтобы рассматривать весь ряд оснований в остенсивном доказательстве, которое приводит к истинности знания посредством полного узрения его возможности, достаточно найти хотя бы один ложный вывод среди следствий, вытекающих из противоположного суждения, и тогда само это суждение ложно, а, стало быть, доказываемое положение истинно. — 414 —
|