The domain of necessary truths is characterized modally as the domain where the Principle of Contrad...