必要性和可能性.形而上学家们研究的是世界可能以何种方式存在的问题。大卫·刘易斯在《论世界的多元性》中支持一种叫做具体模态现实主义的观点，根据这种观点，关于事物如何可能存在的事实，是由其他具体世界中的事物不同而成为事实的。包括莱布尼茨在内的其他哲学家也处理过可能世界的观念。一个必要的事实在所有可能的世界中都是真的。一个可能的事实在一些可能的世界中是真实的，即使在实际的世界中不是。例如，猫有可能有两条尾巴，或者任何特殊的苹果不可能存在。与此相反，某些命题似乎是必然真实的，例如分析命题