Jaakko Hintikka on the analytic/synthetic distinction in logic and arithmetic

What kind of judgement is required to establish an arithmetic truth like 2+2=4 or 5+7=12? One way to divide up kinds of judgment is into two kinds: analytic and synthetic . Broadly, analytic judgements are true in virtue of their definitions, while synthetic judgements are true in virtue of their application to the empirical world. Frege, and many 20th century logical positivists defended a view…