Calcul ratiocinateur -Calculus ratiocinator
Le calcul ratiocinateur est un cadre théorique de calcul logique universel, un concept décrit dans les écrits de Gottfried Leibniz , généralement associé à sa caractéristique plus fréquemment mentionnée , un langage conceptuel universel.
Deux vues
Il y a deux points de vue opposés sur ce que Leibniz entendait par calcul ratiocinateur . Le premier est associé au logiciel informatique , le second est associé au matériel informatique .
Vue analytique
Le point de vue reçu dans la philosophie analytique et la logique formelle , est que le calcul ratiocinateur anticipe la logique mathématique — une « algèbre de la logique ». Le point de vue analytique comprend que le calcul ratiocinateur est un moteur d'inférence formel ou un programme informatique , qui peut être conçu de manière à accorder la primauté aux calculs. Cette logique a commencé avec le Begriffsschrift de Frege en 1879 et les écrits de CS Peirce sur la logique dans les années 1880. Frege voulait que son « scénario de concept » soit un ratiocinateur de calculs ainsi qu'une caractéristique universelle . Cette partie de la logique formelle pertinente pour le calcul relève de la théorie de la preuve . De ce point de vue, le calcul ratiocinateur n'est qu'une partie (ou un sous-ensemble) des caractéristiques universelles , et une caractéristique universelle complète comprend un "calcul logique".
Vue synthétique
Un point de vue opposé provient de la philosophie synthétique et de domaines tels que la cybernétique , l'ingénierie électronique et la théorie générale des systèmes . Elle est peu appréciée en philosophie analytique. La vue synthétique comprend le calcul ratiocinateur comme se référant à une "machine à calculer". Le cybernéticien Norbert Wiener considérait le calcul ratiocinateur de Leibniz comme un précurseur de l'ordinateur numérique moderne :
"L'histoire de la machine informatique moderne remonte à Leibniz et Pascal. En effet, l'idée générale d'une machine informatique n'est rien d'autre qu'une mécanisation du calcul ratiocinateur de Leibniz ."
— Wiener (1948 , p. 214)
"...comme son prédécesseur Pascal, [Leibniz] s'intéressait à la construction de machines à calculer dans le Métal. -les machines à calculer rapides d'aujourd'hui, donc le calcul ratiocinateur de Leibniz contient les germes de la machina ratiocinatrix , la machine à raisonner."
— Wiener (1965 , p. 12)
Leibniz a construit une telle machine pour les calculs mathématiques, qui s'appelait également un « compteur à échelons ». En tant que machine informatique, le ratiocinateur de calcul idéal effectuerait le calcul intégral et différentiel de Leibniz. De cette façon, le sens du mot "ratiocinateur" est clarifié et peut être compris comme un instrument mécanique qui combine et compare des rapports.
Mécanisme interne du compte à pas
Réplique contemporaine du compte à pas
Hartley Rogers a vu un lien entre les deux, définissant le calcul ratiocinateur comme « un algorithme qui, lorsqu'il est appliqué aux symboles de n'importe quelle formule de la caractéristique universelle , déterminerait si cette formule était vraie ou non en tant qu'énoncé de la science ».
Une discussion classique du calcul ratiocinateur est celle de Louis Couturat , qui soutenait que la caractéristique universelle — et donc le calcul ratiocinateur — étaient inséparables du projet encyclopédique de Leibniz. Ainsi les caractéristiques , calcul ratiocinateur et encyclopédie forment trois piliers du projet de Leibniz.
Voir également
Les références
Bibliographie
- Couturat, Louis (1901). La Logique de Leibniz . Traduit par Rutherford, Donald. Paris : Félix Alcan.
- Rogers, Hartley, Jr. (1963). « Un exemple en logique mathématique ». Le mensuel mathématique américain . 70 (9) : 929-945.
- Wiener, Norbert (1948). « Le temps, la communication et le système nerveux ». Annales de l'Académie des sciences de New York . 50 (4) : 197-219.
- Wiener, Norbert (1965). La cybernétique ou le contrôle et la communication chez l'animal et la machine (2, édition de poche). La presse du MIT .
- Fearnley-Sander, Desmond (1982). « Hermann Grassmann et la préhistoire de l'algèbre universelle ». Le mensuel mathématique américain . 89 (3) : 161-166.