 For the foundationalist who accepts Kant’s distinction between analytic and synthetic truth, the truths of logic are paradigm cases of analytic truths. They are true solely by virtue of the meanings of the linguistic expressions involved in expressing them; or, as Kant might have preferred it, by virtue of internal relations among the concepts involved. A successful logicist reduction of any branch of mathematics will therefore show that its truths (strong version) or its theorems (weak version) are analytic. 