The traditional square of opposition and generalized quantifiers