Google
×

Ruth Barcan Marcus

American philosopher and logician
Ruth Barcan Marcus 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... Wikipedia
Born: August 2, 1921, New York, NY
Died: February 19, 2012 (age 90 years), New Haven, CT
Books: Modalities
Main interests: Formal logic
Notable ideas: Quantified modal logic, Barcan formula, necessity of identity, tag theory of names