Are there advantages of modern symbolic logic over classical logic (categorical syllogisms)?