普兰廷卡的模态形而上学

《普兰廷卡的模态形而上学》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、普兰廷卡的模态形而上学模态（modality）是指可能性、必然性等哲学范畴，它直接关系到事物本体的存在方式，因而对模态问题的讨论已成为当代形而上学的一个重要课题。但与以往不同，当代模态问题的讨论是在可能世界语义学的理论框架下展开的，可能世界语义学重新激发了人们对模态范畴的兴趣。简单地说，可能世界语义学运用可能世界、可达关系等基本概念，来消除模态公式里的可能、必然等模态词项，从而以外延的方式来处理这些模态语句，给内涵语句以外延的解释，进而揭示其内在的逻辑结构。因此，对可能世界概念的认识直接干系到可能性、必然性等哲学范畴。那么，什么是可能世界呢？实在论者和唯名论者给出了不同的解决

2、方案。以D.刘易斯（D.Les）为代表的语言替代论（linguisticersatzism）则主张，可能世界没有自身独立的本体论地位，不过就是某种语句或命题的极大一致集。这两种理论各自都存在着严重的困难，于是一部分哲学家寻求以温和实在论的方式回答可能世界的系列问题，普兰廷卡（A.Plantinga）就是其中的一个杰出代表。一、普兰廷卡的可能世界观普兰廷卡认为可能世界是一种抽象的存在。在普兰廷卡看来，一个可能世界就是一种可能事态。可能事态也可以采用其它的表述方式：“事物的可能存在方式”、“世界的可能存在方式”等。[①]事态是具有独立本体论地位的东西，指的是事物所处的状态，它在英

3、语中以动名词结构来表达的。比如，“苏格拉底之为塌鼻子”（“Socrates’beingsnubnosed”）、“大卫之画圆为方”（“David’shavingsquaredthecircle”）都表达了事态。第一个事态已经实现或达成了，也就是说它已成为了事实；凡是在广义的逻辑意义[②]上能够实现的事态，就称作可能事态。因此，第一个事态就是可能事态，而第二个事态则是不可能事态，因为它是不可能实现的。但并非任何可能事态都是可能世界，它还需要满足一个条件——极大性或完全性。所谓可能世界S的极大性或完全性，指的是对任一个可能事态S¢来说，或者S包含S¢，或者S排斥

4、S¢。[③]于是，可能世界就是极大的或完全的可能事态。现实世界就是已经达成或实现了的完全可能事态，它是一个特殊的具体的可能世界。由于可能事态是一种抽象的存在，它或者已经成为现实了，也可能仅仅是一种可能物，但不论它具有上述两种性质的哪一种，它的存在是勿庸置疑的，它是绝对的存在，而可能世界则是完全的可能事态。既然可能世界是抽象的存在，个体该怎样跨越世界而在其中存在呢？普兰廷卡的解释是，“说对象x存在于世界W中，就是说，如果W成为现实的话，那么x就会存在；更确切地，x存在于W中，当且仅当，不可能W达成了而x不存在”[④]。实际上，这是对可能世界中个体的实体性存在附加了一个

5、条件，即该可能世界的现实化，这样一来具体的个体和抽象的世界之间的矛盾就化解了，我们也就可以合乎情理地谈论个体的跨世界存在了。按照同样的思路，谈论个体在可能世界中的性质也成为可能了：x在可能世界W中具有性质P，无非是说，若W成为现实则x就具有性质P；换句话说，W包含了可能事态x之有性质P。但既然承认了个体的跨世界同一性，承认了个体在不同可能世界可以具有不同的性质，莱布尼兹的同一者不可分辨原则似乎也就遭到了破坏。但莱布尼兹律是哲学家们普遍接受的一条定律，既然普兰廷卡的可能世界理论否认了莱布尼兹律的有效性，因而该理论自身似乎出现了危机。普兰廷卡并不同意上述的说法，他认为问题出在对莱

6、布尼兹律的运用上，并别出心裁地提出了一类新的性质——世界索引性质（world-indexedproperty）。现实世界里的个体都是在一定的时空范围下具有相应的性质，随着时空的变化，个体具有的性质也会发生改变。类似地，普兰廷卡认为，跨世界个体具有的性质也受制于相应的世界，莱布尼兹律并没有要求同一个体在不同的可能世界具有完全相同的性质。这是因为在论及跨世界个体的性质时，我们考虑的是它的世界索引性质。什么是世界索引性质呢？普兰廷卡的定义是，“一个性质P是世界索引性的，当且仅当，或者（1）有一个性质Q和一个世界W，满足对于任一对象x和世界W*，x在W*里有P当且仅当x在W*里存在，

7、并且W包含x之有Q，或者（2）P是一个世界索引性质的补”[⑤]。比如，“在现实世界中是塌鼻子的”就是一个世界索引性的性质。按照普兰廷卡的说法，当运用于跨世界个体时，同一者不可分辨原则要求的是：同一个体无论在哪个可能世界都应具有相同的世界索引性质。拿苏格拉底来说，尽管他在现实世界是塌鼻子的，但莱布尼兹律并不要求他在可能世界w中也一定是塌鼻子的，它只是要求苏格拉底在w中具有事实上（在现实世界中）是塌鼻子的属性，而这一点与苏格拉底在w中不是塌鼻子的是无关的。若依据这一种理解，普兰廷卡的模态实在论就不存在违反莱