MODALITÉS, logique

Carte mentale

Élargissez votre recherche dans Universalis

La logique modale traditionnelle

La logique modale est née de l'intérêt qu'ont manifesté les philosophes, dès l'Antiquité, pour les notions de nécessité et de possibilité, et pour une élucidation de leurs fonctions dans le discours. Le fondateur de la logique modale proprement dite est Aristote, qui l'aborde dans le De interpretatione (paragr. 12 et 13) et dans les Premiers Analytiques (I, 3 et 13 ; I, 8-22). Dans le De interpretatione, Aristote se demande quelles sont les négations d'énoncés modaux et soulève, à ce propos, la question de savoir si la modalité porte sur le prédicat ou sur la phrase entière. Sa réponse sur ce second point n'est pas nette. Les médiévaux distingueront clairement le cas où les modalités modifient une proposition complète (« nécessairement l'homme est animal ») – en ce sens, la modalité est dite de dicto (ou in sensu composito) – du cas où la modalité porte sur le prédicat (« l'homme est nécessairement animal ») – en ce sens la modalité est de re (ou in sensu diviso) et qualifie le type d'inhérence du prédicat au sujet. Mais Aristote ne formule pas explicitement cette distinction et adopte tantôt la première, tantôt la seconde interprétation, qui lui ont été respectivement attribuées par les commentateurs. Une autre possibilité, suggérée par Granger (1976), serait qu'Aristote traite les modalités non pas comme des opérateurs, mais comme des prédicats métalinguistiques portant sur ce qui peut être dit d'un sujet, et non pas sur ses propriétés inhérentes. Aristote distingue néanmoins toujours la nécessité comme apodicticité, qui qualifie le lien entre les prémisses et la conclusion d'un raisonnement syllogistique, et qui est une relation entre des propositions, de la nécessité ontologique, qualifiant des relations d'inhérence entre les entités dénotée [...]


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 st […] Lire la suite☛ http://www.universalis.fr/encyclopedie/croyance/#i_94954

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☛ http://www.universalis.fr/encyclopedie/empirisme/#i_94954

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 s […] Lire la suite☛ http://www.universalis.fr/encyclopedie/necessite/#i_94954

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 so […] Lire la suite☛ http://www.universalis.fr/encyclopedie/pragmatique/#i_94954

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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bertrand-russell/#i_94954

Voir aussi

Pour citer l’article

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