模态逻辑可能世界与情境

The Possible World of and Situation in Model Logic

模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界。而且,按照数学的排列组合观念,这两类可能世界的深层关系就清晰可见。

The possible world of modal logic has the property of exhausting possibility,of repellency,of level and that absolutely well structured.In addition to repellency,its situation has a spatial-temporal property,the property of agent,partiality,and that non-well structured.By exploiting the two groups of properties to limit the largest type of possible world W respectively to an ideal extent,one can get the two types of possible world.And according to the view of mathematic permutation and combination,the deep-seated relation between the two types of possible world would be exhibited to us clearly.