quantifier

This term functions as a technical label across linguistics, logic, and mathematics to describe elements that specify quantity. In a linguistic sense, it refers to determiners that define the scope of a noun, ranging from totalities to indefinite amounts. These words modify the noun to provide a specific or general scale of existence. In formal logic, the term takes on a more rigid mathematical meaning, referring to symbols that bind variables to a domain. This creates a distinction between universal quantification, which applies to every member of a set, and existential quantification, which applies to at least one member.