[OJA. Plantinga, The Nature of Necessity, Oxford University Press, 1974, P.44 [②]此处采用普兰廷卡对该词的使用,意指命题逻辑、一阶量词逻辑、集合论、算术、 数学以及一般认为是分析的命题,比如“单身汉都是未婚的”、“没有谁比他(她)自己还高” 和“没有一个数是人”等。 ]所谓可能事态S包含S￠,意指在广义的逻辑意义上不可能S达成而$未达成。类 似地,可能事态S排斥S￠,指的是在广义的逻辑意义上不可能两者都达成。例如我们可以 说,可能事态珠穆朗玛峰之为世界最髙山峰,包含了可能事态珠穆眀玛峰之为-座山峰,但 排斥了可能事态勃朗峰之为世界最高山峰。-------------------------------------------------------------------------------- [①] A. Plantinga, The Nature of Necessity, Oxford University Press, 1974, P.44. [②] 此处采用普兰廷卡对该词的使用，意指命题逻辑、一阶量词逻辑、集合论、算术、 数学以及一般认为是分析的命题，比如“单身汉都是未婚的”、“没有谁比他（她）自己还高” 和“没有一个数是人”等。 [③] 所谓可能事态 S 包含 S¢，意指在广义的逻辑意义上不可能 S 达成而 S¢未达成。类 似地，可能事态 S 排斥 S¢，指的是在广义的逻辑意义上不可能两者都达成。例如我们可以 说，可能事态珠穆朗玛峰之为世界最高山峰，包含了可能事态珠穆朗玛峰之为一座山峰，但 排斥了可能事态勃朗峰之为世界最高山峰