Quest ce que la logique modale ?

Fran cois Schwarzentruber

Il y a deux mots ` a d efinir : logique et modale. Il y a aussi ` a expliquer ` a quoi ca peut servir. Il y a aussi ` a expliquer ` a quoi ressemble la recherche dans ce domaine.

1
1.1

D efinition
...modale

Commen cons dabord par d efinir ladjectif modal. Ici, modal a le m eme sens que dans lexpression auxiliaires modaux en anglais: can, may, want, etc. Ce sont des auxiliaires qui permettent de moduler le propos. Par exemple il pleut devient il est possible quil pleuve ou encore je veux quil pleuve.

1.2

Logique...

La logique est une discipline scientifique ` a lintersection de la philosophie, de la linguistique, des math ematiques et de linformatique. De la philosophie car on se pose de questions ` a propos de notions comme le temps, la possibilit e, la connaissance, lintention, la croyance. De la linguistique car on cherche ` a exprimer des faits dans une langue artifi1 cielle qui nest pas ambig ue . La langue des math ematiques dans laquelle on peut exprimer des propri et es comme e, x, x.e = x est une telle langue artificielle. On essaye aussi de donner un sens aux formules que lon ecrit. Des math ematiques car on va etudier entre autres les d emonstrations quon est capable d ecrire avec ces formules. De linformatique car on va essayer de voir ce quun ordinateur est capable de d emontrer tout seul.
Le fran cais a le d efaut d etre tr` es ambig u. Par exemple il y a deux mani` eres de comprendre La petite brise la glace..
1

REFERENCES

1.3

La logique modale

Bref, en logique modale on etudie des langues artificielles o` u lon peut exprimer des choses comme Les voyageurs savent que dans quelque instant, la porte du m etro se fermera. (dans cet exemple, il y a deux type de modalit es : le savoir et le temps)

Applications

Les formules ecrites en logique modale permettent de sp ecifier des programmes informatiques. Lordinateur est alors capable de mani` ere automatique et avant ex ecution du programme que ce dernier fonctionnera correctement.

Axes de recherche

Il y a essentiellement deux axes de recherche : la mod elisation et l etude math ematique.

3.1

Mod elisation

La mod elisation consiste ` a inventer une langue artificielle. Prenons lexemple de la connaissance. On pourra se demander par exemple si je sais que la lumi` ere est allum ee est equivalent ` a je sais que je sais que la lumi` ere est allum ee.

3.2

Etude math ematique

Continuons sur lexemple de la connaissance. On peut se demander si on est capable d ecrire des d emonstrations relatives ` a des phrases concernant le savoir. On peut se demander aussi si un ordinateur peut de mani` ere automatique raisonner avec de telles phrases.

Remerciements

Je remercie le CIES (Centre dInitiation ` a lEnseignement Sup erieur) sans quoi je naurai jamais ecrit ce descriptif.

References