Meu objetivo no presente artigo é apresentar o que penso ser as principais obje- ções à legitimidade de quantificações irrestrita no âmbito de uma lógica e uma semântica clássicas. Minha conclusão aponta para um dilema entre a lógica clássica e a possibilidade de um discurso formal sobre a generalidade absoluta. Da forma como penso, esse dilema impõe importantes consequências para al- gumas agendas filosóficas.