Sémantique des mondes possibles
La sémantique des mondes possibles interprète la nécessité comme la vérité dans tous les mondes accessibles et la possibilité comme la vérité dans certains, transformant ainsi la logique modale en une théorie des modèles traitable.
Definition
La sémantique des mondes possibles évalue les énoncés modaux en des points appelés mondes, liés par une relation d'accessibilité, où 'nécessairement A' est vrai dans un monde si et seulement si A est vrai dans chaque monde accessible depuis celui-ci.
Scope
Ce sujet couvre la théorie des modèles relationnels (Kripke) pour la logique modale : les cadres (frames) constitués d'un ensemble de mondes et d'une relation d'accessibilité, les valuations, et les clauses de vérité pour les opérateurs modaux. Il aborde le rôle technique des cadres et la question philosophique de la nature des mondes possibles — univers concrets, états de choses abstraits, ensembles de propositions, ou de simples indices formels — et comment cela influe sur la valeur explicative de la sémantique.
Core questions
- Qu'est-ce qu'un monde possible exactement, et les mondes existent-ils ?
- Qu'est-ce que la relation d'accessibilité, et que représente-t-elle ?
- La sémantique formelle explique-t-elle la vérité modale ou se contente-t-elle de la modéliser ?
- Comment les mondes aident-ils à analyser les contrefactuels, les propositions et le contenu ?
Key concepts
- monde possible
- relation d'accessibilité
- cadre et modèle
- valuation
- actualisme vs. possibilisme
- mondes ersatz
Key theories
- Modèles relationnels de Kripke
- Un modèle est un ensemble de mondes doté d'une relation d'accessibilité et d'une valuation ; les opérateurs modaux quantifient sur les mondes accessibles, de sorte que les caractéristiques logiques de la modalité se réduisent à des propriétés structurelles de la relation.
- Les mondes comme objets abstraits
- Stalnaker considère les mondes possibles comme des manières dont les choses auraient pu être — des possibilités maximales abstraites — rejetant les mondes concrets de Lewis tout en conservant les avantages explicatifs des mondes pour la modalité et le contenu.
History
Les descriptions d'état de Carnap et les discussions de Leibniz sur les mondes possibles ont anticipé cette idée, mais la sémantique rigoureuse a émergé avec les modèles relationnels de Kripke en 1963. Les philosophes se sont ensuite divisés sur la métaphysique : le réalisme modal de Lewis (1986) considère les mondes comme concrets, tandis que Stalnaker et d'autres défendent des mondes 'ersatz' abstraits.
Debates
- Mondes concrets vs. mondes abstraits
- La question de savoir si les mondes sur lesquels la sémantique quantifie sont des univers spatio-temporels concrets ou des substituts abstraits tels que des ensembles maximaux cohérents de propositions, et quelle interprétation rend la sémantique véritablement explicative.
Key figures
- Saul Kripke
- David Lewis
- Robert Stalnaker
- Jaakko Hintikka
- Rudolf Carnap
Related topics
Seminal works
- kripke1963
- lewis1986plurality
Frequently asked questions
- La sémantique des mondes possibles exige-t-elle de croire en d'autres mondes ?
- Non. La sémantique est un outil formel, et la plupart des philosophes qui l'utilisent nient l'existence d'autres mondes concrets. Ils interprètent les 'mondes' comme des objets abstraits — des manières dont les choses auraient pu être — de sorte que la quantification sur les mondes est une manière perspicace de parler des possibilités sans extravagance ontologique.