亞里士多德模態(tài)三段論邏輯的形式化公理系統(tǒng)探討
作者：張曉君; 袁嬌嬌 四川師范大學邏輯與信息研究所; 四川成都610068
摘要：利用廣義量詞理論、可能世界語義學和集合論,可以簡潔明了地對亞里士多德模態(tài)三段論進行形式化和有效性的證明。根據(jù)有效的亞里士多德模態(tài)三段論應該遵守的基本規(guī)則,可以從6 656個亞里士多德模態(tài)三段論中,篩選出有效的384個模態(tài)三段論。把通過向有效的直言三段論AAA-1和EAE-1中添加模態(tài)詞而得到的20個有效模態(tài)三段論作為基礎公理,就可以為亞里士多德模態(tài)三段論邏輯建立起形式化公理系統(tǒng)。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社。
湖南科技大學學報·自然科學版雜志
湖南科技大學學報·自然科學版雜志， 季刊，本刊重視學術導向，堅持科學性、學術性、先進性、創(chuàng)新性，刊載內容涉及的欄目：采礦、地質工程、機電工程、土木工程、信息與控制工程、化學工程、環(huán)境工程、數(shù)學等。于1983年經(jīng)新聞總署批準的正規(guī)刊物。
- 北大期刊
- 統(tǒng)計源期刊
- 1-3個月審核
