Glossary:Logical Quantifier

Logical Quantifier

BE /ˈlɒʤɪkəl ˈkwɒntɪfaɪə/, AE /ˈlɑ:ʤɪkl̩ ˈkwɑntɪˌfaɪər/

Definition

In predicate logic the two fundamental quantifiers are the logical quantifiers, which are the universal quantifier and the existential quantifier.

Examples

• Universal quantifier: ∀ apple (Read as: for every apple, for all apples)
• Existential quantifier: ∃ apple (Read as: at least one apple exists)

References

Kearns, Kate. 2000. Semantics. Basingstoke: Macmillan.

Related Terms

• Existential Quantifier
• Logical Form
• Logical Operator (Propositional Connective)
• Predicate Logic (First-order Logic)
• Quantifier
• Universal Quantifier
• Variable

---

Back to the Basic Glossary