Ruth Barcan Marcus was a 20th-century American logician and philosopher, a pioneer in quantified modal logic who introduced the important Barcan formula. She developed influential views on direct reference, necessity of identity, and the semantics of modal logic, challenging prevailing philosophical views of the time. Marcus was also an advocate for women in philosophy and held leadership positions in major philosophical organizations.