New York University (B.A. 1941) Yale University (M.A. 1942) Yale University (Ph.D. 1946)
Era
Contemporary philosophy
Region
Western philosophy
School
Analytic
Institutions
Northwestern University Yale University
Thesis
Strict Functional Calculus (1946)
Doctoral advisor
Frederic Fitch
Main interests
Formal logic
Notable ideas
Quantified modal logic,[1] Barcan formula, necessity of identity, tag theory of names
Ruth Barcan Marcus (/ˈbɑːrkənˈmɑːrkəs/; born Ruth Charlotte Barcan; 2 August 1921[2][3] – 19 February 2012[3]) was an American academic philosopher and logician best known for her work in modal and philosophical logic.[4] She developed the first formal systems of quantified modal logic[5] and in so doing introduced the schema or principle known as the Barcan formula.[2][3][5] (She would also introduce the now standard "box" operator for necessity in the process.)[4] Marcus, who originally published as Ruth C. Barcan,[5] was, as Don Garrett notes[2] "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".[6]
^Dagfinn Føllesdal, Referential Opacity and Modal Logic, Routledge, 2014, p. 19.
^ abcThe Dictionary of Modern American Philosophers. Thoemmes. 2005. doi:10.5040/9781350052444-0636. ISBN 9781350052444.
^ abcFox, Margalit (2012-03-13). "Ruth Barcan Marcus, Philosopher and Logician, Dies at 90". The New York Times. ISSN 0362-4331. Retrieved 2019-03-13.
^ abcWilliamson, Timothy (2013). "In Memoriam: Ruth Barcan Marcus 1921–2012" (PDF). Bulletin of Symbolic Logic. 19 (1): 123–126. doi:10.2178/bsl.1901070. ISSN 1079-8986. S2CID 124592216.
^"Leiter Reports: A Philosophy Blog: Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize". leiterreports.typepad.com. Retrieved August 19, 2016.
and 27 Related for: Ruth Barcan Marcus information
RuthBarcanMarcus (/ˈbɑːrkən ˈmɑːrkəs/; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician...
domains of possible worlds. The formulas were introduced as axioms by RuthBarcanMarcus, in the first extensions of modal propositional logic to include quantification...
RuthMarcus may refer to: RuthBarcanMarcus (1921–2012), philosopher and logician RuthMarcus (journalist) (born 1958), opinion columnist for the Washington...
discipline. The APA's governance has included Robert Audi, Jaegwon Kim and RuthBarcanMarcus. The association has three divisions: Pacific, Central, and Eastern...
published it in 1971, although it was first derived by the logician RuthBarcanMarcus in 1947, and later, in simplified form, by W. V. O. Quine in 1953...
Longuenesse (born 1950) Penelope Maddy (born 1950) Kate Manne (born 1983) RuthBarcanMarcus (1921–2012)C O Noëlle McAfee (fl. 2014) Alison McIntyre (fl. 2014)...
propositional functions", as he wrote in The Analysis of Matter. Ruth C. Barcan (later RuthBarcanMarcus) developed the first axiomatic systems of quantified modal...
philosophers including Barry Smith, W. V. O. Quine, David Armstrong, RuthBarcanMarcus, René Thom, and twelve others, published a letter of protestation...
language, Naming and Necessity is among the most important works ever." RuthBarcanMarcus also challenged descriptivism. So did Keith Donnellan. Hilary Putnam...
John Stuart Mill defended a form of this view, and Saul Kripke and RuthBarcanMarcus have both defended the application of direct reference theory to proper...
Jean Buridan by analogy with the Barcan formula and the converse Barcan formula introduced as axioms by RuthBarcanMarcus. The Buridan formula is: ◊ ∀ x...
MacIntyre Louis H. Mackey Ruth Macklin James Madison Robert Magliola Norman Malcolm David Manley Jesse Mann RuthBarcanMarcus Joseph Margolis Don Marquis...
Alice Ambrose (1906-2001) Atocha Aliseda-Llera (Mexico, born 1964) RuthBarcanMarcus Susanne Bobzien Marjorie Lee Browne Marta Bunge Agata Ciabattoni Valeria...
against descriptivist theories of reference, building on the work of RuthBarcanMarcus. At the time of Kripke's lectures, the dominant theory of reference...
retirement in 1977. His doctoral students include Alan Ross Anderson, RuthBarcanMarcus, and William W. Tait. Fitch was the inventor of the Fitch-style calculus...
were first presented (at least in part) by RuthBarcanMarcus. Kripke is alleged to have misunderstood Marcus' ideas during a 1969 lecture which he attended...
including Barry Smith, Willard Van Orman Quine, David Armstrong, RuthBarcanMarcus, and René Thom, then sent a letter to Cambridge claiming that Derrida's...
philosopher Dror Bar-Natan (born 1966), knot theory and homology theory RuthBarcanMarcus (1921–2012), logician Grigory Barenblatt (1927–2018), mathematician...
Ollie Matson, American sprinter and football player (b. 1930) 2012 – RuthBarcanMarcus, American philosopher and logician (b. 1921) 2012 – Jaroslav Velinský...
McDowell Colin McGinn Merab Mamardashvili RuthBarcanMarcus José Medina Maurice Merleau-Ponty John Stuart Mill Ruth Millikan Richard Montague Charles W. Morris...
Urmson (born 1915) February 9 - John Hick (born 1922) February 19 - RuthBarcanMarcus (born 1921) February 19 - Frits Staal (born 1930) March 16 - Peter...
the work of RuthBarcanMarcus more than a decade earlier. Smith identified six significant ideas in the New Theory that he claimed Marcus had developed:...
at all, because senses only offer contingent facts about things. RuthBarcanMarcus advanced a theory of direct reference for proper names at a symposium...
commonly referred to as substitutional quantification) was advocated by RuthBarcanMarcus for modal logics in the early 1960s and later championed by J. Michael...