Analyticité, universalité et quantification chez Bernard Bolzano

Jusqu'à maintenant, il semble qu'on n'ait pas établi de lien entre le rejet par Bolzano de la notation quantificationnelle des propositions universelles de la logique traditionnelle et l'articulation inédite de sa notion de validité universelle. C'est ce que je veux faire ici. En particulier, dans la mesure où l'analyticité est un cas spécial de la validité universelle, j'ai l'intention de défendre l'idée qui veut que la notion bolzanienne d'analyticité cherche à résoudre des problèmes qui sont intrinsèquement liés à la théorie traditionnelle de la quantification universelle tels qu'ils surviennent, notamment avec le traitement kantien de l'analyticité. 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 there 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