Quantifiers play an important role in predicate calculus logic. There are two kinds of quantifier: the universal quantifier (as in `all dogs are mammals') and the singular or existential quantifier (as in `some mammals are dogs').
Quantifiers (some, many, much, a lot etc.) are like articles in that they precede and modify nouns. A quantifier shows how much or how many things there are in a sentence. For example: There are lots of trees in Germany. Note: In choosing which quantifier to use it is important to understand the difference between countable and non countable nouns.