Langage de la logique

Langage Logique: Un langage logique en Informatique est celui qui est structuré sur la logique booléenne. proche du langage procédural. il est différent de ce qui est ci-dessous [Le Langage de le logique] pour comprendre, le langage de la logique fait allusion par exemple à la logique Mathématique par contre le Langage Logique fait allusion au langage de programmation ou de réalisation des applications ou logiciels informatique uniquement.

Le langage de la logique s'est progressivement constitué pour remédier à l'incapacité des langues naturelles à mettre en évidence et à exprimer de façon claire les diverses structures logiques. Des difficultés d'expression analogues ont été rencontrées dans d'autres domaines du savoir, comme la mathématique, la physique, la chimie et même la linguistique. Dans chaque cas, on a dû introduire des notations ou des langues fragmentaires, pour permettre à ces sciences de faire d'immenses progrès. Comme l'écrit Bertrand Russell dans la préface du Tractatus de Wittgenstein, « ...une bonne notation a une subtilité et un pouvoir de suggestion qui la font par moments ressembler presque à un vivant professeur. Des irrégularités notationnelles sont souvent le premier signe d'erreurs philosophiques et une notation parfaite serait un substitut de la pensée. »

Histoire

Il est essentiel de distinguer la logique comme langage de la logique comme déduction ou calcul. Cette distinction, rappelée en 1967 par Van Heijenoort, est déjà présente dès les débuts de la logique. L'œuvre d'Aristote comprend en effet, outre une énumération de différentes formes de syllogismes, une ébauche d'élucidation de la structure des propositions. Dès les débuts, la logique possède sa langue. Celle de la logique traditionnelle était toutefois très limitée en comparaison avec l'actuelle. On s'y tenait à un petit nombre de propositions élémentaires du genre "S est P", "S n'est pas P", "Tout S est P", "Aucun S n'est P", "Quelque S est P", Quelque S n'est pas P", et d'autres construites à partir d'elles avec des connecteurs propositionnels.

Gottfried Wilhelm Leibniz (1646-1716) est sans doute le premier qui, au travers de sa célèbre caractéristique universelle, conçut le projet d'un vaste formulaire dans lequel on pourrait exprimer toutes les pensées, et pas seulement les notions propres à une discipline particulière. Chez Leibniz apparaît aussi l'idée que formaliser c'est traduire.

Ce projet ne s'est concrétisé que deux siècles plus tard, principalement dans l'idéographie (Begriffsschrift) de Gottlob Frege (1848-1925), mais aussi dans le formulaire de Giuseppe Peano (1858-1932).

Frege assigne comme but à son idéographie une formalisation qui est non seulement destinée à vérifier la justesse des raisonnements, mais aussi à fournir une expression adéquate de la diversité des pensées. Il proclame que, à la différence de George Boole, sa logique n'est pas simplement un calculus ratiocinator, mais également une lingua caracteristica au sens de Leibniz.

Les langues frégéennes et péaniennes se sont fortement modifiées depuis. Frege utilisait, par exemple, une écriture bidimensionnelle et sa notation ressemblait davantage à des idéogrammes qu'à l'écriture linéarisée de la loglangue actuelle. On remarquera cependant que des traitements de textes contemporains, comme TeX, ont permis récemment de lui donner un second souffle.

Ces premières langues logiques ont aussi été enrichies de manière à permettre l'analyse de plus en plus subtile à de propositions qui semblaient défier toute formalisation.

C'est cette langue frégéenne, modifiée et enrichie, basée sur le langage des prédicats du premier ordre mais le débordant strictement, par élargissement du cadre extensionnel et intégration de concepts intensionnels, qui constitue la langue de la logique actuelle.

Quand la langue de logique du premier ordre et de ses extensions est traitée de cette façon comme une langue étrangère, la formalisation, l'interprétation ou la représentation de phrases de la langue naturelle ne sont rien d'autre que des traductions dans ce nouveau langage. Comme dans les autres cas de traduction, on peut procéder de manière intuitive ou de façon automatique, comme chez Richard Montague ou dans la « Théorie des représentations du discours » de Hans Kamp (en).

