Ruth Barcan Marcus

Philosophe et logicienne américaine (New York 1921).

Elle a étendu la logique modale au calcul des prédicats et a édifié une logique modale quantifiée. Elle a écrit notamment The Logical Enterprise (1975).