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: Pragmatism and Realism". Book by James Conant and Urszula M. Zeglen, 2002.
