Locke attacks both the view that we have any innate principles (for example, the whole is greater than the part, do unto others as you would have done unto you, etc.) as well as the view that there are any innate singular ideas (for example, God, identity, substance, and so forth). The main thrust of Locke’s argument lies in pointing out that none of the mental content alleged to be innate is universally shared by all humans. He notes that children and the mentally disabled, for example, do not have in their minds an allegedly innate complex thought like “equals taken from equals leave equals”. He also uses evidence from travel literature to point out that many non-Europeans deny what were taken to be innate moral maxims and that some groups even lack the idea of a God. Locke takes the fact that not all humans have these ideas as evidence that they were not implanted by God in humans minds, and that they are therefore acquired rather than innate.
Hume divided all of human knowledge into two categories: relations of ideas and matters of fact (see also Kant's analytic-synthetic distinction ). Mathematical and logical propositions (. "that the square of the hypotenuse is equal to the sum of the squares of the two sides") are examples of the first, while propositions involving some contingent observation of the world (. "the sun rises in the East") are examples of the second. All of people's "ideas", in turn, are derived from their "impressions". For Hume, an "impression" corresponds roughly with what we call a sensation. To remember or to imagine such impressions is to have an "idea". Ideas are therefore the faint copies of sensations.