Ruth Barcan Marcus, filósofa e lógica americana (n. 1921)
Ruth Barcan Marcus (; nascida Ruth Charlotte Barcan; 2 de agosto de 1921 - 19 de fevereiro de 2012) foi uma filósofa e lógica acadêmica americana mais conhecida por seu trabalho em lógica modal e filosófica. Ela desenvolveu os primeiros sistemas formais de lógica modal quantificada e, ao fazê-lo, introduziu o esquema ou princípio conhecido como fórmula de Barcan. (Ela também introduziria o operador "caixa" agora padrão para necessidade no processo.) Marcus, que originalmente publicou como Ruth C. Barcan, foi, como Don Garrett observa, "um dos filósofos-lógicos mais importantes e influentes do século XX" . Timothy Williamson, em uma celebração de 2008 da longa carreira de Marcus, afirma que muitas de suas "ideias principais não são apenas originais, inteligentes, bonitas, fascinantes, influentes e muito à frente de seu tempo, mas na verdade - eu acredito - verdadeiro".