中最好的”。但是，学者也曾在卢克莱修、伊本·鲁世德和邓斯·司各脱的着作中找到了这种想法的踪迹。这个观念的现代哲学使用的先驱是索尔·阿伦·克里普克。
模态逻辑的形式语义.从可能世界语义推导出来的系统性的理论在1950年代由索尔·阿伦·克里普克和他的同事首次介入。以类似于我们前面提议的方式处置事物，可能世界被用来为关于可能性和必然性的断言提供语义：在模态逻辑中，“可能的”称述被称为在“至少一个”可能世界中为真；而“必然的”陈述被称为在“所有的”可能世界中都为真，“真”陈述至少在“这个”