 One is the distinction between analytic statements (tautologies and contradictions) whose truth (or falsehood) is a function of the meanings of the words in the statement ('all bachelors are unmarried'), and synthetic statements, whose truth (or falsehood) is a function of (contingent) states of affairs.The other is reductionism, the theory that each meaningful statement gets its meaning from some logical construction of terms which refers exclusively to immediate experience.Quine's argument brings to mind Peirce's insistence that axioms are not a priori truths but synthetic statements.