Une nouvelle sémantique de l'itération modale (notice n° 1015595)
[ vue normale ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02230cam a2200169 4500500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250125142019.0 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | fre |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 100 10 - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Halimi, Brice |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | <br/> Une nouvelle sémantique de l'itération modale<br/> |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Date of publication, distribution, etc. | 2014.<br/> |
| 500 ## - GENERAL NOTE | |
| General note | 66 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Saying that a proposition is necessarily necessarily true claims incomparably more than simply saying that this proposition is necessarily true. Indeed, it amounts, intuitively, to saying that the proposition is necessarily true whatever the range of all the possible worlds may be. This range, upon which the assessment of simple necessity relies, then becomes a possible datum among others, which triggers the reference to higher-order possible worlds. This article aims at formalizing such a notion of high-order possible world, by using tools coming from Riemannian geometry. The semantical framework that is finally put forward involves an open-ended collection of possible worlds lying at higher and higher levels, in sharp contrast to the Leibnizian heritage of a fixed closed totality of possible worlds. |
| 786 0# - DATA SOURCE ENTRY | |
| Note | Philosophia Scientiæ | 18-1 | 1 | 2014-07-24 | p. 185-203 | 1281-2463 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://shs.cairn.info/revue-philosophia-scientiae-2014-1-page-185?lang=fr&redirect-ssocas=7080">https://shs.cairn.info/revue-philosophia-scientiae-2014-1-page-185?lang=fr&redirect-ssocas=7080</a> |
Pas d'exemplaire disponible.
Réseaux sociaux