亚里斯多德模态逻辑的形式系统及其模态悖论  

The Formal System of Modal Logic and Modal Paradox of Aristotle

作　　者：马雷[1] 

机构地区：[1]东南大学哲学与科学系

出　　处：《南京社会科学》2013年第7期22-27,共6页Nanjing Journal of Social Sciences

基　　金：国家社会科学基金项目"科学问题的评价指标研究"(11BZX031)的阶段性成果

摘　　要：亚里士多德的模态逻辑尽管十分复杂、充满争议,但尽可能运用现代逻辑的工具来构建亚氏模态逻辑的体系,不仅可能重现亚氏逻辑的辉煌,也可能甄别出其中的某些错讹。从联合演算出发构建的亚氏模态逻辑系统在很大程度上反映了亚氏模态逻辑的严谨性,但也暴露出它的局部的模态悖论。我们可以剔除造成悖论的内容,使亚氏模态体系更加严密;也可以考虑探索亚氏模态逻辑的本真思想,发展一种不完全等同于现代逻辑的内涵式的新的逻辑类型。Aristotle＇ s modal logic is very complicated and controversial, but if we use modern logic tools to build Aristotle＇ s system of modal logic as far as possible, we may not only reproduce the brilliance of Aristotle＇ s logic, but also identify some mistakes of Aristotle＇ s modal logic system. Reconstructing Aristotle＇ s modal logic from the combined calculation can reflect largely the preciseness of the Aristotelian modal logic, and its local modal paradox is also exposed. We can eliminate the contents leading to the paradox, make Aristotle modal system more rigorous. May we also consider to explore original thought of Aristotle＇ s modal logic, a new type of logic different from modern logic may developed.

关 键 词：亚里士多德 模态逻辑 模态悖论 

分 类 号：B815.1[哲学宗教—逻辑学]