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

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

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

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

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

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