The twentieth century return to Middle Age scholastics taught us a lot about formalisms. Probably it is time to look outside again. Meaning is what really matters.

[Oddly enough, Putnam believes part of the attraction of some of these formalisms is their obscurity]. "I think part of the appeal of mathematical logic is that the formulas look mysterious  you write backward Es!"
hilary putnam