kids encyclopedia robot

Ruth Barcan Marcus facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Ruth Barcan Marcus
Marcus in 2005
Marcus in 2005
Born (1921-08-02)August 2, 1921
Died February 19, 2012(2012-02-19) (aged 90)
Nationality American
Education New York University (B.A. 1941)
Yale University (M.A. 1942)
Yale University (Ph.D. 1946)
Era Contemporary philosophy
Region Western philosophy
School Analytic
Institutions Northwestern University
Yale University
Thesis Strict Functional Calculus (1946)
Doctoral advisor Frederic Fitch
Main interests
Formal logic
Notable ideas
Quantified modal logic, Barcan formula, necessity of identity, tag theory of names

Ruth Barcan Marcus (born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American philosopher and logician. She is famous for her work in modal logic and philosophical logic. Modal logic explores ideas like necessity (what must be true) and possibility (what could be true). Philosophical logic uses logic to understand philosophical problems.

Ruth Barcan Marcus created the first formal systems for something called quantified modal logic. This is a complex way of using logic to talk about things that are necessary or possible. She also introduced the "Barcan formula," a key rule in this field. She even came up with the "box" symbol (□) that logicians still use today to mean "it is necessary that." Many experts consider her one of the most important logicians of the 20th century.

Ruth Barcan Marcus's Education and Teaching Career

Ruth Barcan (her name before she married Jules Alexander Marcus in 1942) was a brilliant student. She graduated with high honors from New York University in 1941. She studied both mathematics and philosophy.

After that, she went to Yale University for her advanced degrees. She earned her master's degree (M.A.) in 1942 and her Ph.D. in 1946.

Teaching at Universities

Marcus taught at several universities throughout her career.

Leadership in Philosophy Organizations

Ruth Barcan Marcus also held important leadership roles in major philosophical groups:

  • She chaired the Board of Officers for the American Philosophical Association (1976–1983).
  • She served as President of the Association for Symbolic Logic (1983–1986).
  • She was also President of the International Institute of Philosophy (1989–1992).

Key Ideas in Philosophy

Ruth Barcan Marcus made several important contributions to philosophy, especially in logic.

What is Quantified Modal Logic?

Marcus's early work focused on Quantified modal logic. This is a type of logic that combines ideas of "necessity" and "possibility" with statements about "all" or "some" things. She published three important articles in the Journal of Symbolic Logic in 1946 and 1947. These papers were a big step forward in 20th-century logic.

One of her key ideas, the Barcan formula, is a rule used in this type of logic. It helps explain how necessity and possibility work with groups of things.

The Idea of Necessity of Identity

Marcus also explored the idea of the necessity of identity. This means that if two things are truly the same, they must be the same in every possible situation. She formally proved this in 1946. This idea challenged some common beliefs at the time.

Understanding Moral Conflict

Marcus had an interesting view on moral conflicts. She said that a set of moral rules is "consistent" if there's at least one "possible world" where all those rules can be followed. This means that even if rules seem to clash in our world, they aren't necessarily inconsistent. Her argument went against the idea that moral rules are always bound to conflict.

What is Belief?

Marcus thought that "believing" something is a connection between a person and a possible situation. It's not just about saying you agree with a sentence. For example, how someone bets on something can also show what they believe. She disagreed with the idea that belief is only about language.

If someone thought something was true, but then found out it was impossible, Marcus suggested they should say they only claimed to believe it. This is similar to how we say we were "mistaken" if we claimed to know something that turned out to be false.

Essentialism and Properties

Aristotelian essentialism is about properties that something must have to be what it is. Marcus defined an essential property as one that:

  • Something has it.
  • Not everything has it.
  • If something has it, it has it necessarily.
  • It doesn't completely define something on its own (like being a "natural kind").

Some philosophers, like Willard Van Orman Quine, thought that modal logic had to accept these essential truths. But Marcus argued that some modal systems could exist where no essential claims were true.

Substitutional Quantification

Marcus also suggested a different way to understand how "all" or "some" statements work in logic. This is called "truth-value semantics". Instead of thinking about groups of objects, it focuses on whether statements are true or false. She showed that this approach doesn't lead to contradictions. This method can be useful for things like mathematics or talking about fictional stories.

Works by Ruth Barcan Marcus

Ruth Barcan Marcus wrote and edited several important books and many academic papers.

Books

  • The Logical Enterprise, edited with others, Yale, 1995.
  • Logic, Methodology and Philosophy of Science, VII, edited with others, North Holland, 1986.
  • Modalities: Philosophical Essays, Oxford University Press, 1993. This book contains many of her most important papers.

Academic Papers

  • You can find lists of her papers published under her maiden name, Ruth C. Barcan, and her married name, Ruth Barcan Marcus, on PhilPapers.

Awards and Recognitions

Ruth Barcan Marcus received many honors and awards for her work:

See also

Kids robot.svg In Spanish: Ruth Barcan Marcus para niños

kids search engine
Ruth Barcan Marcus Facts for Kids. Kiddle Encyclopedia.