Ruth Barcan Marcus
filósofa estadounidense / De Wikipedia, la enciclopedia encyclopedia
Ruth Barcan Marcus (2 de agosto de 1921[1]-19 de febrero de 2012[2]) fue una filósofa, lógica y académica estadounidense, conocida por su trabajo en lógica modal y filosófica.[3] Desarrolló los primeros sistemas formales de lógica modal cuantificada[4] y, al hacerlo, introdujo el esquema o principio conocido como fórmula de Barcan.[1][4] (También introdujo el estándar operador de "caja" por necesidad en el proceso).[3] Marcus, quien publicó originalmente como Ruth C. Barcan,[4] fue, como señala Don Garrett[1] "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".[5]
Ruth Barcan Marcus | ||
---|---|---|
Información personal | ||
Nacimiento |
2 de agosto de 1921 El Bronx (Estados Unidos) | |
Fallecimiento |
19 de febrero de 2012 (90 años) New Haven (Estados Unidos) | |
Nacionalidad | Estadounidense | |
Educación | ||
Educada en |
| |
Supervisor doctoral | Frederic Brenton Fitch | |
Información profesional | ||
Ocupación | Filósofa y escritora | |
Empleador |
| |
Miembro de | ||
Distinciones |
| |