论文部分内容阅读
传统词项逻辑预设直言命题主项非空，尽管可以使包括单称命题在内的对当关系全面成立，但是又带来词项逻辑不再具有普适性等诸多问题。因此，现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则，而不是推理规则，那么，被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外，还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。