When searching here, you will find physical books, physical journals, and some e-books and streaming media. If you are looking for our full online resources please go to our Online Resources or search using our full Library Catalog.
Ruth Barcan Marcus
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. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – ''true''".
Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Barcan, Ruth', query time: 0.01s
Refine Results