Analytical philosophy, universality and quantification in Bernard Bolzano

It seems that the connection between Bolzano's rejection of the traditional quantificational notation for universal propositions and the articulation of his notion of universal validity has remained, until today, perfectly unnoticed. In this paper, I will show that thee is such a connection. Particularly, since analyticity is a special case of universal validity, my intention is to show that the problems to which Bolzano's perfectly original account of analyticity seeks to find an answer are intrinsically related to the traditional conception of universal quantification as it arises in the context of Kant's treatment of analyticity.