Nella logica i quantificatori sono espressioni come “qualcosa” (quantificatore esistenziale) e “ogni cosa” (quantificatore universale) e le loro controparti simboliche: ∃ (esiste almeno un) ∀ (per ogni) il nome “quantificatori” è legato al fatto che danno un’informazione su quanto è grande l’estensione in cui è valido un predicato.