【摘要】亚里士多德的三段论理论的建立标志着逻辑学的发展开始向形式化的方向迈进,其重要性不言而喻。历史上对三段论的研究也是不胜枚举,但是正如卢卡西维茨说的,直以来逻辑学家们对三段论中的无效式如何排斥这一领域却论述甚少,这可以说是三段论研究的一大缺失。而事实上,亚里士多德非常注重对可能产生的三段论无效式进行无效性证明,他用具体词项带入的方式对无效三段论进行查证,但他的理论面临着形式化程度不足的缺陷。之 […]