Ruth Barcan Marcus (August 2, 1921 – February 19, 2012) was an American philosopher and logician who developed the Barcan formula. She was a pioneering figure in the quantification of modal logic and the theory of direct reference. She wrote seminal papers on identity, essentialism, possibilia, belief, moral conflict as well as some critical historical studies.
Read more about Ruth Barcan Marcus: Education, Academic Appointments, Professional Offices and Service (partial List), Awards and Recognitions, Books (written or Edited)