Une nouvelle sémantique de l'itération modale
Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les m...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado em: |
2014
|
| Acesso em linha: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Resumo: | Dire d’une proposition que, nécessairement, elle est nécessairement vraie, c’est affirmer incomparablement plus que ce que l’on affirme en disant simplement qu’elle est nécessairement vraie. C’est en effet, intuitivement, affirmer qu’elle est nécessaire quelle que puisse être la donnée de tous les mondes possibles à l’aune de laquelle sa nécessité est établie. C’est faire de cette donnée elle-même un possible parmi d’autres, et faire ainsi référence à des mondes possibles d’ordre supérieur. Cet article vise à formaliser la notion de monde possible d’ordre supérieur au moyen d’outils empruntés à la géométrie riemannienne. Le cadre sémantique proposé repose sur une collection ouverte de mondes possibles de niveaux croissants, par opposition à l’héritage leibnizien d’une totalité close de mondes possibles. |
|---|