Quantifiers and Cognition: Logical and Computational Perspectives