Can you say more on the fight between traditional and symbolic logic? I'm glad to hear that classical logic is making a comeback, though it's news to me.
Any "comeback" of Aristotelian logic is slow in coming. What I see happening is that modern logicians take those old criticisms seriously and are addressing them. See quantified modal logic for an example.