It is a well known fact in the history of philosophy that necessary truths in general, but especially those of which it is said that the opposite is inconceivable, have been commonly supposed to be analytic, in the sense that the proposition denying them was self contradictory.