Dans la première partie de cet article, les auteurs présentent une enquête épistémologique à partir des textes fondateurs (Frege et Quine) mettant en valeur la naissance du symbolisme logique et le lien du concept de la quantification avec des théories philosophiques qui montrent la complexité et la polysémie des quantificateurs dans le langage formel et le langage naturel (Chellougui 2004). La deuxième partie propose une analyse didactique autour du concept de quantification. Il s’agit de quelques résultats expérimentaux issus des travaux de Dubinsky et Yiparaki (2000) et de Durand-Guerrier et Arsac (2003).