Click on the phrases to see them in context. The original texts by Immanuel Kant and David Hume are available from the Gutenberg Projet.

But if I say; "No ignorant man is a learned man," the proposition is analytical, because the characteristic ignorance is now a constituent part of the conception of the subject; and in this case the negative proposition is evident immediately from the proposition of contradiction, without the necessity of adding the condition "the same time." This is the reason why I have altered the formula of this principle--an alteration which shows very clearly the nature of an analytical proposition.