[New Entry by Roberta Ballarin on March 5, 2024.]
Ruth Barcan Marcus (1921 – 2012) was one of the most influential philosophers of the second half of the twentieth century. Her first 1946 publication contains the first published construction of formal systems of quantified modal logic.[1] Her pioneering formal work in quantified modal logic contributed crucially to the initial development of the intensional logics. It also helped to lay the foundation for the inception and blossoming of…

Originally appeared on Stanford Encyclopedia of Philosophy Read More