Ruth Barcan Marcus
La logique peut raisonner sur ce qui est possible et nécessaire, et un nom propre n’est qu’une étiquette pour une chose, non une description cachée de celle-ci.
Repères
Logicienne qui publia en 1946, en même temps que Carnap, l’un des premiers systèmes combinant quantificateurs et opérateurs modaux : la « formule de Barcan » et sa conception des noms propres comme simples « étiquettes » sans contenu descriptif ont anticipé des théories ultérieures de la référence.
Idées clés
- Logique modale quantifiée
- Formule de Barcan
- Les noms comme étiquettes
Ouvrir dans la carte stellaire
Influence
A influencé 1
Saul Kripke
a influencé contesté
Kripke’s models for quantified modal logic (1959, 1963) took up Barcan’s systems and formula (1946); whether rigid designation derives from her ‘tags’ (1961) is disputed. R. C. Barcan, “A Functional Calculus of First Order Based on Strict Implication”, Journal of Symbolic Logic 11 (1946); R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961); S. A. Kripke, “Semantical Considerations on Modal Logic” (1963); Naming and Necessity (lectures 1970; publ. 1972, 1980); Q. Smith and S. Soames, Synthese 104 (1995); SEP “Ruth Barcan Marcus”
Attestation: brouillon IA
Saul Kripke › 1940–2022
Critique
Critique réciproque 1
Willard Van Orman Quine ⇄ réciproque
a critiqué
Against Quine, Barcan Marcus argued that quantified modal logic is coherent: proper names are mere ‘tags’, and identities between them hold necessarily (‘Modalities and Intensional Languages’, 1961). R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961), 303–322, with Quine’s comments (Boston Colloquium)
Attestation: brouillon IA
critiqué par
Quine objected that quantified modal logic, which Barcan Marcus first formalised (1946), founders on referential opacity and commits one to ‘Aristotelian essentialism’ (‘Reference and Modality’, 1953). W. V. O. Quine, “Reference and Modality”, in From a Logical Point of View (1953); “Three Grades of Modal Involvement” (1953); R. C. Barcan, Journal of Symbolic Logic 11 (1946)
Attestation: brouillon IA
Willard Van Orman Quine › 1908–2000
Œuvres
Le premier système publié de logique modale quantifiée – contenant la formule qui porte aujourd’hui son nom.
Les noms propres sont de simples étiquettes ; l’identité est nécessaire – une défense de la logique modale contre les objections de Quine.
Position
Ses articles de 1946 donnèrent les premiers systèmes de logique modale quantifiée, combinant nécessité et possibilité avec les quantificateurs ; la « formule de Barcan », qui dit que s’il est possible que quelque chose ait une propriété, alors quelque chose l’a possiblement, devint un sujet classique. Quine soutint que quantifier dans des contextes modaux était incohérent ; Marcus le défendit. Dans « Modalities and Intensional Languages », elle proposa que les noms propres sont de simples « étiquettes » sans signification descriptive, de sorte que les énoncés d’identité entre noms, s’ils sont vrais, sont nécessairement vrais – une vue proche de ce que Kripke rendit plus tard célèbre sous le nom de désignation rigide ; la question de la priorité a été débattue.
Vie et contexte
Ruth Barcan Marcus (1921–2012) naquit à New York, étudia les mathématiques et la philosophie à l’université de New York et passa son doctorat à Yale auprès de Frederic Fitch en 1946. Elle enseigna à la Roosevelt University, à l’université de l’Illinois à Chicago et à Northwestern avant de retourner à Yale en 1973. Elle fut membre fondatrice et présidente du Conseil national de l’Association philosophique américaine et active dans des organisations internationales de logique.
Autres œuvres principales
- A Functional Calculus of First Order Based on Strict Implication (traduction propre : « Un calcul fonctionnel du premier ordre fondé sur l’implication stricte », 1946)
- Modalities and Intensional Languages (traduction propre : « Modalités et langages intensionnels », 1961)
- Moral Dilemmas and Consistency (traduction propre : « Dilemmes moraux et cohérence », 1980)
- Modalities: Philosophical Essays (traduction propre : « Modalités : essais philosophiques », 1993)
Apparaît dans
- Voyage « De Gargi à Oluwole » · Étape 9 sur 10
État en novembre 2026 · Sources · Améliorer cette page · Comment Agora est faite