Ruth Barcan Marcus

Ruth Barcan Marcus fue una filósofa y lógica académica estadounidense 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.. Marcus, quien publicó originalmente como Ruth C. Barcan, fue, como señala Don Garrett "una de las filósofas-lógicas más importantes e influyentes del siglo XX". Timothy Williamson, en una ceremonia de 2008 para celebrar la extensa carrera de Marcus, afirma que muchas de sus "ideas principales no solo son originales, e inteligentes, y bellas, y fascinantes, e influyentes, y muy adelantadas a su tiempo, sino que realmente -creo- son verdaderas".