MODALITÉS, logique

Carte mentale

Élargissez votre recherche dans Universalis

Le statut philosophique des concepts modaux

Les difficultés qu'on rencontre pour représenter dans un formalisme cohérent les diverses notions modales expliquent que les logiciens les aient rejetées aux frontières de la logique classique du vrai et du faux, et que, quand ils les ont prises en compte, ils se soient heurtés au fait qu'elles semblent indissociables de leurs contenus particuliers. Il y a en effet une ambiguïté fondamentale dans les termes modaux « possible » et « nécessaire », qui peuvent être employés tantôt pour désigner des propriétés de nos assertions ou de la connaissance que nous avons des choses, tantôt pour désigner des propriétés des choses elles-mêmes. Ainsi, la notion de possibilité peut être entendue, au sens épistémique, comme désignant ce qui est possible relativement à notre connaissance, ou relativement à ce que nous croyons être possible, ou bien au sens de la possibilité réelle, comme désignant un état possible du monde. De même, « nécessaire » peut qualifier nos assertions, ou la nature de ce sur quoi portent nos assertions. Cette distinction recoupe la distinction de dicto/de re.

On distingue pareillement la possibilité logique, au sens de ce qui n'enveloppe pas de contradiction, de la possibilité physique ou naturelle, au sens de ce qui est compatible avec les lois de la nature empirique. En principe, le logicien devrait se contenter d'enregistrer ces distinctions, sans avoir à les élucider dans leur profondeur propre, cette dernière tâche revenant au philosophe. Mais le fait qu'elles affectent l'intelligibilité même de son formalisme montre que leur analyse philosophique est inséparable de ce formalisme. La question philosophique fondamentale qui sous-tend les interprétations des concepts modaux est donc celle de leur justification : les propositions modales sont-elles vraies ou fausses et, si elles le sont, le sont-elles en vertu de traits de la réalité ou sont-elles seulement relatives à notre connaissance ou à nos assertions sur le monde ?

On peut app [...]



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☛ 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 se trouve à l'origine de l'ordre du monde est […] 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 soit essentiellement int […] 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 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☛ 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 06 décembre 2019. URL : http://www.universalis.fr/encyclopedie/modalites-logique/