亚里士多德模态逻辑的现代解释  

作　　者：张家龙[1] 

机构地区：[1]中国社会科学院哲学研究所

出　　处：《哲学研究》1990年第1期86-99,共14页Philosophical Research

摘　　要：国际上一些知名学者,如卢卡西维兹、波亨斯基、麦考尔等,对亚里士多德的模态逻辑作了创造性的研究,取得了许多重要结果。本文另辟蹊径,对模态直言命题、模态三段论的格和式作了新的解释,构造了模态三段论的一元谓词逻辑自然演绎系统,比较简单地解决了必然式系统的判定程序,并且用可能世界语义学构造了必然式系统的模型。

关 键 词：亚里士多德 模态三段论 模态逻辑 自然演绎系统 直言命题 判定程序 直言三段论 现代解释 有效式 可能世界语义学 

分 类 号：B0[哲学宗教—哲学理论]