The formal principle known as the Barcan formula emerged from the early work of Ruth Barcan Marcus, who introduced the first axiomatic systems of quantified modal logic. Operating within the landscape of twentieth-century analytic philosophy, she established foundational concepts in modal and philosophical logic that continue to inform current academic discourse regarding reference and necessity.
Academic Foundations and Career
Born in the Bronx in 1921, Ruth Charlotte Barcan completed her undergraduate studies at New York University in 1941, where she focused on mathematics and philosophy. She pursued graduate education at Yale University, earning an M.A. in 1942 and a PhD in 1946. Her professional tenure included appointments at Northwestern University, Roosevelt University in Chicago, and the University of Illinois Chicago. In 1973, she joined the faculty at Yale University as the Reuben Post Halleck Professor of Philosophy, a position she held until her retirement in 1992 as a professor emerita.
Contributions to Modal Logic
Marcus developed the initial systems of quantified modal logic, extending propositional systems to first and second-order logic. Her 1946 and 1947 publications in the Journal of Symbolic Logic, including 'A Functional Calculus of First Order Based on Strict Implication', introduced the Barcan formula and established the necessity of identity. She also introduced the standard box operator used to denote necessity within these formal systems.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Theories of Reference and Belief
In the philosophy of language, Marcus proposed a direct reference theory arguing that proper names function as mere tags for objects, rather than sets of descriptions. This view contrasted with existing theories of proper names prevalent at the time. Furthermore, her work on belief suggests that it constitutes a relationship between an agent and a state of affairs, rejecting purely language-centered accounts of cognition in favor of behavioral markers such as betting.
Professional Recognition and Membership
Throughout her career, Marcus held various leadership roles, serving as chair of the board of officers for the American Philosophical Association from 1976 to 1983. She was president of the Association for Symbolic Logic and the Institut International de Philosophie. She held a Guggenheim Fellowship in 1953 and was a member of the American Academy of Arts and Sciences. Her honors include the Wilbur Cross Medal and the Carus Lectures in 2000, the Philip L. Quinn Prize in 2007, and the Lauener Prize in 2008.
Fast facts
- Born: 1921, The Bronx
- Died: 2012, New Haven
- Educated at: Yale University; New York University
- Notable work: Barcan formula
- Notable work: Necessity of identity
- Award: Guggenheim Fellowship (1953)
- Award: Wilbur Cross Medal (2000)
- Professional role: President, Association for Symbolic Logic
Questions readers ask
What is the Barcan formula?
It is a principle introduced by Marcus in her early work on quantified modal logic, first appearing in her 1946 publications.
How did Marcus define proper names?
She argued that proper names function as direct 'tags' for objects, rejecting the theory that they are composed of descriptive content.
Where did Ruth Barcan Marcus teach?
She held faculty positions at Northwestern University, Roosevelt University, the University of Illinois Chicago, and Yale University.
Achievements
- Wilbur Cross Medal — 2000
- Philip L. Quinn Prize — 2007
- Lauener Prize — 2008
- Notable work: Barcan formula
- Notable work: necessity of identity
- Held posts at Yale University, University of Illinois Chicago and Northwestern University
