机构地区: 中山大学人文科学学院哲学系
出 处: 《现代哲学》 1986年第1期51-55,共5页
摘 要: 模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“
关 键 词: 模态逻辑系统 数理逻辑 亚里士多德 模态命题 模态三段论 真值蕴涵 严格蕴涵系统 模态词 可能世界 模态系统
领 域: [哲学宗教—世界哲学]