模态逻辑可能世界与情境

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

隐喻为什么可能

隐喻的发生,依靠隐喻所涉及的两个概念(或称两个认知域和同一个认知域下的两个次认知域)在内涵和外延有传承关系;传承可以归结为若干模式。隐喻表达还涉及对可能世界逻辑的运用。