Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) 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.
Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) 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.
Source: Wikipedia "Ruth Barcan Marcus" · CC BY-SA 4.0
Share this article: X · Bluesky