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

摘要：

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

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

所属期刊栏目：13

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金青年项目"社会悖境的逻辑机制与出路研究"17CZX007

在线出版日期：2020-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共22页

页码：53-74