论文部分内容阅读
模态逻辑研究的模型是一种集合论的结构,由此产生出一个哲学问题：在模型论中所研究的集合论结构,与我们赖以解释这些结构的对象之间究竟是一种什么关系？因为正是凭借这种解释关系,我们才能够理解这种研究如何能够产生出关于模态逻辑原理和推论的真正洞见。对这一问题的一种回答是由刘易斯的模态实在论提供的。模态实在论认为,除了我们生活于其中的实际世界,还存在着其他的可能世界,这些其他的可能世界不仅仅是描述性的或者是抽象的,它们所包含的事物同我们现实世界中的事物同样真实和具体。对此刘易斯为可能世界提供了一种分析性以及数学实在