【摘要】 在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效的,指出亚里士多德混合三段论系统的有效式应为14个,而不是13个。更多还原

【Abstract】 We can give the formal character of Aristotelian syllogism exposition proof. On this ground we have established the formal system of Aristotelian mixed syllogism, and proved Baroco mood in second figure valid in Aristotelian mixed syllogism system by exposition. So there are fourteen valid moods in Aristotelian mixed syllogism system, not thirteen moods.更多还原