Ruth Barcan Marcus，美国哲学家和逻辑学家（生于 1921 年）
Ruth Barcan Marcus（生于 Ruth Charlotte Barcan；1921 年 8 月 2 日至 2012 年 2 月 19 日）是一位美国学术哲学家和逻辑学家，以其在模态和哲学逻辑方面的工作而闻名。她开发了量化模态逻辑的第一个形式系统，并在此过程中引入了称为 Barcan 公式的模式或原理。 （她还将在此过程中引入现在标准的“盒子”运算符，以说明必要性。）马库斯最初以 Ruth C. Barcan 的身份出版，正如唐加勒特所说，“二十世纪最重要和最有影响力的哲学家-逻辑学家之一” .蒂莫西威廉姆森在 2008 年庆祝马库斯漫长的职业生涯时表示，她的许多“主要想法不仅是原创的、聪明的、美丽的、迷人的、有影响力的，而且远远领先于他们的时代，但实际上——我相信- 真的”。