Ruth Barcan Marcus
Ruth Barcan Marcus is the philosopher and logician after whom the Barcan formula is named. She is a Senior Research Scholar at Yale University and a Visiting Professor (for one term per year) at the University of California, Irvine.
She got her PhD in 1946 from Yale University.
In 1992, she was one of twenty philosophers who signed a letter to the University of Cambridge to protest its controversial award of an honorary doctorate to Jacques Derrida.
She has written or edited the following books:
- The Logical Enterprise, ed. with A. Anderson, R. Martin, Yale, 1995
- Logic, Methodology and Philosophy of Science, VII, eds. R. Barcan Marcus et al., North Holland, 1986
- Modalities: Philosophical Essays, Oxford University Press, 1993. Paperback; 1995
In his 1995 paper, Marcus, Kripke, and the Origin of The New Theory of Reference, Quentin Smith made the case that Saul Kripke had taken credit for several ideas without properly crediting Ruth Barcan Marcus.
