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