16．推证的本性

任何可以组成一个三段论的两个定义，都能产生出一个结论。因为结论是由原则引申出来的，也就是说从定义中引申出来的，所以人们说：结论是被推证出来的。这种引申或组合本身就叫作推证。同样，如果一个三段论由两个命题造成，其中一个是定义，另一个是得到推证的结论，或者二者都不是定义，都是以前得到推证的，那个三段论也叫作推证。再往下也是如此。所以，推证的定义是：一个推证就是从名称的定义引申出来并且继续推到最后结论的一个三段论或一系列三段论。从这个定义可以了解，一切从真实原则开始的真实推理，都产生科学，并且都是真实的推证。因为说到这名称的起源，虽然希腊人叫作ἀποδέιξις，拉丁人叫作demonstratio，他们都是把它了解为只是那样一种推理，在那种推理里，凭着描绘一些线和图形，可以说把要推证的东西放到了人们眼前，这正是άποδέικνυειν或用图形表明（to shew）；可他们有这样的了解，理由似乎就是认为除几何学（只有在这里才可以有这一类图形）以外，是没有达到科学的确实推理的。他们关于其他事物的学说都只是争论和喧闹，然而这种情况的发生，却并不是因为他们所主张的真理没有图形就不足以阐述明白，而是因为他们缺乏可以引出他们的推理的真实原则。因此，我们只能肯定：如果各种学说都以真实的定义为前提，那么各种推证也就将是真实的。87