L’OPTIMISME SYMBOLIQUE EN CONTEXTE LOGICO-MATHÉMATIQUE : APPROCHE COMPARATIVE DES FORMALISMES BOOLÉEN ET FRÉGÉEN
Publication Date : 31/08/2026
Auteur(s) :
Volume/Numéro :
Résumé :
La présente réflexion est une étude comparative portant sur les systèmes symboliques de Boole et Frege, deux figures emblématiques de l’histoire de la logique qui poursuivent consciemment ou inconsciemment le projet leibnizien de la caractéristique universelle. Elle vise à déterminer à quel niveau se situe l’optimisme du symbolique développé par les deux systèmes logiques. À l’issue de cette étude comparative, il s’avère que l’optimisme du symbolique de Boole paraît plus flexible que celui de Frege à partir du moment où, l’auteur de l’algèbre de la logique considère le signe comme une marque arbitraire puis accorde une attention particulière au symbole ininterprétable et à la notion de probabilité, tandis que, dans son idéographie, Frege plaide en faveur du raisonnement logiquement parfait et immuable. C’est ce qui nous conduit à considérer le symbolisme logique de Frege comme un lieu d’élimination de l’intuitif et par conséquent, plus rigide que l’algèbre de la logique construite par Boole.
No. de téléchargement :
0
Mots clés:
Inférence, logique, mathématique, optimisme, signe.
Abstract:
The present reflection is a comparative study on the symbolic systems of Boole and Frege, two emblematic figures in the history of logic who, consciously or unconsciously, pursue the Leibnizian project of the universal characteristic. It aims to determine at which level the optimism of the symbolic developed by both logical systems resides. At the conclusion of this comparative study, it appears that the optimism of Boole’s symbolic seems more flexible than that of Frege from the moment the author of the algebra of logic considers the sign as an arbitrary mark and pays particular attention to the uninterpretable symbol and the notion of probability, whereas, in his ideography, Frege pleads in favor of logically perfect and immutable reasoning. This leads us to consider Frege’s logical symbolism as a space for eliminating the intuitive and, consequently, as more rigid than the algebra of logic constructed by Boole. Keywords: Inference, logic, mathematics, optimism, sign.

