4. LA FORMALISATION DU LANGAGE NATUREL AU LANGAGE DE LA PROGRAMMATION LOGIQUE
Kouassi Marius NIANGUI
Doctorant, Université Alassane Ouattara (Côte d’Ivoire)
Résumé :
L’étude du langage naturel, amorcée dès l’antiquité avec Aristote, a été prolongée par les logiciens qui cherchaient à structurer la pensée à travers la logique formelle. Le langage naturel, souvent jugé imprécis et ambigu, devait être clarifié pour permettre des raisonnements rigoureux. De cette manière, la logique devrait être structurée afin de bien être conduite dans un raisonnement syllogistique. Au XIXe siècle, Gottlob Frege adopte un tournant décisif. Face à la crise des fondements des mathématiques, il propose une formalisation du raisonnement à partir d’axiomes et développe la logique des prédicats. Celui-ci consacra toute son œuvre scientifique à la formalisation des raisonnements logiques et des mathématiques à partir des axiomes comme moyens de démonstration du raisonnement cohérent. L’entreprise de la formalisation du langage naturel par Frege construit la logique des prédicats, dont la symbiose avec la machine d’Alan Turing a permis aux philosophes informaticiens Alain Colmerauer et Philippe Roussel, dans les années 1970, la conception du langage de la programmation logique. L’essor de la formalisation du langage ordinaire dans le langage de la programmation logique, à partir de la logique des prédicats de Frege, montre le rapport qu’il y a avec l’informatique. Cette transition de la pensée vers des applications computationnelles participe de l’intelligence artificielle.
Mots-clés : Axiome, formalisation, informatique, langage, logique.
THE FORMALIZATION OF NATURAL LANGUAGE INTO THE LANGUAGE OF LOGIC PROGRAMMING
Abstract:
The study of natural language, initiated from antiquity with Aristotle, has been extended by the logicians who sought to structure thought through formal logic. Natural language, often judged inaccurate and ambiguous, had to be clarified to allow rigorous reasoning. In the 19th century, Gottlob Frege adopts a turning point. Faced with the crisis of the foundation of mathematics, it proposes a formalization of reasoning from axioms and develops the logic of the predicates. He devoted all his scientific work to the formalization of logical reasoning and mathematics from axioms as a means of demonstration of coherent reasoning. The company of the formalization of natural language by Frege builds the logic of predictions whose symbiosis with the machine of Alan Turing, allowed computer scientific philosophers, Alain Colmerauer and Philippe Roussel in the 1970, the conception of the language of logic programming. The development of the formalization of ordinary language in the language of logical programming, based on the logic of the predicates of Frege, shows the relationship that there is with computer science.This formal to computational applications participates in the growth of artificial intelligence.
Keywords : Axiom, formalization, computer science, language, logic.
Références bibliographiques
1- ARISTOTE, 2014, Premiers Analytiques, in Œuvres complètes, trad. Pierre Pellegrin, Paris, Éditions Flammarion, p. 89-209.
2- BELNA Jean-Pierre, 2014, Histoire de la logique, Paris, Ellipses.
3- BLANCHÉ Robert, 1970, La logique et son histoire d’Aristote à Russell, Paris, Librairie Armand Colin.
4- CAVAILLÈS Jean, 1981, Méthode axiomatique et formalisme – essai sur le problème du fondement des mathématiques, Paris, Hermann.
5- CHAPADOS Steeven, 2017, Dictionnaire philosophique et historique de la logique, Paris, Presse de l’université de Laval.
6- DANGO Adjoua Bernadette, 2021, « Fondement logico-mathématique de la théorie de la machine », in Revue de philosophie et de sciences humaines (Société béninoise de philosophie), N°03, Cotonou.
7- FREGE Gottlob, 1994, Écrits logiques et philosophiques, trad. Claude Imbert, Paris, Seuil.
8- FREGE Gottlob, 1999, Idéographie, trad. Corine Besson, Paris, Vrin
9- MÉVEN Cadet, 2017, Les « Grundgesetze der Arithmetik » de Frege Idéographie : genèse, syntaxe, sémantique, thèse de doctorat présentée et soutenue publiquement à l’université Paris 1 Panthéon-Sorbonne le 21 juin.
10- THAYSE André & co-auteur, 1990, Approche logique de l’intelligence artificielle : De la logique classique à la programmation logique, Paris, Bordas.
11- YOUSCHKEVITCH Adolf Pavlovich, 1981, « The concept of function up to the middle of the 19th century 1976-1977 », in Archive for History of Exact Science, vol. 16, n°1, 37-85, dans son Fragment d’histoire des mathématiques, Brochure.
