 Kant’s distinction between analytic and synthetic judgments is the historical origin of, and therefore significantly related to, but—crucially—not precisely equivalent, either in intension or extension, with the nowadays more familiar analytic-synthetic distinction, according to which (1) analyticity is truth by virtue of linguistic meaning alone, exclusive of empirical facts, (2) syntheticity is truth by virtue of empirical facts, and (3) the necessary statement vs. contingent statement distinction is formally and materially equivalent to the analytic-synthetic distinction. By 1950 this more familiar distinction was accepted as gospel truth by virtually all analytic philosophers: but in the two decades after the publication of W.V.O. Quine’s iconoclastic “Two Dogmas of Empiricism” in 1951 (Quine 1961), it was gradually replaced by the new-and-improved post-Quinean gospel truth that there is no such thing as an acceptable analytic-synthetic distinction. This plain historical fact is closely related to the highly regrettable further fact that Kant’s analytic-synthetic distinction is nowadays often wrongly interpreted (i) in terms of the more familiar and now largely discredited analytic-synthetic distinction, and also (ii) as reducible to an epistemic distinction between uninformatively or trivially true a priori judgments and informative judgments. Ironically Frege, the father or grandfather of analytic philosophy, was much nearer the mark in the Foundations of Arithmetic when he correctly construed Kant’s theory of analyticity semantically, as a theory about necessary internal relations between concepts; although at the same time he not quite so correctly said that Kantian analyticity boils down to “simply taking out of the box again what we have just put into it” (Frege 1953, 101). Frege’s 19th century characterization of Kantian analyticity, it turns out, has significant parallels with the 18th century Leibnizian and Wolffian theories of conceptual and/or logical truth that heavily influenced Kant’s work on analyticity (Anderson 2015). Backing away now from Frege and the Leibniz-Wolff tradition, however, the crucial fact is that Kant’s analytic-synthetic distinction concerns two irreducibly different kinds of semantic content within objectively valid propositions (Hanna 2001, chs. 3–4), and this distinction is neither primarily epistemic in character (although it does have some important epistemic implications [Hanna 2006b, 362–379]) nor does it specifically concern the logical form of judgments (4: 266).