Recent from talks
Ruth Barcan Marcus
Knowledge base stats:
Talk channels stats:
Members stats:
Ruth Barcan Marcus
Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; 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".
Ruth Barcan (as she was known before marrying the physicist Jules Alexander Marcus in 1942) graduated magna cum laude from New York University in 1941, majoring in mathematics and philosophy. She then went to graduate school at Yale, obtaining her M.A. in 1942 and her PhD in 1946.
Marcus was a visiting professor at Northwestern University from 1950 until 1953 and, again, in 1959. She served as assistant, and then as associate, professor at the newly founded Roosevelt University, Chicago, between 1956 and 1963. From 1964 to 1970, she was a professor of philosophy at the University of Illinois Chicago (originally serving as a head of department). She was professor of philosophy at Northwestern University from 1970 until 1973, when she was appointed as the Reuben Post Halleck Professor of Philosophy at Yale University until retiring, as a professor emerita, in 1992. She continued to teach, during winter semesters, at the University of California, Irvine until 1997.
Amongst other professional offices held during her career, Marcus served as chair of the board of officers for the American Philosophical Association (1976–83) and as president of both the Association for Symbolic Logic (1983–86) and then of the Institut International de Philosophie (1989–92).
The widely discussed Barcan formula is introduced as an axiom in QML. In her earliest published work, the publication of the first axiomatic study of modal logic with quantifiers, Marcus published under her maiden name Ruth C. Barcan. It features these three articles: "A Functional Calculus of First Order Based on Strict Implication", Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication" (JSL, 1946), and "The Identity of Individuals in a Strict Functional Calculus of Second Order", (JSL, 1947).
The first systems of quantified modal logic, which extended some propositional modal systems of Clarence Irving Lewis to first and second order; the papers of 1946 and 1947, were a major accomplishment in the development of 20th century logic.
Lewis gives Marcus special recognition in his "Notes on the Logic of Intension", originally printed in Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer (New York, 1951). Here Lewis recognizes Barcan Marcus as the first logician to extend propositional logic as a higher order intensional logic.
Marcus proposed the view in the philosophy of language according to which proper names are what Marcus termed mere "tags" ("Modalities and Intensional Languages" (Synthese, 1961) and elsewhere). According to her tag theory of names (a direct reference theory), these "tags" are used to refer to an object, which is the bearer of the name. The meaning of the name is regarded as exhausted by this referential function. This view contrasts for example with Bertrand Russell's description theory of proper names as well as John Searle's cluster description theory of names which prevailed at the time. This view of proper names (presented in 1962 with Willard Van Orman Quine as commentator) has been identified by Quentin Smith with the theory of reference given in Saul Kripke's Naming and Necessity. However, in a recent laudatio to Ruth Barcan Marcus, Professor Timothy Williamson says:
Hub AI
Ruth Barcan Marcus AI simulator
(@Ruth Barcan Marcus_simulator)
Ruth Barcan Marcus
Ruth Barcan Marcus (/ˈbɑːrkən ˈmɑːrkəs/; 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".
Ruth Barcan (as she was known before marrying the physicist Jules Alexander Marcus in 1942) graduated magna cum laude from New York University in 1941, majoring in mathematics and philosophy. She then went to graduate school at Yale, obtaining her M.A. in 1942 and her PhD in 1946.
Marcus was a visiting professor at Northwestern University from 1950 until 1953 and, again, in 1959. She served as assistant, and then as associate, professor at the newly founded Roosevelt University, Chicago, between 1956 and 1963. From 1964 to 1970, she was a professor of philosophy at the University of Illinois Chicago (originally serving as a head of department). She was professor of philosophy at Northwestern University from 1970 until 1973, when she was appointed as the Reuben Post Halleck Professor of Philosophy at Yale University until retiring, as a professor emerita, in 1992. She continued to teach, during winter semesters, at the University of California, Irvine until 1997.
Amongst other professional offices held during her career, Marcus served as chair of the board of officers for the American Philosophical Association (1976–83) and as president of both the Association for Symbolic Logic (1983–86) and then of the Institut International de Philosophie (1989–92).
The widely discussed Barcan formula is introduced as an axiom in QML. In her earliest published work, the publication of the first axiomatic study of modal logic with quantifiers, Marcus published under her maiden name Ruth C. Barcan. It features these three articles: "A Functional Calculus of First Order Based on Strict Implication", Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication" (JSL, 1946), and "The Identity of Individuals in a Strict Functional Calculus of Second Order", (JSL, 1947).
The first systems of quantified modal logic, which extended some propositional modal systems of Clarence Irving Lewis to first and second order; the papers of 1946 and 1947, were a major accomplishment in the development of 20th century logic.
Lewis gives Marcus special recognition in his "Notes on the Logic of Intension", originally printed in Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer (New York, 1951). Here Lewis recognizes Barcan Marcus as the first logician to extend propositional logic as a higher order intensional logic.
Marcus proposed the view in the philosophy of language according to which proper names are what Marcus termed mere "tags" ("Modalities and Intensional Languages" (Synthese, 1961) and elsewhere). According to her tag theory of names (a direct reference theory), these "tags" are used to refer to an object, which is the bearer of the name. The meaning of the name is regarded as exhausted by this referential function. This view contrasts for example with Bertrand Russell's description theory of proper names as well as John Searle's cluster description theory of names which prevailed at the time. This view of proper names (presented in 1962 with Willard Van Orman Quine as commentator) has been identified by Quentin Smith with the theory of reference given in Saul Kripke's Naming and Necessity. However, in a recent laudatio to Ruth Barcan Marcus, Professor Timothy Williamson says:
Recent media