Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at the old blog archive. LogBlog has moved to richardzach.org.

If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Wed, 03/14/2012 - 9:49am

Ruth Barcan Marcus died February 19. She was a towering figure in philosophical logic in the latter half of the 20th century. She initiated the study of quantified modal logic in her 1946 JSL paper, "A functional calculus of first order based on strict implication". Facing strong opposition from Quine, who thought quantified modal logic was incoherent, her work was only taken up years later. It is now recognized as the seminal contribution that it was.

Obituaries:

Tim Williamson's excellent laudatio on the occasion of the award of the Lauener Prize for Outstanding Oevre to Barcan Marcus is here.

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"

## Comments

That's a nice picture of Ruth, Richard, one I had not seen before. Where did you find it?