Théologien, philosophe, surtout logicien et mathématicien, Bolzano a laissé une œuvre très étendue et très importante que ses contemporains ont presque entièrement ignorée. D'une part, la nature de ses préoccupations, toutes centrées sur les questions des fondements, a éloigné de lui les mathématiciens tournés davantage vers les théories avancées et vers les applications. D'autre part, son style archaïque et lourd, plein de détours difficiles à suivre, a découragé les logiciens, dont la plupart étaient incapables de comprendre l'intérêt même de ses recherches qui dépassaient de très loin la syllogistique et tout ce qu'on faisait entrer à l'époque dans la logique.
Dans l'histoire de la logique, Bolzano mérite une place à côté des plus grands, Aristote, Leibniz et Frege. Avec ces deux derniers, il partage le destin ingrat de ceux qui ont voulu reconstruire la logique pour l'assurer dans ses fondements et pour qu'elle puisse servir de base aux mathématiques. En effet, l'histoire de la logique nous montre que les découvertes les plus novatrices n'exercent aucune influence et ne sont vraiment comprises que beaucoup plus tard, lorsque la communauté scientifique dispose d'outils simplifiés et accessibles permettant enfin de comprendre l'œuvre des pionniers. Il en fut ainsi pour l'œuvre de Leibniz et pour celle de Frege ; il en va de même de nos jours pour l'œuvre de Bolzano.
Bolzano a créé un vaste système logique conçu dans une perspective sémantique, qu'il a intégré dans un projet global de théorie de la science. Les innovations les plus importantes concernent la logique des relations propositionnelles, articulée autour du concept de forme propositionnelle et de l'opération de substitution. Il expose sa logique dans une langue naturelle mais technique, avec des particularités parfois très déconcertantes.
Mathématicien, il innove dans plusieurs domaines ; mais bon nombre de ses découvertes restent trop longtemps inédites. Avec Gauss, Abel et Cauchy, il participe à la réforme de l'analyse dans le premier tiers d […]
… pour nos abonnés, l'article se prolonge sur 5 pages…
