强可能性与弱必然性的逻辑

逻辑学研究 2020 年第 1 期，53–74    文章编号：1674-3202(2020)-01-0053-22

作者：陈佳

摘 要：本文考察了强可能性和弱必然性这两种真势模态的逻辑性质。称一个命题是强可能的，当且仅当它在某个可及的但非现实的可能世界中成立；称一个命题是弱必然的，当且仅当它在所有可及的但非现实的可能世界中都成立。强可能性与弱必然性互为对偶。在表达力上，强可能性算子不同于可能性算子。尽管如此，刻画强可能性和弱必然性的逻辑（简称为强可弱必逻辑）仍然是正规模态逻辑，而且它的极小逻辑在形态上类似于极小正规模态逻辑 K。本文主要在形式技术上对强可弱必逻辑作了初步研究：比较了它和模态逻辑以及一阶逻辑在语言表达力上的区别，给出了它的极小和扩张的公理刻画以及必然和弱必然的双模态逻辑的公理刻画。

关键词：强可能性；弱必然性；表达力；公理化

中图分类号：B81       文献标识码：A