Carnap's analytic-synthetic distinction, which underpins his formalism, was fatally undermined by Qu...