Points communs avec les langues naturelles

Tout comme le français, la langue de la logique a sa grammaire propre. Celle-ci comprend un ensemble de lettres, qui forment son alphabet et qui permettent de construire des expressions grammaticalement correctes.

Les lettres ou symboles sont groupés en sortes:

• les symboles propositionnels, prédicatifs et fonctionnels ;
• les constantes ;
• les variables, qui, comme les constantes, peuvent être de différents types ;
• les symboles logiques, pouvant inclure des opérateurs non extensionnels (modaux, temporels, implications relevantes etc.);
• les signes de ponctuation, comme les parenthèses.

Toute suite finie de lettres de l'alphabet est une expression. Mais toute expression n'est pas grammaticale. Comme en français ---où on distingue les catégories de noms, verbes, prépositions et adjectifs--- les expressions grammaticales sont tépartis en différentes catégories:

• les termes, construits avec les symboles fonctionnels, les variables et les constantes ---la définition des termes évoque la morphologie d'une langue naturelle;

• les énoncés simples et complexes ---les règles de formation des énoncés correspondent à la syntaxe d'une langue naturelle.

Tout comme une langue naturelle, la langue de la logique est vivante, en ce sens qu'elle évolue en s'adjoignant de nouveaux mots et en se débarrassant d'expressions désuètes et d'archaïsmes. Elle possède aussi de nombreux dialectes et de systèmes d'écriture. C'est pourquoi, il est plus exact de parler d'en parler au pluriel : les langues propositionnelle, prédicative, modale, à plusieurs types d'objets ...

Différences entre langues de la logique (ou loglangues) et langues naturelles

• La grammaire d'une loglangue est précise et complète. Dans le cadre d'une loglangue déterminée, la frontière qui sépare les expressions grammaticalement correctes et les autres est nette. Une loglangue est en principe entièrement décrite par une unique grammaire, constitutive de la langue. Les langues naturelles en revanche n'ont pas de grammaire unique; leurs grammaires généralement incomplètes sont des théories a posteriori visant à décrire plus ou moins fidèlement la structure de la langue.
• Les loglangues sont avant tout écrites. Les énoncés oraux occasionnels font toujours référence à des expressions écrites ou susceptibles de l'être.
• Une loglangue n'a pas vocation à être une langue maternelle, ni même une langue naturelle, comme l'espéranto, voire un idiome comme loglan, qui est plus une "langue logique" qu'une langue de la logique. Ce qui n'implique pas qu'on assigne a priori des limites à son pouvoir d'expression.

Exemples

Avec les êtres humains, comme univers de discours, et un symbole binaire $A$ signifiant ...aime....

$\forall x\exists yAxy=$ Tout le monde aime quelqu'un.

$\exists y\forall xAxy=$ Quelqu'un est aimé par tout le monde.

$\forall x\exists yAyx=$ Tout le monde est aimé (de quelqu'un).

$\exists y\forall xAyx=$ Il y a quelqu'un qui aime tout le monde.

Voici deux traductions en loglangue de l'exemple classique de la théorie des descriptions de Russell, L'actuel roi de France est chauve.

• $\exists x\,((RF(x)\land \forall y\,(RF(y)\rightarrow x=y))\land Ch(x))$
• $\exists x\,(\forall y\,(RF(y)\leftrightarrow x=y)\land Ch(x))$

Ces traductions sont équivalentes. Par contre, les traductions suivantes de L'actuel roi de France n'est pas chauve ne le sont pas, la première étant vraie et la seconde fausse,

• $\neg \exists x\,(\forall y\,(RF(y)\leftrightarrow x=y)\land Ch(x))$
• $\exists x\,(\forall y\,(RF(y)\leftrightarrow x=y)\land \neg Ch(x))$

Liens externes

• Un cours de loglangue.
• (en) Indications pour la traduction, par Peter Suber.
• "Logical Form", Paul Pietroski, Stanford Encyclopedia of Philosophy