Ruth Barcan Marcus

Ruth Barcan Marcus (2 de agosto de 1921-19 de febrero de 2012) fue una filósofa, lógica y 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. (También introdujo el estándar operador de "caja" por necesidad en el proceso). 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". proporcionado por Wikipedia