 Kant famously argued that what is a priori coincides with what is necessary, thereby ruling out the category of a posteriori necessities. However, Kripke (1971) pointed out that there are necessary truths that can only be known a posteriori. The contemporary distinction between modal rationalism and modal empiricism moves off of Kripke’s (1971) deduction model for knowledge of a posteriori necessities. According to Kripke, we proceed based on the conditional “If \(p\), then necessarily \(p\)”, where “\(p\)” stands for some fact we can discover via empirical investigation. For example,