Ruth Barcan Marcus

Ruth Barcan Marcus (born Ruth Charlotte Barcan; August 2, 1921 – February 19, 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic, introducing the schema known as the Barcan formula and the "box" operator for necessity. Her work, initially published as Ruth C. Barcan, is considered highly original, influential, and true by many scholars. Marcus's academic career included positions at Northwestern University, Roosevelt University, and the University of Illinois Chicago, before she became the Reuben Post Halleck Professor of Philosophy at Yale University until her retirement in 1992. She continued teaching as a professor emerita at the University of California, Irvine. She also held significant leadership roles, including chairing the board of officers for the American Philosophical Association and serving as president of the Association for Symbolic Logic and the Institut International de Philosophie. Her philosophical contributions extended to direct reference theory, where she proposed that proper names function as mere "tags." She also formally proved the necessity of identity, rejecting the possibility of contingent identity. Marcus explored the semantics of quantified modal logic, advocated for an interpretation that comprises individual entities in the actual world, and argued against possibilia. In ethics, she defined a consistent set of moral principles as one obeyable in some possible world, even if they conflict in the actual world. Her work on belief proposed a relationship between an agent and a possible state of affairs, differing from purely language-centered accounts. Regarding essentialism, she argued that modal semantics is not necessarily committed to essentialist truths. She also developed a substitutional quantification semantics, demonstrating its validity and potential use in areas like mathematics and fictional discourse.