因果陈述逻辑的哲学意蕴探析

《因果陈述逻辑的哲学意蕴探析》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、因果陈述逻辑的哲学意蕴探析一、勃克斯及其因果陈述逻辑“因果陈述逻辑”这一概念是由美国当代哲学家、计算机科学家阿瑟·勃克斯嵛首创的。勃克斯对科学哲学和归纳逻辑研究有着较大的贡献，他提出了自己的归纳妾概率理论，建构了因果陈述逻辑系统，成为归纳逻辑研究的独树一帜的理论。勃克斯最具有代表性的重要理论成果是19舄77年出版的阐述其因果陈述公理系统的自专著《机遇、因果和推理》。关于因果陈挛述逻辑的理论与方法，勃克斯在这部著作中进行了详尽地说明。他在引申并深化刘殂易斯关于严格蕴涵与模态逻辑思想的基础贮上，将

2、其应用到因果性模态问本题之中，武并将模态形式分为两大类：逻辑模态与因髅果模态。四个逻辑模态符号分别为：逻辑饨必然“□”、逻辑可能“◇”、逻辑蕴涵末“→”、逻辑等值“？圮”。与此相对应肭，他创新性地提出了四个因果模态符号，琅分别为：因果必然“□c”、因果可能“喘◇c”、因果蕴涵“→c”、因果等值“煽？圮c”。与逻辑模态符号成立的形态—哟—逻辑可能世界相类似，勃克斯提出了“苕因果可能世界”。因果可能世界的提出，偿不仅标志着一种新的模态形式的诞生，也酤为我们研究因果问题及其相关理论提供了鞯一个新的思路。10

3、/10因果陈述逻辑的公理系囝统继承了经典逻辑的核心内容。它由一个非模态性的一阶逻辑演算加上一组关于逻堪辑形态的模态词以及一组关于因果形态的模态词的演算而构成。因果陈述逻辑的公养理系统主要由语法、公理、证明和定理组捡成。在该形式系统的语法中，勃克斯分别碰对因果可能、因果蕴涵等重要的逻辑概念聪进行了定义。比如，因果可能的定义：◇c？椎=df～□c～？椎，因果蕴涵的定义：？椎→c？追=df□c。关于因漂果陈述逻辑系统的公理，勃克斯将它们分恐为三类，即真值函项公理、量词公理和模默态公理。由于在该系统中

4、判定真值函项公理和量词公理的方法与步骤和经典逻辑一缩致，故此不赘述。因果陈述逻辑与模态逻撰辑密切相关，如果说经典逻辑是这一形式系统的框架，那么模态逻辑便是该理论系ま统的精髓和亮点，二者缺一不可。而因果菟陈述逻辑的模态性以及模态算子的本质特寸征也恰恰是通过模态公理体现出来的。比畸如，模态公理□？椎？劢□c？椎和□c聒？椎？劢？椎。我们看到，这两个公理是胖按照模态的强弱来排序的，前者表示逻辑骗必然性强于因果必然性，后者表示因果必然性强于实然性。二者是“必然性是分等僬级的”这一哲学指导思想在因果陈述逻

5、辑肴中的具体体现。在语法和公理的基础上，希勃克斯对证明和定理进行了定义。从表面考上看，证明和定理的内容无非是对经典数项理逻辑中一些概念的简单重复。但是，值辍得注意的是，勃克斯的创新之处就在于他坐10/10将这套理论搬到了带有因果必然算子的因鏖果陈述逻辑的系统中，并且十分适用，用瞩勃克斯本人的话说，“一个演绎论证的普遍概念在我们的形式语言中根据有前提的蕉证明而得到了模拟”。二、因果陈述逻铭辑的哲学意蕴因果陈述逻辑的哲学基础瀣任何一个逻辑系统或者逻辑理论都必须而包含蕴涵，也就是说，没有无蕴涵的逻辑碳系统

6、或理论，勃克斯构建的因果陈述逻辑郸系统也不例外。在因果陈述逻辑理论中，幞因果蕴涵是该形式系统的重要内容，也是秽它区别于其他形式系统的主要标志。勃克炀斯对因果陈述逻辑的构造就是从对因果蕴耱涵的描述和刻画开始的。因此，分析因果剔陈述逻辑这一逻辑系统的哲学基础，关键顼就在于正确地理解和把握因果蕴涵的哲学眉性质。因果蕴涵反映了事物情况？椎和事物情况？追之间的一种因果条件联系，胙？椎是原因，？追是结果。所谓原因，是并指这样的现象：它产生某一现象并先于某弦一现象。所谓结果，是指原因发生作用的遇后果。同时，？椎和

7、？追之间也是一种蕴踝涵关系，这种蕴涵不是传统意义上的实质捧蕴涵、严格蕴涵等蕴涵形式，而是能够刻次画因果虚拟句的蕴涵类型。勃克斯创造它杼的目的就是为了解决因果条件句和因果模妒态陈述句的形式化问题。根据勃克斯的因庆10/10果陈述逻辑理论，因果蕴涵的蕴涵强度介于逻辑蕴涵和实质蕴涵之间，这一点也是麽勃克斯对包含“因果”算子在内的诸如因翮果等值、因果必然、因果可能概念进行强檫度界定以及因果陈述逻辑系统中对某些公片理、定理及公式进行排序的基础和来源。棱从这一意义上说，因果蕴涵不仅是勃克斯卣因果陈述逻辑理论的一

8、个重要概念，而且由于它兼有因果性和蕴涵性这样的双重特秸性，因此对因果蕴涵的哲学特征进行分析，具有重要的意义和作用。在勃克斯看旬来，因果蕴涵克服了传统蕴涵类型的缺点儒，能够准确地对因果虚拟句进行形式化地铳表述。我们认为，它之所以具有这样的作用，根本原因在于它的两个特性——因果の性和蕴涵性，这也是我们对因果蕴涵进行裰哲学分析的两个切入点。第一，因果性是因果蕴涵区别于其他蕴涵类型的哲学本派质。事物之间的因果联系是普遍的联系，楣也是必然的联系，原因和结果