Epistemology

Since at least the 17th century, a sharp distinction has been drawn between a priori knowledge and a posteriori knowledge. The distinction plays an especially important role in the work of David Hume (1711–76) and Immanuel Kant (1724–1804).

A proposition is said to be necessary if it holds (is true) in all logically possible circumstances or conditions. “All husbands are married” is such a proposition. There are no possible or conceivable conditions in which this proposition is not true (on the assumption, of course, that the words “husband” and “married” are taken to mean what they ordinarily mean). In contrast, “All Model T Fords are black” holds in some circumstances (those actually obtaining, which is why the proposition is true), but it is easy to imagine circumstances in which it would not be true. To say, therefore, that a proposition is contingent is to say that it is true in some but not in all possible circumstances. Many necessary propositions, such as “All husbands are married,” are a priori—though it has been argued that some are not (see below Necessary a posteriori propositions)—and most contingent propositions are a posteriori.

A proposition is said to be analytic if the meaning of the predicate term is contained in the meaning of the subject term. Thus, “All husbands are married” is analytic because part of the meaning of the term “husband” is being married. A proposition is said to be synthetic if this is not so. “All Model T Fords are black” is synthetic, since “black” is not included in the meaning of “Model T Ford.” Some analytic propositions are a priori, and most synthetic propositions are a posteriori. These distinctions were used by Kant to ask one of the most important questions in the history of epistemology, namely, whether a priori synthetic judgments are possible.

A proposition is said to be tautological if its constituent terms repeat themselves or if they can be reduced to terms that do, so that the proposition is of the form “a = a” (“a is identical to a”). Such propositions convey no information about the world, and accordingly they are said to be trivial, or empty of cognitive import. A proposition is said to be significant if its constituent terms are such that the proposition does provide new information about the world.

The distinction between tautological and significant propositions figures importantly in the history of the philosophy of religion. In the so-called ontological argument for the existence of God, St. Anselm of Canterbury (1033/34–1109) attempted to derive the significant conclusion that God exists from the tautological premise that God is the only perfect being together with the premise that no being can be perfect unless it exists. As Hume and Kant pointed out, however, it is fallacious to derive a proposition with existential import from a tautology, and it is now generally agreed that, from a tautology alone, it is impossible to derive any significant proposition. Tautological propositions are generally a priori, necessary, and analytic, and significant propositions are generally a posteriori, contingent, and synthetic.

excerpt taken from http://www.britannica.com/EBchecked/topic/190219/epistemology/247952/A-priori-and-a-posteriori-knowledge