page3
Le calculus ratiocinator
est un algorithme ou une machine calculatoire théorique inventé par Gottfried Wilhelm Leibni, qui essait de décrire le processus de la pensée humaine comme la manipulation mécanique de symboles, sans pour autant vouloir fabriquer des spécimens. On peut le voir comme une méthode, un algorithme, ou une machine, qui permettrait de démêler le vrai du faux dans toute discussion dont les termes seraient exprimés dans la langue philosophique universelle, la caractéristique universelle. Cette dernière, imaginée aussi par Leibniz sans qu'il l'ait complètement formalisée, était censée pouvoir exprimer n'importe quel énoncé philosophique. Leibniz imaginait donc un procédé automatique couplant la langue formalisée et l'algorithme, qui puisse décider de la vérité de toute assertion quelle qu'elle soit.