MODALITÉS, logique

Carte mentale

Élargissez votre recherche dans Universalis

Les modalités non aléthiques

L'idée d'étendre le traitement logique des modalités aléthiques à d'autres notions modales avait déjà été formulée par les médiévaux, mais elle n'a été exploitée systématiquement qu'à la suite des progrès de la logique modale contemporaine (en particulier par G. E. Von Wright dans An Essay in Modal Logic, North Holland, Amsterdam, 1951). La logique déontique (ou « logique des normes ») utilise le parallèle entre la logique d'opérateurs tels que « il est obligatoire », « il est permis » et « il est défendu », et celle du nécessaire, du possible et de l'impossible. Des principes typiques de la logique modale comme « tout ce qui est nécessaire est possible » ont leur répondant avec « tout ce qui est obligatoire est permis », bien que la transposition ne soit pas correcte de « tout ce qui est est possible » à « tout ce qui est fait est permissible ». Mais, si nous combinons les concepts déontiques aux concepts modaux, en admettant qu'un acte n'est obligatoire que s'il est possible et qu'un acte n'est possible que s'il est obligatoire, on peut réduire les lois de la logique déontique à celles de la logique modale ordinaire et lui donner (au prix de diverses complications) une sémantique comparable (quelque chose est permis s'il est permis dans un monde possible « déontique », et obligatoire s'il est permis dans tous les mondes déontiquement possibles).

Le problème demeure, cependant, de réconcilier nos intuitions morales usuelles avec ce que semblent asserter les divers systèmes de logique déontique. En premier lieu, la logique déontique n'est pas, à proprement parler, une logique des énoncés impératifs (du type « fais ceci »), car ceux-ci semblent n'être ni vrais ni faux, mais elle peut être conçue comme décrivant, in abstracto, des systèmes de normes exprimables à l'indicatif (c'est-à-dire d'énoncés normatifs) et leur cohérence. En second lieu, la logique déontique usuelle engendre des paradoxes, comme celui de Ross : elle valide des énoncés comme

qui autoriserait par exemple à dire que s'il est permis [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 12 pages

Écrit par :

  • : maître de conférences de philosophie, université de Grenoble-II et C.N.R.S

Classification

Autres références

«  MODALITÉS, logique  » est également traité dans :

CROYANCE

  • Écrit par 
  • Paul RICŒUR
  •  • 12 004 mots

Dans le chapitre « Approche sémiotique »  : […] Avec A. J. Greimas, dans la Sémantique structurale (1965), Du sens I (1970), Maupassant (1976), et Du sens II (1983), une nouvelle tentative de mise en ordre des structures élémentaires de la croyance se fait jour, qui, à l'opposé de la phénoménologie, ne repose sur aucune intuition du vécu, mais sur la structure de l' énonciation , telle qu'elle est investie dans le discours oral ou écrit et […] Lire la suite

EMPIRISME

  • Écrit par 
  • Edmond ORTIGUES
  •  • 13 313 mots
  •  • 1 média

Dans le chapitre « La logique, servante et non maîtresse des sciences »  : […] On peut faire ici plusieurs remarques. D'abord, le recours à la synonymie accentue la dépendance de la logique à l'égard du langage. On a vu plus haut que, selon Quine, la logique dépend de la grammaire mais non du lexique. La grammaire logique se construit récursivement à partir d'un nombre fini de constantes logiques (connecteurs, quantificateurs, symbole d'identité). Peut-on admettre que la syn […] Lire la suite

NÉCESSITÉ

  • Écrit par 
  • Michaël FOESSEL
  •  • 1 126 mots

L'usage courant rapproche la nécessité de l'idée de destin, c'est-à-dire de l'advenue d'un événement inévitable. Est « nécessaire », en effet, ce qui ne peut pas ne pas être ou ce qui ne peut pas être autrement qu'il n'est. Dans le Timée , Platon (428-347 av. J.-C.) rencontre déjà la nécessité ( anankè ) sous la figure de l'inexorable : le démiurge qui se trouve à l'origine de l'ordre du monde est […] Lire la suite

PRAGMATIQUE

  • Écrit par 
  • Francis JACQUES
  •  • 6 532 mots

Dans le chapitre « Le grand bond »  : […] Avec le souci des interlocuteurs, on pouvait s'attendre à voir entrer en jeu la notion d' interaction verbale . Longtemps la question ne fut même pas posée. Et puis elle s'avança enfin à pattes de colombe, transformant notre idée du contexte. Un certain silence travaille, en effet, le discours pragmatique, dont on détermine peu à peu les contours. Que le contexte langagier soit essentiellement int […] Lire la suite

RUSSELL BERTRAND lord (1872-1970)

  • Écrit par 
  • Philippe DEVAUX
  •  • 6 112 mots
  •  • 1 média

Dans le chapitre « Implication stricte »  : […] À Clarence Irving Lewis ( A Survey of Symbolic Logic , 1918) est due, par ailleurs, la symbolisation de l'implication stricte ( p  →  q ), introduite en vue de justifier la déduction et de rendre légitime, effectif et naturel le modus ponens. Cette modification réintègre le modal dans la logique, alors qu'il en a été expulsé par Frege et Russell. Il ne sera récupéré que plus tard par la théorie d […] Lire la suite

Voir aussi

Pour citer l’article

Pascal ENGEL, « MODALITÉS, logique », Encyclopædia Universalis [en ligne], consulté le 23 octobre 2020. URL : https://www.universalis.fr/encyclopedie/modalites-logique/