【证明的逻辑原则】

　　在MPAcc逻辑中，充足理由原则是证明的逻辑原则。充足理由原则的基本内容是：在思维过程中，任何正确的思想必须有充足理由。或者说，在推理和证明过程中，一个思想被确定为真的，总是有其充足理由的。充足理由原则的公式是：A真，因为B真并且B能推出A。

　　公式中的"A"表示证明中被确定为真的思想(即论题)，我们称之为推断;公式中的B表示用来确定推断"A"真的一个或一组判断(即论据)，我们称之为理由。由于B真而且B能推出A，所以称B是A的充足理由。

　　具体地讲，充足理由原则的逻辑要求包括下列两个方面：第一，作为理由的判断应当是真实的;第二，理由和推断之间应当具有逻辑上的必然联系。换句话说，推论应当符合逻辑规则，推理形式应当是正确的。也就是说，充足理由原则的要求是：必须根据真实的判断和正确的推理形式来推出新的判断。因此，充足理由原则体现了证明过程中真实性和正确性的统一，体现了正确思维的论证性的特点。

　　违反充足理由原则要求的逻辑错误是理由不充足。它有两种表现：第一种表现是理由本身是虚假的。比如，和平主义者提出了"反对一切战争"的口号，他们的理由是："一切战争都是非正义的。"这个理由本身是不真实的，因为只要有战争，就有正义战争和非正义战争之分。一切推动社会历史前提的战争，例如农民革命战争、民族解放战争就是正义的战争。所以，和平主义者依据的理由是虚假的、错误的。从逻辑上讲，这种错误叫做"虚假理由"的逻辑错误。

　　第二种表现是理由和推断之间没有必然的联系，或者说推论不符合逻辑。比如，有人说："如果一个人是运动员，那么他就要经常锻炼身体，我不是运动员，所以，我不要经常锻炼身体。"这个人的结论显然是不正确的。尽管这个推论的理由都是真的(即"运动员要经常锻炼身体"和"和不是运动员"都是事实)，但由于它违反推理的规则，它的推理形式是错误的，即推断不是从理由中逻辑地推出来的，因而这个推论不符合充足理由原则的逻辑要求，结论也是错误的。用这种错误的推理形式来进行证明，就是一种"推不出"的逻辑错误。