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 PutnamWhile there is such a thing as correctness in ethics, in interpretation, in mathematics, the way to understand that is not by trying to model it on the ways in which we get things right in physics.
Hilary Putnam