Logique modale
La logique modale ajoute des opérateurs de nécessité et de possibilité à la logique classique, fournissant l'appareil formel sous-jacent au raisonnement sur ce qui doit, pourrait, devrait ou sera le cas.
Definition
La logique modale est l'étude de l'inférence impliquant les opérateurs de nécessité et de possibilité (et leurs analogues), interprétée via des modèles dans lesquels les propositions sont évaluées par rapport à des mondes possibles connectés par une relation d'accessibilité.
Scope
Ce domaine couvre les systèmes formels de la logique modale et leur interprétation philosophique. Il aborde la sémantique des mondes possibles (Kripke), la hiérarchie standard des systèmes modaux (K, T, S4, S5) et leurs axiomes caractéristiques, l'extension de la logique modale avec des quantificateurs et son lien avec l'essentialisme et la modalité de re, ainsi que la famille des logiques intensionnelles connexes — temporelle, déontique et épistémique — qui partagent le même appareil de cadre relationnel.
Sub-topics
Core questions
- Comment les opérateurs de nécessité et de possibilité doivent-ils être interprétés, et que sont les mondes possibles ?
- Quels axiomes régissent le raisonnement modal correct, et comment correspondent-ils aux propriétés de la relation d'accessibilité ?
- Comment la modalité interagit-elle avec la quantification, l'identité et l'existence des objets à travers les mondes ?
- Les diverses logiques intensionnelles — temporelle, déontique, épistémique — peuvent-elles être unifiées sous un même cadre ?
Key concepts
- nécessité et possibilité
- mondes possibles
- relation d'accessibilité
- systèmes modaux (K, T, S4, S5)
- modalité de re vs. de dicto
- désignation rigide
Key theories
- Sémantique des mondes possibles (Kripke)
- Les propositions modales sont évaluées dans des mondes connectés par une relation d'accessibilité : 'nécessairement A' est vrai dans un monde si et seulement si A est vrai dans chaque monde accessible, et la variation des propriétés de la relation produit différents systèmes modaux.
- Réalisme modal
- Lewis soutient que les mondes possibles sont des univers concrets, mutuellement isolés, aussi réels que le monde actuel, fournissant un fondement de vérité réducteur pour les affirmations modales au prix d'une ontologie extravagante.
History
C. I. Lewis a relancé la logique modale au début du XXe siècle pour saisir l'implication stricte, mais elle manquait d'une sémantique claire jusqu'à ce que Kripke (et indépendamment Hintikka et Kanger) fournissent des modèles relationnels de mondes possibles vers 1959-1963. Cela a déclenché la métaphysique de la modalité, avec le réalisme modal de Lewis et l'actualisme de Plantinga comme théories rivales sur la nature des mondes possibles.
Debates
- L'ontologie des mondes possibles
- La question de savoir si les mondes possibles sont des univers concrets existants (le réalisme modal de Lewis) ou des entités abstraites telles que des états de choses maximaux ou des ensembles de propositions (l'actualisme), et quelle théorie fonde le mieux la vérité modale.
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- Quelle est la différence entre la modalité de re et de dicto ?
- Une affirmation modale de dicto attribue la nécessité ou la possibilité à une proposition entière ('nécessairement, tous les célibataires sont non mariés'), tandis qu'une affirmation de re attribue une propriété modale à un objet indépendamment de la façon dont il est décrit ('cet homme est nécessairement humain'). La distinction est centrale dans les débats sur l'essentialisme.