1樓：
因為我不清楚亞里斯多德本人是怎麼說的， 我只能說三段論理論是怎麼樣的。
關於三段論的術語，參考：亞里斯多德的三段論能否完全用謂詞演算推導出來？ - 知乎使用者的回答
其中包含了某些有效三段論在存在預設上的要求（那些不要求的，都是無條件成立的）：
以下 5 個三段論的有效性是基於 S 非空：
1-AAI，1-EAO，2-AEO，2-EAO，4-AEO
以下 3 個三段論的有效性基於 M 非空：
3-AAI，3-EAO，4-EAO
還有乙個三段論的有效性是基於 P 非空：4-AAI。（注意到 4-AA 可以推出 PAS，進而，P 非空推出 PIS，而如果有些 P 是 S，那麼就必然有些 S 是 P，因此得到 SIP）反正一共九種情況，每種你都可以自己畫 Venn 圖分析，但是本質上來說，這裡在中途都基於某種類似於「SAP 推出 SIP」形式的推理（它的否定對應物是 SEP 推出 SOP ）。
IO 形式的命題不需要存在引入，因為其本身的含義就包括了主項的存在引入。AE形式的命題也只有在需要作出涉及 IO 形式的推論的時候才需要存在引入。因此，在考慮 AE 命題的邏輯翻譯的時候有兩種，一種是將其翻譯為的形式，另一種則是在此基礎上加上乙個合取支，或者。
至於各自的優劣也很明顯：
加上存在引入使得我們能從 A 推出 I，從 E 推出 O；但是對當方陣上的 AO 和 EI 不再是矛盾關係。
不加存在引入可以保證對當方陣的對角線，但是不能保證全稱命題對於特稱命題的推出關係。以上。
如何研讀亞里斯多德？
哈哈欠為你違逆 2019 宜昌 吾愛吾師，吾更愛真理 是他的名言。他對許多學科都有貢獻，還創立了邏輯學等新的學科，被譽為是一位 百科全書式的學者 他就是古希臘著名學者亞里斯多德。 傻白甜 亞里斯多德代表作 尼各馬可倫理學 政治學 詩學 修辭學 分析後篇 物理學 形上學 論靈魂 形上學 形上學 一詞來...
亞里斯多德到底有多偉大？
李柳河 他寫了44w行字，200多本書，跨越整個人類學科。可以說是整個世界最珍貴的人類遺產。然而奇蹟般的，今日一本古希臘文拉丁文的著作也沒留下來，沒有一本通過抄錄或者教會儲存副本，或者羅馬文化的保護者拜占庭收藏從而流傳下來。更奇蹟的，這不影響西方世界仍然有從伊斯蘭世界翻譯過來的古希臘文的亞里斯多德全...
亞里斯多德車輪悖論的正確解釋是什麼？
魯新奎 這個悖論是對 把嚴格的一一對應邏輯用於不確定的無窮集合 的歸謬。換個直觀的描述 任意地構建任意大任意大任意大的自然數集合，不論多麼大，不論如何構建，其子集 奇數集合和偶數集合都是自然數集合的一半，直到你煩了 累了，腦洞大開，想當然不負責任地抖手推給 無窮無限 就會立刻出現 自然數集合與偶數或...