证明
旨在论证某一论点的真实性(或虚假性)的论断。 这个被论证的论点叫做证明的论题。证明所依据的判断以及从中可以引出论题的判断，称为论据(根据)。论据被确认为是真的，而且对论据的证明不应该依据论题，否则就会产生被称之为循环论证的错误。 能确定论题之真实性的证明就叫证明，而能确定论题之虚假性的证明叫做反驳。证明可以是直接的，亦即可以是一连串的推理，推理的前提是论据或是从论据中导出的论点；证明还可以借助于补充的假设来进行。后一种证明是这样进行的；借助某些假设以证明某些论点；然后又借助某些特殊规则来证明这些论点，以此来构成对原初论题的证明(不带假设)。 证明可能会出错误，这些错误或源于偷换论题，或源于采用了未加论证的或错误的论据，或源于错误的证明方法。含有错误的证明是站不住脚的。 但是，发现证明站不住脚并不等于证明了论题的虚假性。可能存在这样的证明，它们不是肯定地、而是概然地(参见概率逻辑)确定论题的真实性。 |