Ruth Barcan Marcus , filósofa y lógica estadounidense (n. 1921)
Ruth Barcan Marcus (nacida como Ruth Charlotte Barcan; 2 de agosto de 1921 - 19 de febrero de 2012) fue una filósofa y lógica académica estadounidense mejor conocida por su trabajo en lógica modal y filosófica. Desarrolló los primeros sistemas formales de lógica modal cuantificada y, al hacerlo, introdujo el esquema o principio conocido como fórmula de Barcan. (Ella también introduciría el ahora estándar operador de "caja" por necesidad en el proceso). Marcus, quien publicó originalmente como Ruth C. Barcan, fue, como señala Don Garrett, "uno de los filósofos-lógicos más importantes e influyentes del siglo XX". . Timothy Williamson, en una celebración de 2008 de la larga carrera de Marcus, afirma que muchas de sus "ideas principales no son solo originales, inteligentes, hermosas, fascinantes, influyentes y muy adelantadas a su tiempo, sino que en realidad, creo - cierto".