大卫·路易斯模态实在论面临的一个主要问题就是要提供一个相应的模态认识论说明。路易斯本人为了辩护他的模态认识论提出了两个论证：基于类比于数学的论证和基于理论功效的论证。通过分析可以得出，路易斯的这两个论证并不能实现他的目的。其中最大的困难则是路易斯使用的IBE方法，因为IBE并不是真理导向的方法，IBE背后也存在逻辑问题。