简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格
简介：针对本质的模态主义解释,范恩发展了一个著名论证来反驳它。范恩试图证明,成为必然属性是成为本质属性的必要条件,而非充分条件。通过对范恩的论证给出新的分析,文章将表明,范恩的反例都建立在＂对象反身性＂属性的构造上,其论证贯穿着＂同一性本质＂和＂识别性本质＂的混淆,从而其针对模态主义解释的挑战是不成立的。
谈谈模态逻辑
范恩论本质的模态主义解释
