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