Ruth Barcan Marcus was an American philosopher and logician who developed the Barcan formula. She was a pioneer of modal logic and the theory of direct reference.