Modalities and Intensional Languages (Modalités et langages intensionnels)

Introduction

Marcus publia l’article dans Synthese et le présenta au Colloque de Boston de philosophie des sciences, où Quine répondit et où suivit une discussion avec Saul Kripke et Dagfinn Føllesdal ; l’échange imprimé est l’un des plus célèbres de la logique du XXe siècle. Contre l’idée de Quine selon laquelle la logique modale est confuse, elle soutient que les noms propres ordinaires fonctionnent comme de simples « étiquettes » : ils réfèrent directement, sans décrire, de sorte que remplacer un nom d’une chose par un autre ne pose aucun problème dans les contextes modaux, et qu’une identité vraie entre des noms (a = b) vaut nécessairement. Ces idées anticipent la théorie de la référence directe associée à La Logique des noms propres de Kripke (1970/1980) ; en 1994, un article de Quentin Smith déclencha une querelle publique sur la priorité.

Autres œuvres de Ruth Barcan Marcus

• 1946A Functional Calculus of First Order Based on Strict Implication (Un calcul fonctionnel du premier ordre fondé sur l’implication stricte)