Kripke’ye göre. A priori ile a posteriori arasındaki ayrım bizim bilme biçimlerimize dair bir ayrımdır; yani epistemik bir ayrımdır. 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. Dolayısıyla iki ayrımın Kant geleneğinde olduğu gibi tam tamına örtüşmesinin aslında beklenmemesi gerekir. Olumsal a priori önermelerin varlığı da bunu gösterir.