Does Quine's argument that there is no real boundary between analytic and synthetic statements include purely mathematical statements such as 1 + 2 = 3? Granted, sentences in everyday languages contain both analytic and synthetic elements, but cannot formal languages support purely analytical statements? Or does mathematics, being a human creation, inextricably model the natural world around us, and thus contain synthetic information?
I'm trying to understand the short and (very difficult for me) book "Knowledge and Reality: A Comparative Study of Quine & Some Buddhist Logicians" by Kaisa Puhakka, which seems to represent Quine's thinking faithfully, but my training as a scientist leaves me ill-prepared for much of it. Thank you.