Kripke's a posteriori necessary truths demonstrate that necessity and logical/conceptual truth are d...