Esthétique, Logique, Mathématiques

Écriture ou langue artificiellement construites pour pallier certains défauts des langues naturelles.

Essentiellement, deux buts sont poursuivis. On veut d'abord que les mots de cette nouvelle langue aient un sens clair et bien défini, ce qui n'est pas demander qu'ils aient un sens unique, mais plutôt qu'il n'y ait jamais de glissement subreptice et incontrôlé d'un sens à un autre. Contrairement à une vue superficielle trop répandue, les éléments d'une langue symbolique, les symboles, ne sont pas vides de sens, mais au contraire susceptibles de recevoir divers sens. Un symbole n'est vidé d'un sens particulier que pour faire place à la possibilité de sens multiples. Loin qu'on cherche à la réduire, la polysémie est de règle. Mais elle est régie par des conditions explicites qui découpent des sphères sémantiques distinctes, contrairement à ce qui se passe dans une langue naturelle où le foisonnement polysémique donne lieu à quiproquos et malentendus. Que le symbolisme favorise la transparence dans la communication est suffisamment attesté par l'universalité du plus ancien de nos symbolismes, le symbolisme mathématique.

Le deuxième objectif de la constitution d'une langue symbolique est d'y formaliser le raisonnement de manière à pouvoir décider sûrement de sa rectitude et à discerner ainsi immédiatement le vrai du faux. Grand promoteur de symbolismes comparables à l'échantillon que constituait l'algèbre, Leibniz appelait de ses vœux la création d'une langue où penser pût être aussi aisé et mécanique que calculer. La création de la logique symbolique moderne dans l'Idéographie (1879) de Frege et les Principia mathematica (1910-1913) de Whitehead et Russell a répondu à ce vœu en précisant les données logiques nécessaires à la constitution d'un système formel.

Hourya Sinaceur

→ calcul, formalisation, langue, sens, symbole, valide