Necessity Has a History, and It Begins with a Woman: Ruth Barcan Marcus and the Politics of Attribution

Abstract Ruth Barcan Marcus (1921–2012) produced the first formal systems of quantified modal logic, proved the necessity of identity, and articulated a direct-reference theory of proper names more than a decade before these ideas entered the analytic canon under other names. This paper argues that the philosophical significance of her work has been systematically underrepresented, and that this underrepresentation is structurally connected to the conditions under which she worked. The paper examines the philosophical content and disciplinary consequences of the Barcan formula, the necessity of identity, and the tag theory of names; reconstructs the priority dispute over direct reference; and considers the mechanisms by which foundational contributions are absorbed into a canon that suppresses their origin. The recovery of Marcus is not supplementary to the history of analytic philosophy; it is a revision of that history at its foundations.