[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".
Luego fue a la escuela de posgrado en Yale, obteniendo su maestría en 1942 y su doctorado en 1946.
Se presentan tres artículos: A Functional Calculus of First Order Based on Strict Implication [Un cálculo funcional de primer orden basado en una implicación estricta], Journal of Symbolic Logic (JSL, 1946), The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication [El teorema de la deducción en un cálculo funcional de primer orden basado en una implicación estricta] (JSL, 1946), y The Identity of Individuals in a Strict Functional Calculus of Second Order [La identidad de los individuos en un cálculo funcional estricto de segundo orden] (JSL, 1947).
Lewis le da a Marcus un reconocimiento especial en sus Notes on the Logic of Intension [Notas sobre la lógica de la intensión], impresas originalmente en Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer [Estructura, método y significado: Ensayos en honor de Henry M. Sheffer] (Nueva York, 1951).
Marcus propuso el punto de vista en la filosofía del lenguaje según el cual los nombres propios son lo que Marcus denominó meras "etiquetas" (tags)("Modalities and Intensional Languages" ( Synthese, 1961) y en otros escritos).
[9] Sin embargo, en una reciente laudatio a Ruth Barcan Marcus, el profesor Timothy Williamson afirma: El filósofo del lenguaje Stephen Neale también ha argumentado en contra de la afirmación del profesor Smith en el Times Literary Supplement.
Se rechaza el relato de la creencia totalmente centrado en el lenguaje (por ejemplo, Davidson).
[16][17] El esencialismo aristotélico se refiere a las propiedades que Marcus define en el contexto de un marco modal.
Quine y otros afirman que la lógica modal o la semántica están comprometidas con las verdades esencialistas.
La cuantificación objetiva es necesaria para interpretar la identidad y otras categorías metafísicas.