Frege and Carnap's traditions identify a robust class of necessary truths whose validity is preserve...