Ancak zorunlu ile olumsal doğrular arasındaki ayrım ise metafizik bir ayrımdır. Kripke’ye göre bu ayrımın metafizik olması demek dünyaya, gerçekliğe dair bir ayrım olduğuna işaret eder; yani bir önermenin olumsal mı yoksa zorunlu mu olduğu bizim bilgimize dair ya da bilme biçimlerimize dair bir konu değildir.