逻辑学推理论亟需补充基本规则

The Basic Rules Demanding Urgent Complement in Inferential Theory of Logic

逻辑是从形式的角度研究推理前提的真如何传递到结论。这就要求,前提形式不能为永假式,而且结论与前提必须有真值的传递关系,这是推理得以成立的两个基本前提。因而,它应作为推理操作的基本规则。然而,现行逻辑学推理论对此是缺失的,亟需补充。

From the point of view of form, logic, which studies how truth-values transfer from the premises to the conclusions, requires two fundamental prerequisites to make the inference tenable. The first is that the premise cannot be formula of eternal falsehood, the second is that there must be transitive relation of truthvalue between the premises and conclusion. They must be considered as basic rules of inferential operation. It is the inferential theory of which the current logic is short that demands prompt complement.