摘要：利用廣義量詞理論、可能世界語義學和集合論,可以簡潔明了地對亞里士多德模態三段論進行形式化和有效性的證明。根據有效的亞里士多德模態三段論應該遵守的基本規則,可以從6 656個亞里士多德模態三段論中,篩選出有效的384個模態三段論。把通過向有效的直言三段論AAA-1和EAE-1中添加模態詞而得到的20個有效模態三段論作為基礎公理,就可以為亞里士多德模態三段論邏輯建立起形式化公理系統。