定律,既然普兰廷卡的可能世界理论否认了莱布尼兹律的有效性,因而该理论自身似乎出现 了危机。普兰廷卡并不同意上述的说法,他认为问题出在对莱布尼兹律的运用上,并别出心 裁地提出了一类新的性质——一世界索引性质( world- indexed property)现实世界里的 个体都是在一定的时空范围下具有相应的性质,随着时空的变化,个体具有的性质也会发生 改变。类似地,普兰廷卡认为,跨世界个体具有的性质也受制于相应的世界,莱布尼兹律并 没有要求同一个体在不同的可能世界具有完全相同的性质。这是因为在论及跨世界个体的性 质时,我们考虑的是它的世界索引性质。什么是世界索引性质呢?普兰廷卡的定义是 个性质P是世界索引性的,当且仅当,或者(1)有一个性质Q和一个世界W,满足对于 任对象x和世界W*,x在W里有P当且仅当x在W里存在,并且W包含X之有Q, 或者(2)P是—个世界索引性质的补"[⑤。比如,“在现实世界中是塌鼻子的”就是一个 世界索引性的性质。按照普兰廷卡的说法,当运用于跨世界个体时,同一者不可分辨原则要 求的是:同一个体无论在哪个可能世界都应具有相同的世界索引性质。拿苏格拉底来说,尽 管他在现实世界是塌鼻子的,但莱布尼兹律并不要求他在可能世界w中也一定是塌鼻子的, 它只是要求苏格拉底在w中具有事实上(在现实世界中)是塌鼻子的属性,而这一点与苏 格拉底在w中不是場鼻子的是无关的。若依据这一种理解,普兰廷卡的模态实在论就不存 在违反莱布尼兹律的痼疾,从而也就扫平了在个体跨世界同一性问题上的障碍,达到了理论 的自足。 与个体跨世界同_性问题紧密相联的还有另外—个问题,即个体的跨世界识别问题。这 个问题的大意如此:若承认同一个个体可以存在于不同的可能世界中,则我们如何在那些另 外的世界中识别出该个体呢?人们般认为跨世界识别问题是跨世界同一性问题的认识论 基础,如果不能为个体提供跨世界的识别标准,那么谈论某个体在其它可能世界具有这样或 那样的性质就会成为不可理解,因为我们甚至不能确定在谈论哪个对象。这种识别标准应当定律，既然普兰廷卡的可能世界理论否认了莱布尼兹律的有效性，因而该理论自身似乎出现 了危机。普兰廷卡并不同意上述的说法，他认为问题出在对莱布尼兹律的运用上，并别出心 裁地提出了一类新的性质——世界索引性质（world-indexed property）。现实世界里的 个体都是在一定的时空范围下具有相应的性质，随着时空的变化，个体具有的性质也会发生 改变。类似地，普兰廷卡认为，跨世界个体具有的性质也受制于相应的世界，莱布尼兹律并 没有要求同一个体在不同的可能世界具有完全相同的性质。这是因为在论及跨世界个体的性 质时，我们考虑的是它的世界索引性质。什么是世界索引性质呢？普兰廷卡的定义是，“一 个性质 P 是世界索引性的，当且仅当，或者（1）有一个性质 Q 和一个世界 W，满足对于 任一对象 x 和世界 W*，x 在 W*里有 P 当且仅当 x 在 W*里存在，并且 W 包含 x 之有 Q， 或者（2）P 是一个世界索引性质的补”[⑤]。比如，“在现实世界中是塌鼻子的”就是一个 世界索引性的性质。按照普兰廷卡的说法，当运用于跨世界个体时，同一者不可分辨原则要 求的是：同一个体无论在哪个可能世界都应具有相同的世界索引性质。拿苏格拉底来说，尽 管他在现实世界是塌鼻子的，但莱布尼兹律并不要求他在可能世界 w 中也一定是塌鼻子的， 它只是要求苏格拉底在 w 中具有事实上（在现实世界中）是塌鼻子的属性，而这一点与苏 格拉底在 w 中不是塌鼻子的是无关的。若依据这一种理解，普兰廷卡的模态实在论就不存 在违反莱布尼兹律的痼疾，从而也就扫平了在个体跨世界同一性问题上的障碍，达到了理论 的自足。 与个体跨世界同一性问题紧密相联的还有另外一个问题，即个体的跨世界识别问题。这 个问题的大意如此：若承认同一个个体可以存在于不同的可能世界中，则我们如何在那些另 外的世界中识别出该个体呢？人们一般认为，跨世界识别问题是跨世界同一性问题的认识论 基础，如果不能为个体提供跨世界的识别标准，那么谈论某个体在其它可能世界具有这样或 那样的性质就会成为不可理解，因为我们甚至不能确定在谈论哪个对象。这种识别标准应当