简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。

简介：针对本质的模态主义解释,范恩发展了一个著名论证来反驳它。范恩试图证明,成为必然属性是成为本质属性的必要条件,而非充分条件。通过对范恩的论证给出新的分析,文章将表明,范恩的反例都建立在＂对象反身性＂属性的构造上,其论证贯穿着＂同一性本质＂和＂识别性本质＂的混淆,从而其针对模态主义解释的挑战是不成立的。

简介：<正>辩证模态推理是关于事物发展变化的可能性或必然性趋势的辩证推理。辩证模态推理也是依据一定的条件,推出相应的结论。辩证模态推理在日常生活中广泛存在,在科学理论中也不乏其例。毛泽东的《论持久战》就是一个范例。本文根据笔者关于辩证模态推理的研究成果。注对《论持久战》的推理过程进行初步分析。

简介：在关于认知与经验主体的本性的明确假设之下，我们试图仔细检验克里普克反驳类型物理主义的模态论证中的前提。当主体被设想为一个超自然的、视整个自然世界为外部世界的“自我”的时候，克里普克的这些前提都显得很合理、可接受。但物理主义蕴涵着认知与经验的主体自身应该是自然世界中的生物一物理系统，在这个物理主义的主体观下，克里普克的这些前提之一就成为假的。