Partiendo del hecho de que se suele establecer que los cuantificadores clásicos de la lógica de primer orden (universal y particular, o existencial) reflejan el comportamiento semántico de expresiones del lenguaje natural, el artículo expone las diferencias que separan las expresiones lógicas de las expresiones propias de ese lenguaje natural. Así, el estudio compara el funcionamiento del cuantificador universal con la expresión "todos" y afines; y el cuantificador existencial con las expresiones "algún", "un", "hay un" y similares
