A survey of the literature on the problem of the synthetic a priori soon reveals that the term “analytic” is used in a narrower and a broader sense. In the narrower sense, a proposition is analytic if it is either a truth of logic or is logically true. By saying of a proposition that it is logically true, I mean, roughly, and with an eye on the problem of the relation of logical categories to natural languages, that when defined terms (...) are replaced by their definientia, it becomes a substitution instance of a truth of logic. And a truth of logic can be adequately characterized for present purposes as a proposition which occurs in the body of Principia Mathematica, or which would properly occur in a vermehrte und verbesserte Auflage of this already monumental work. If we now agree to extend the convenient phrase “logically true” to cover truths of logic as well as propositions which are logically true in the sense just defined, we can say that an analytic proposition in the narrower sense is a proposition which is logically true. (shrink)