Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche:

• (per ogni)
• (esiste)

il nome "quantificatori" è legato al fatto che danno una informazione su quanto è grande l'estensione in cui è valido un predicato.