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

第１５卷 第６期 湖南科技大学学报（社会科学版） Ｖｏｌ．１５Ｎｏ．６ 　　 　　 ２０１２年１１月 ＪｏｕｒｎａｌｏｆＨｕｎａｎＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） Ｎｏｖ．２０１２ ■ 逻辑研究　 基于亚里士多德偶然性概念的逻辑系统① 潘天群 （南京大学 哲学系，江苏 南京２１００９３） 摘　要：一个事件是偶然的，当且仅当它可能发生、也可能不发生。基于亚里士多德这种强偶然性的概念，一个分析偶 然命题的非标准的有限公理化的模态逻辑系统ＬＡ被给出；通过使用可能世界语义学和亨金方法，ＬＡ被证明在任意克里普 克框架上是可靠且完全的。ＬＡ的基础上扩张得到其他系统。偶然逻辑系统能够处理一类哲学问题。 关键词：偶然性；必然性；可能世界语义学 中图分类号：Ｂ８１　　　文献标识码：Ａ　　　文章编号：１６７２－７８３５（２０１２）０６－００２３－０４ 一　导　言 加一个直觉可接受的类似于必然化规则的变形规则，而得 　　 偶然性是被认为不是一个独立的哲学概念，它能够用 到在任意框架下（而非Ｋｕｈｎ的传递框架）的极小偶然逻辑 其他概念来定义。在亚里士多德那里，偶然性有时意指可 系统，并用可能世界语义学证明该系统在任意框架下是可 能性（缺少必然性），有时指不确定的情况：既可能如此，又 靠的且完全的。文章最后对该系统的拓展及应用前景做 可能不如此。对于后者，在《解释篇》里亚里士多德这样 了初步探讨。 说：“因为与现在和将来相关的偶然事件，其意义就是指既 ［１］ 二　偶然逻辑系统ＬＡ：语形与语义 可能是这样，也可能不这样。” 张家龙将亚里士多德的这 两种偶然性分为强偶然和弱偶然：“双可能合取的偶然是 本文用 Ｃ表示偶然模态算子。Ｃ 表示“ 是偶然 φ φ ［２］ 一种强偶然，单可能的偶然是一种弱偶然。” 的”，这里 是命题。为了方便，我们说命题是偶然，而没 φ 亚里士多德的“强偶然”是指：一个事件ｐ是偶然的是 有说事态是偶然的，希望读者不要误解。在我们的语言中 指，ｐ的发生是可能的且 ｐ的发生也是可能的。或者：一 因非偶然算子可用偶然算子定义，我们不使用该算子。形 个事件ｐ是偶然的是指ｐ的发生不是必然的且 ｐ的发生 式语言Ｌ（Ｌ）定义如下： 也不是必然的。这种偶然性为许多学者所坚持，如 Ｇ．Ｅ． ：：＝ｐ｜ ｜ ｜Ｃ φ φ φ∧ψ φ ＨｕｇｈｅｓａｎｄＭ．Ｊ．Ｃｒｅｓｓｗｅｌｌ说：“既不是必然的又不是不可 我们用标准可能世界语义学对 Ｌ（Ｌ）中的语言进行 ［３］１５ 能的命题被称为偶然的。” 基于这样的偶然性概念的系 解释。 统从上世纪６０年代被广泛地研究，如文献 Ｈ．Ｍｏｎｔｇｏｍｅｒｙ ２．１．定义。［框架，模型和可满足性］一个框架是一个 和Ｒ．Ｒｏｕｔｌｅｙ（１９６６，１９６８，１９６９），Ｍ．Ｊ．Ｃｒｅｓｓｗｅｌｌ（１９８８） 二元组Ｆ＝（Ｗ，Ｒ），其中Ｗ为可能世界集，Ｒ为定义在Ｗ 等。他们关心的是“非偶然性”和必然