La notion de nécessité logique se trouve principalement analysée selon deux versants, qu'elle tend à apparenter : celui de la validité logique (dans une perspective de théorie des modèles) et celui de la modalité (telle que l'interprète la sémantique de Kripke en termes de mondes possibles). Ceci a pour conséquence une forme de contamination réciproque : la validité est souvent pensée comme représentant la vérité dans tous les univers d'interprétation possibles, et, réciproquement, la sémantique standard des modalités se réfère à un ensemble de mondes possibles homogènes supposé clos. Par opposition, j'envisage, d'une part, un possible enchaînement de modèles de la théorie des ensembles selon lequel chaque modèle appartient au précédent et le réfléchit. J'essaie, d'autre part, de faire correspondre à l'itération de l'opérateur de nécessité ("nécessairement ... nécessairement p") une itération sémantique analogue (la mise en jeu de mondes ... de mondes possibles). Je propose dans chaque cas des éléments de construction, pour préciser ces deux idées de démultiplication.
|
|
|