Well, GOFAI ≠ logic, although GOFAI of course uses logic as a tool. Logic itself has been quite the success story, maybe one of the biggest of applied mathematics.