Temps Ramifié - Savoirs Textes Langage - Lille 3

tant qu’ils nomment des états de choses, sont en fait des descriptions de certaines
configurations empiriques. On parlera tout simplement ici d’une logique modale qui travaille
avec, à la fois des mondes possibles et des contextes temporels : ce sera en somme une
logique multimodale.
Ainsi, le traitement formel de ces énoncés d’expériences oniriques nécessite l’usage
d’une double indexation signifiant d’abord le type auquel ces derniers appartiennent ; ensuite
le contexte temporel d’énonciation (actuel) qui est celui à partir duquel les différents
contextes (le passé et le futur) de réalisation possible de l’énoncé sont déterminés.
NB Dans l’essai de formalisation que nous ferons du type d’énoncés qui nous occupe ici,
nous considérerons les contextes de matérialisation des faits oniriques comme étant les
conditions de vérité de nos énoncés. En somme, un énoncé e de faits oniriques sera vrai dans
un contexte temporel t, si l’état de choses que nomme cet énoncé est matérialisé à ce contexte.
Modalités logiques et expérience onirique : cadre formel.
Ayant aperçu d’entrée la sémantique propre au type d’énoncés qui nous occupent, il
s’impose donc de construire un modèle qui intègre à la fois, aussi bien les contextes temporels
que ceux modaux. Ainsi nous définissons notre modèle comme consistant en un ensemble W
non vide de mondes possibles, un ensemble T de moments 1 sur l’axe du temps, une relation R
d’accessibilité entre les mondes possibles, une relation « < »d’antériorité entre les contextes
temporels, enfin une fonction «╞ » (ou « v ») 2 de valuation définie sur l’ensemble des
propositions et qui assigne à chaque formule de notre langage, un élément du produit cartésien
{W x T}.
Soit M un modèle d’un langage multimodal tel que 〈 W, T, R,