含负词项的三段论研究

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