Критика чистого разума   ::   Кант И

Но modus ponens, когда к истинности знания заключают от истинности его следствий, допустим лишь в том случае, если все возможные следствия из него истинны, так как в таком случае для этих следствий возможно только одно основание, которое, следовательно, и есть истинное основание. Но такой способ действия не подходит, так как усмотрение всех возможных следствий из какого-нибудь допущенного положения превосходит наши силы; впрочем, этим способом выведения пользуются, правда с некоторым снисхождением, когда нечто должно быть доказано только как гипотеза, причем допускается вывод по аналогии: если многие проверенные нами следствия вполне согласуются с принятым основанием, то и все остальные возможные следствия также окажутся согласными с ним. Превратить этим путем гипотезу в демонстративно доказанную истину нельзя. Modus tollens, когда от следствий заключают к основанию, дает не только совершенно строгое, но и чрезвычайно легко осуществимое доказательство. Действительно, если из какого-нибудь положения получается хотя бы одно ложное следствие, то само такое положение ложно. Поэтому, вместо тог') чтобы рассматривать весь ряд оснований в остенсивном доказательстве, которое приводит к истинности знания посредством полного узрения его возможности, достаточно найти хотя бы один ложный вывод среди следствий, вытекающих из противоположного суждения, и тогда само это суждение ложно, а, стало быть, доказываемое положение истинно.

Однако апагогический способ доказательства допустим только в тех науках, где объективное, т. г.