I’m sure there will be obituaries and remembrances to post very soon. For now, we’re just noting the sad news of Ruth Barcan Marcus’s death. She did amazing work, and rose to the top in the most male-dominated areas of the subject, when even very open discrimination was legal.