论文部分内容阅读
从现代形式逻辑的观点看,许多不同形式的推理实际上是等值的。但是,由于表达形式的不同,就显示了不同的特征。不同类型的推理,可以显示出从不同角度考虑极为重要的性质。诚然,这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系;探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系,并说明了诸推理式间的互通问题。
From the point of view of modern formal logic, many different forms of reasoning are actually equivalent. However, due to the different forms of expression, they show different characteristics. Different types of reasoning can show extremely important properties from different perspectives. True, this is rarely discussed in traditional logic. This paper explores the equivalence between the sufficiency of conditional hypotheses and the necessary conditions of hypothetical reasoning in hypothesis reasoning; discusses the equivalence relation between sufficient condition hypothesis reasoning, necessary condition hypothesis reasoning and compatible alternative reasoning reasoning, The reasoning of interoperability between the problems.