It was Rudolf Carnap's dream for the last three decades of his life to show that science proceeds by a formal syntactic method; today no one to my knowledge holds out any hope for that project.

Hilary Putnam, in: James Conant, Urszula M. Zeglen (2012) Hilary Putnam: Pragmatism and Realism. p. 14