Ruth Barcan Marcus, American philosopher and logician (born 1921)

Ruth Barcan Marcus

American philosopher

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 known as the Barcan formula. Marcus,…