被称为巴坎公式的形式原则源于露丝·巴坎·马库斯（Ruth Barcan Marcus）的早期研究，她引入了量化模态逻辑的首批公理系统。在20世纪分析哲学的背景下，她确立了模态逻辑和哲学逻辑中的基础概念，这些概念至今仍在影响关于指示和必然性的学术讨论。
学术背景与职业生涯
露丝·夏洛特·巴坎（Ruth Charlotte Barcan）于1921年出生在布朗克斯，1941年在纽约大学完成本科学习，主修数学和哲学。她在耶鲁大学继续深造，分别于1942年获得硕士学位，1946年获得博士学位。她的职业生涯包括在西北大学、芝加哥罗斯福大学和伊利诺伊大学芝加哥分校任教。1973年，她加入耶鲁大学教师队伍，担任鲁本·波斯特·哈莱克哲学教授（Reuben Post Halleck Professor of Philosophy），直至1992年退休成为荣誉教授。
对模态逻辑的贡献
马库斯开发了量化模态逻辑的初始系统，将命题逻辑扩展到一阶和二阶逻辑。她在1946年和1947年发表在《符号逻辑杂志》（Journal of Symbolic Logic）上的论文，包括《基于严格蕴涵的一阶函数演算》（A Functional Calculus of First Order Based on Strict Implication），引入了巴坎公式并确立了同一性的必然性。她还引入了标准盒子运算符，用于在这些形式系统中表示必然性。
指示与信念理论
在语言哲学方面，马库斯提出了直接指示理论，认为专有名词只是对象的一种“标签”，而不是描述集合。这一观点与当时盛行的专有名词理论形成了对比。此外，她关于信念的研究表明，信念构成了主体与事态之间的一种关系，她拒绝了纯粹以语言为中心的认知解释，转而支持诸如赌博等行为指标。
专业认可与成员资格
在整个职业生涯中，马库斯担任过多种领导职务，并于1976年至1983年间担任美国哲学协会官员委员会主席。她是符号逻辑协会和国际哲学研究所的主席。她于1953年获得古根海姆奖学金，并且是美国艺术与科学院的成员。她获得的荣誉包括2000年的威尔伯·克罗斯奖章和卡鲁斯讲座，2007年的菲利普·L·奎因奖，以及2008年的劳纳奖。
快速事实
- 出生：1921年，布朗克斯 - 去世：2012年，纽黑文 - 教育背景：耶鲁大学；纽约大学 - 重要著作：巴坎公式 - 重要著作：同一性的必然性 - 奖项：古根海姆奖学金（1953年） - 奖项：威尔伯·克罗斯奖章（2000年） - 专业角色：符号逻辑协会主席
读者常见问题
### 什么是巴坎公式？
这是马库斯在关于量化模态逻辑的早期研究中引入的一项原则，首次出现在她1946年的出版物中。
### 马库斯如何定义专有名词？
她主张专有名词作为对象的直接“标签”发挥作用，拒绝了它们由描述性内容组成的理论。
### 露丝·巴坎·马库斯在哪里任教？
她曾在西北大学、罗斯福大学、伊利诺伊大学芝加哥分校和耶鲁大学担任教职。
