Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician...

Ruth Marcus may refer to: Ruth Barcan Marcus (1921–2012), philosopher and logician Ruth Marcus (journalist) (born 1958), former opinion columnist for the...

domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification...

discipline. The APA's governance has included Robert Audi, Jaegwon Kim and Ruth Barcan Marcus. The association has three divisions: Pacific, Central, and Eastern...

published it in 1971, although it was first derived by the logician Ruth Barcan Marcus in 1947, and later, in simplified form, by W. V. O. Quine in 1953...

propositional functions", as he wrote in The Analysis of Matter. Ruth C. Barcan (later Ruth Barcan Marcus) developed the first axiomatic systems of quantified modal...

John Stuart Mill defended a form of this view, and Saul Kripke and Ruth Barcan Marcus have both defended the application of direct reference theory to proper...

Alexander Bain (UK, 1818–1903) Yehoshua Bar-Hillel (Israel, 1915–1975) Ruth Barcan Marcus (US, 1921–2012) Henk Barendregt (Netherlands, born 1947) Jon Barwise...

alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and J. Michael Dunn and Nuel Belnap. It is also called...

Longuenesse (born 1950) Penelope Maddy (born 1950) Kate Manne (born 1983) Ruth Barcan Marcus (1921–2012)C O Noëlle McAfee (fl. 2014) Alison McIntyre (fl. 2014)...

Klibansky, Tomonobu Imamichi, Giovanni Gentile, Hans-Georg Gadamer, and Ruth Barcan Marcus. The institute was founded in 1937 by representatives of the Sorbonne...

against descriptivist theories of reference, building on the work of Ruth Barcan Marcus. At the time of Kripke's lectures, the dominant theory of reference...

including Barry Smith, Willard Van Orman Quine, David Armstrong, Ruth Barcan Marcus, and René Thom, then sent a letter to Cambridge claiming that Derrida's...

philosophers including Barry Smith, W. V. O. Quine, David Armstrong, Ruth Barcan Marcus, René Thom, and twelve others, published a letter of protestation...

language, Naming and Necessity is among the most important works ever." Ruth Barcan Marcus also challenged descriptivism. So did Keith Donnellan. Hilary Putnam...

commonly referred to as substitutional quantification) was advocated by Ruth Barcan Marcus for modal logics in the early 1960s and later championed by J. Michael...

1970s and 1980s by philosophers such as Keith Donnellan, Saul Kripke, Ruth Barcan Marcus, Hilary Putnam, and David Kaplan. In the wake of these attacks on...

retirement in 1977. His doctoral students include Alan Ross Anderson, Ruth Barcan Marcus, and William W. Tait. Fitch was the inventor of the Fitch-style calculus...

(1893–1976)[a] Gabriel Marcel (1887–1973)[a][b][c][d][e] Marcion (110–160)[b] Ruth Barcan Marcus (1921–2012)[a][b][c] Herbert Marcuse (1898–1979)[a][c][d][e] Joseph...

Jean Buridan by analogy with the Barcan formula and the converse Barcan formula introduced as axioms by Ruth Barcan Marcus. The Buridan formula is: ◊ ∀ x...

that everything exists of necessity. Necessitism is associated with the Barcan formula: it is possible for something to have a property only if there is...

the Mind" 1997 Alasdair MacIntyre "Dependent Rational Animals" 1999 Ruth Barcan Marcus (Withdrew/Cancelled) 2001 Arthur Danto "The Revolt Against Beauty"...

Machinima Quantified modal logic, a modal logic originally developed by Ruth Barcan Marcus Qualified Manufacturer List, term used by the United States Department...

Zedillo Ponce de León 2000 James G. Arthur Evelyn Boyd Granville Ruth Barcan Marcus Shelley E. Taylor 1999 Francis S. Collins William N. Fenton Allen...

the work of Ruth Barcan Marcus more than a decade earlier. Smith identified six significant ideas in the New Theory that he claimed Marcus had developed:...

philosopher Dror Bar-Natan (born 1966), knot theory and homology theory Ruth Barcan Marcus (1921–2012), logician Grigory Barenblatt (1927–2018), mathematician...

"highest honor for service to the profession." Previous winners include Ruth Barcan Marcus, J.B. Schneewind, Anita Silvers, Ernest Sosa, Karen Hanson, Judith...

at all, because senses only offer contingent facts about things. Ruth Barcan Marcus advanced a theory of direct reference for proper names at a symposium...

true are a priori. But in the end of the sixties Saul Kripke and Ruth Barcan Marcus offered proof for the necessary truth of identity statements. Here...

Yale University in 1982 under the supervision of Robert Fogelin and Ruth Barcan Marcus, and taught for many years at Dartmouth College, before moving to...