个体都是b (I)X(F(x)x=b) 和E是b跨世界存在的必要条件 (Ⅱ)x(x=bE(x), 很容易得到上面的结论 (Ⅲ)x(F(x)E(x)。 因此,在这种情况下仅根据E尚不能判定是否有一个可能世界,a在其中有性质F。可见, 作为个体跨世界谈论的认识论基础的本质属性仅满足个体跨世界同一的必要条件是不够的 它还必须满足充分条件:作为a的跨世界谈论认识论基础的本质属性E,凡具有E的个体都 是a。根据E也是个体a跨世界存在的充分条件,我们就能判定能否谈论a在某可能世界中 具有性质F。由于ab,且E、F分别是a和b二者的跨世界同一的充分条件,也即 (Ⅳ)X(E(x)X=a) 和(工I),易于得到性质E蕴涵了性质F,即 (V X(E()F(x)) 因而没有一个可能世界,a在其中具有性质F 综合上述论述,我实际上已经证明了个体跨世界谈论的认识论基础就是个体跨世界同一 的充要条件,满足这一要求的本质属性正是该个体的个体本质,而后者则恰是个体跨世界识 别的标准。因此,个体跨世界谈论的认识论基础问题乃是个体跨世界识别问题的实质所在, 跨世界识别问题作为跨世界同一性问题的认识论基础是不可回避的无法像普兰廷卡那样割 裂两者之间密切的联系,必须给予其全面的回答。而所谓的回答,即是找到识别的标准 一个体本质,因此只有给出一个系统的本质主义方案才是对这个问题的最终回答。个体都是 b： (Ⅰ) x(F(x) x＝b) 和 E 是 b 跨世界存在的必要条件： (Ⅱ) x(x＝b E(x))， 很容易得到上面的结论： (Ⅲ) x(F(x) E(x))。 因此，在这种情况下仅根据 E 尚不能判定是否有一个可能世界，a 在其中有性质 F。可见， 作为个体跨世界谈论的认识论基础的本质属性仅满足个体跨世界同一的必要条件是不够的， 它还必须满足充分条件：作为 a 的跨世界谈论认识论基础的本质属性 E，凡具有 E 的个体都 是 a。根据 E 也是个体 a 跨世界存在的充分条件，我们就能判定能否谈论 a 在某可能世界中 具有性质 F。由于 a b，且 E、F 分别是 a 和 b 二者的跨世界同一的充分条件，也即 (Ⅳ) x(E(x) x＝a) 和(Ⅰ)，易于得到性质 E 蕴涵了性质 F，即 (Ⅴ) x(E(x) F(x)) 因而没有一个可能世界，a 在其中具有性质 F。 综合上述论述，我实际上已经证明了个体跨世界谈论的认识论基础就是个体跨世界同一 的充要条件，满足这一要求的本质属性正是该个体的个体本质，而后者则恰是个体跨世界识 别的标准。因此，个体跨世界谈论的认识论基础问题乃是个体跨世界识别问题的实质所在， 跨世界识别问题作为跨世界同一性问题的认识论基础是不可回避的；无法像普兰廷卡那样割 裂两者之间密切的联系，必须给予其全面的回答。而所谓的回答，即是找到识别的标准— —个体本质，因此只有给出一个系统的本质主义方案才是对这个问题的最终回答