在对模态问题的研究中,卡尔纳普、辛迪卡将可能世界解释为语句的极大一致集合。而大卫·刘易斯认为,“语句的极大一致集”这一表述本身就包含着模态,可能世界不可能是句子的集合。基于反事实条件句的分析,大卫·刘易斯对可能世界做了实体解释,创建了他的可能世界理论。大卫·刘易认为,可能世界是实体的存在,它们是由时空相连的部分构成的。接着,他分析了可能世界的孤立性、具体性、现实性和充裕性特征。面对哲学家们提出的诘难,大卫·刘易斯认为,可能世界是可认识的,并对“可能性”与“现实性”进行了区分。除此之外,大卫·刘易斯还对语言代用主义、图画代用主义和魔幻代用主义分别进行了批评,并指出代用主义在解释可能世界时存在的问题,从而表明他自己的理论是可能世界实在论唯一成功的尝试。大卫·刘易斯的可能世界理论为可能世界理论的研究开辟了一条新路径,是模态哲学问题研究中的可贵探索。基于该理论,他将模态分析还原为具体的世界和个体,为分析模态提供了一条全新的思路。但是,该理论在本体论上是不经济的且严重违背常识。