Ruth Barcan Marcus
Photo: Michael Marsland / Yale University, CC BY 3.0, via Wikimedia Commons18

Ruth Barcan Marcus

American philosopher

Ruth Barcan Marcus (born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula.2

From Wikipedia’s article on Ruth Barcan Marcus (this version), CC BY-SA 4.0.

Born Aug 2, 1921, died Feb 19, 2012.1

About

(She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "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".

From Wikipedia’s article on Ruth Barcan Marcus, shared under CC BY-SA 4.0.2

Companies

Early life and education

  • 1946Yale University Doctor of Philosophy; philosophy3 4
  • Date not recordedNew York University3

Ruth Barcan (as she was known before marrying the physicist Jules Alexander Marcus in 1942) graduated magna cum laude from New York University in 1941, majoring in mathematics and philosophy. She then went to graduate school at Yale, obtaining her M.A. in 1942 and her PhD in 1946.

Marcus was a visiting professor at Northwestern University from 1950 until 1953 and, again, in 1959. She served as assistant, and then as associate, professor at the newly founded Roosevelt University, Chicago, between 1956 and 1963. From 1964 to 1970, she was a professor of philosophy at the University of Illinois Chicago (originally serving as a head of department). She was professor of philosophy at Northwestern University from 1970 until 1973, when she was appointed as the Reuben Post Halleck Professor of Philosophy at Yale University until retiring, as a professor emerita, in 1992. She continued to teach, during winter semesters, at the University of California, Irvine until 1997.

Amongst other professional offices held during her career, Marcus served as chair of the board of officers for the American Philosophical Association (1976–83) and as president of both the Association for Symbolic Logic (1983–86) and then of the Institut International de Philosophie (1989–92).

From Wikipedia’s article on Ruth Barcan Marcus (this version), CC BY-SA 4.0.

Career

Occupation: writer, philosopher, logician.7

Known for: necessity of identity, Barcan formula.8

Personal life

  • BornAug 2, 1921, The Bronx9
  • DiedFeb 19, 2012, New Haven10
  • CitizenshipUnited States11

Awards

  • 2008Lauener Prize12 16
  • 2007Philip L. Quinn Prize12 15
  • 2000Carus Lectures12 13
  • 2000Wilbur Cross Medal12 14
  • 1953Guggenheim Fellowship12
  • Date not recordedFellow of the American Academy of Arts and Sciences12