论替换中项法——对三段论方法的新探索

三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得出结论。研究发现,中项发挥"媒介"作用的方式(或机制)是替换中项法。替换中项法是三段论的新方法,它能够一揽子解决三段论的推理问题、判定问题、证明问题和补充省略前提等问题;而规则法、文恩图解法和还原法等三段论方法一般只能解决其中某一个问题。此外,替换中项法还能够证明三段论传统规则。因此,替换中项法具有三段论其他方法无法比拟的优越性。

试论替换中项法——对三段论方法的反思与重建

词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。

论替换中项法下的直言三段论自然推理系统

替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。

替换中项法研究——补充省略三段论的前提和结论的能行方法

在三段论前提中,通过系词"是"或者其否定"不是",中项与大、小项直接联系起来;同时,中项又把大、小项间隔开来。如何"消灭"、"扬弃"中项,把小项和大项也用系词"是"或者其否定"不是"直接联系起来,以得出所需要的结论?这是三段论的本质问题。解决此问题的方法是替换中项法。替换中项法是补充省略三段论的结论和前提的能行方法。

含负词项的三段论研究

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。