亚里士多德模态三段论的形式系统

The Formal System of Aristotelian Model Syllogism

在<前分析篇>[1]中,亚里士多德用大量篇幅讨论了模态三段论问题.亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观[2-3]出发构筑这一系统①.

Aristotle gave model syllogism wide coverage in pre-analytical section.Aristotelian Model Syllogism has a system of its own,which can be constructed by the views of joint calculus of modern logic.