Logique modale quantifiée et essentialisme
Lorsque les quantificateurs et les opérateurs modaux interagissent, la logique doit aborder la question de savoir si les objets possèdent des propriétés de manière nécessaire — l'essentialisme — et comment interpréter la quantification à travers les mondes possibles.
Definition
La logique modale quantifiée combine la quantification du premier ordre avec des opérateurs modaux ; l'essentialisme est la thèse selon laquelle les objets possèdent certaines de leurs propriétés de manière nécessaire (de re), indépendamment de la manière dont ils sont décrits.
Scope
Ce sujet couvre l'extension de la logique modale avec les quantificateurs et l'identité, ainsi que les engagements métaphysiques que cela génère. Il traite des formules de Barcan et de sa réciproque, du choix entre les sémantiques à domaine constant et à domaine variable, du problème de l'identité et de l'existence à travers les mondes, des objections de Quine à la modalité de re, et de la défense par Kripke de l'essentialisme et de la désignation rigide.
Core questions
- Comment les quantificateurs et les opérateurs modaux devraient-ils interagir, et la formule de Barcan est-elle valide ?
- Le domaine des individus doit-il être fixe à travers les mondes ou varier ?
- La modalité de re est-elle intelligible, ou s'effondre-t-elle sous les objections de Quine ?
- Quelles propriétés, le cas échéant, les objets possèdent-ils de manière essentielle ?
Key concepts
- La formule de Barcan et sa réciproque
- domaines constants vs. variables
- identité transmondaine
- désignation rigide
- modalité de re vs. de dicto
- propriétés essentielles vs. accidentelles
Key theories
- Essentialisme et désignation rigide
- Kripke soutient que les noms propres sont des désignateurs rigides qui désignent le même objet dans chaque monde, ce qui rend les affirmations modales de re cohérentes et soutient les vérités nécessaires concernant l'origine et la constitution.
- La critique de Quine de la modalité de re
- Quine soutient que la quantification dans des contextes modaux est inintelligible car la substitution de termes co-référentiels peut modifier la valeur de vérité ; l'essentialisme exigerait donc une distinction contestable entre les traits nécessaires et accidentels d'un objet.
History
Ruth Barcan Marcus a initié la logique modale quantifiée en 1946-1947, prouvant des résultats sur l'identité et introduisant la formule de Barcan. Quine a attaqué l'ensemble de l'entreprise comme étant engagée dans un essentialisme inintelligible, mais Naming and Necessity (1980) de Kripke a réhabilité la modalité de re par la désignation rigide et la nécessité de l'identité, rendant l'essentialisme de nouveau respectable.
Debates
- La modalité de re est-elle cohérente ?
- La question de savoir si l'attribution de propriétés nécessaires aux objets indépendamment de leur description est intelligible, comme l'implique la désignation rigide de Kripke, ou si Quine a raison de dire qu'un tel discours présuppose un essentialisme indéfendable.
Key figures
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
Related topics
Seminal works
- barcan1947
- quine1953reference
- kripke1980
Frequently asked questions
- Qu'est-ce que la formule de Barcan ?
- La formule de Barcan stipule que s'il est possible que quelque chose soit F, alors il existe quelque chose qui est possiblement F — déplaçant le quantificateur existentiel en dehors de l'opérateur de possibilité. Elle et sa réciproque sont valides dans les sémantiques à domaine constant mais échouent lorsque les domaines varient à travers les mondes, ce qui explique leur pertinence pour déterminer si les mêmes individus existent dans chaque monde possible.