Analytic and synthetic in logic