Ruth Barcan MarcusWcześniejsze prace publikowała pod nazwiskiem panieńskim Barcan. (ur. 2 sierpnia 1921 w Nowym Jorku, zm. 19 lutego 2012 w New Haven) – amerykańska filozof analityczna, logik i filozof logiki. Zajmuje się przede wszystkim logiką modalną i związanymi z nią zagadnieniami filozoficznymi, a także pewnymi szczegółowymi zagadnieniami etycznymi, ontologicznymi i epistemologicznymi.
Do najważniejszych osiągnięć Ruth Barcan Marcus należy istotny udział w stworzeniu modalnej logiki predykatów (modalnej logiki kwantyfikatorów – por. klasyczny rachunek kwantyfikatorów), tj. pierwszych systemów logiki modalnej obejmujących kwantyfikatory i predykaty jako elementy ich języka. Od jej nazwiska pochodzi termin formuła Barcan. Dla filozofii Ruth Barcan Marcus kluczowe są natomiast (analizowane przeważnie na gruncie logiki modalnej z kwantyfikatorami) problemy związane z esencjalizmem, identycznością i jej wariantami oraz possibiliami.
Życiorys Studiowała (jako undergraduate) na Uniwersytecie Nowojorskim. Tam też w 1941 uzyskała (BA). W czasie studiów prowadziła badania nad logiką matematyczną pod kierunkiem J.C.C. McKinseya. Następnie przeniosła się na Uniwersytet Yale, gdzie studiowała jako graduate i współpracowała z Frederikiem Brentonem Fitchem. W 1946 uzyskała tam tytuł doktora.