Ruth Barcan Marcus , philosophe et logicienne américaine (née en 1921)
Ruth Barcan Marcus (; née Ruth Charlotte Barcan ; 2 août 1921 - 19 février 2012) était une philosophe et logicienne universitaire américaine surtout connue pour son travail en logique modale et philosophique. Elle a développé les premiers systèmes formels de logique modale quantifiée et a ainsi introduit le schéma ou principe connu sous le nom de formule de Barcan. (Elle introduirait également l'opérateur "boîte" désormais standard pour la nécessité dans le processus.) Marcus, qui a initialement publié sous le nom de Ruth C. Barcan, était, comme le note Don Garrett "l'un des philosophes-logiciens les plus importants et les plus influents du XXe siècle". . Timothy Williamson, dans une célébration de la longue carrière de Marcus en 2008, déclare que bon nombre de ses "idées principales ne sont pas seulement originales, intelligentes, belles, fascinantes, influentes et bien en avance sur leur temps, mais en fait - je crois - vrai".