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.