Ruth Barcan nacque a New York nel 1921[1] e si laureò alla New York University nel 1941, specializzandosi in matematica e filosofia. Ha poi frequentato la scuola di specializzazione a Yale, ottenendo il Master nel 1942 e il PhD nel 1946.[2]
Insegnò alla Northwestern University dal 1950 al 1953 e, ancora, nel 1959. Ed in seguito divenne professore associato presso la neonata Roosevelt University, tra il 1956 e il 1963. Dal 1964 al 1970, fu professore di filosofia all'Università dell'Illinois a Chicago (originariamente in servizio come capo dipartimento), e nuovamente professoressa di filosofia alla Northwestern University dal 1970 al 1973, quando venne nominata Reuben Post Halleck Professor of Philosophy alla Yale University, fino al ritiro, come professore emerito, nel 1992. In seguito continuò ad insegnare, durante i semestri invernali, presso l'Università della California, Irvine, fino al 1997.[3]
Tra gli altri incarichi professionali ricoperti durante la sua carriera, Marcus è stata presidente del consiglio di amministrazione dell'American Philosophical Association (1976–83) e presidente sia dell'Association for Symbolic Logic (1983–86), che dell'Institut International de philosophie (1989–92).[3][2]
Vita privata
Durante i suoi anni di studio a Yale, nel 1942, sposò il fisico Jules Alexander Marcus.[2]
Attività
Logica modale quantificata
La formula di Barcan, venne introdotta come assioma in QML.[4] Preferì sempre un'interpretazione in cui il dominio dell'interpretazione comprende le entità individuali nel mondo reale. Suggerì anche che per alcuni usi è giustificata una semantica sostitutiva alternativa.[4]
Propose la visione nella filosofia del linguaggio secondo cui i nomi propri sono semplici "tag". Secondo la sua teoria dei nomi dei tag (una teoria del riferimento diretto), questi "tag" sono usati per riferirsi a un oggetto, che è il portatore del nome. Il significato del nome è considerato esaurito da questa funzione referenziale. Questo punto di vista contrasta, ad esempio, con la teoria della descrizione dei nomi propri di Bertrand Russell e con la teoria della descrizione a grappolo dei nomi di John Searle che prevaleva all'epoca. Questa visione dei nomi propri (presentata nel 1962 con Willard Van Orman Quine come commentatore) è stata identificata da Quentin Smith con la teoria del riferimento data in Naming and Necessity di Saul Kripke.
Quantificazione sostitutiva
Un'alternativa alla semantica tarskiana (teoria del modelli) è proposta per alcuni usi in cui "le condizioni di verità per le formule quantificate sono date puramente in termini di verità senza fare appello ai domini dell'interpretazione". Questa è stata chiamata " semantica del valore di verità ". Marcus mostra che l'affermazione che una tale semantica porti a contraddizioni è falsa. Tale semantica può essere di interesse per la matematica o per il discorso di fantasia. La quantificazione oggettuale è necessaria per l'interpretazione dell'identità e di altre categorie metafisiche.
Libri
(EN) Ruth Barcan Marcus, Logic, Methodology and Philosophy of Science, 1986.