基于亚里士多德偶然性概念的逻辑系统

摘要

一个事件是偶然的,当且仅当它可能发生、也可能不发生。基于亚里士多德这种强偶然性的概念,一个分析偶然命题的非标准的有限公理化的模态逻辑系统LA被给出;通过使用可能世界语义学和亨金方法,LA被证明在任意克里普克框架上是可靠且完全的。LA的基础上扩张得到其他系统。偶然逻辑系统能够处理一类哲学问题。