Ruth Barcan Marcus（一）

Ruth Barcan Marcus（1921-2012）是二十世纪下半年最具影响力的哲学家之一。 她的第一个1946年出版物包含第一次公布的量化模型逻辑系统的建设。[1] 她在量化的模态逻辑方面的正式工作对于初步发展的初始开发。 它还有助于为模态形而上学的初始和盛开奠定基础，这是她也制作了大量哲学贡献的肥沃探究领域。 马库斯的有影响力的哲学工作延伸到超越逻辑和形而上学。 她在遗传学和理性中发表了重要的工作，以及道德困境和文学逻辑的伦理和道德，并为斯科诺亚和罗素奖学金做出了贡献。 她的哲学观点 - 关于语言，本质主义，信仰和道德困境 - 深度自然主义和避免理性的理想化。

巴尔卡纳马库斯是一名积极参与和权威的参与者，在20世纪50年代到了上世纪末的一些主要和最热烈的哲学辩论中。 在五十年代和六十年代，在强大的反对中，她至关重要地为建立了模态逻辑的合法性，从而造成了模态形而上学。 她的工作弥补了两个不同的哲学时代，为七十年代的语言和形而上学哲学铺平了哲学革命的方式。 作为一种罕见的女性逻辑师和哲学家，也是一种稀有的口径，她也是一个先锋学术，积极参与的职业的积极参与者，决心改革和改进其机构。

此条目关注Ruth Barcan Marcus对正式逻辑，形而上学，认识论和道德的关键贡献。 它与她所涉及的争议进行争议，因为它们与她的哲学发展有关。 在这个条目的Ruth Barcan Marcus有时被称为Barcan，有时Marcus，有时是巴尔卡山马库斯，主要根据时间上下文，以一种应该听起来自然的方式，并没有产生混乱。

1.生命

2早期正式工作

2.1量化模态逻辑

2.2推动性和扣除定理

2.3身份的必要性

3 Quine争议

4个性，本体，名称和量词

4.1重征和扩展性

4.2本体：个人，课程和属性

4.3名称

4.4量词

5个本质主义

5.1量化的模态逻辑和本质主义

5.2真正的亚里士多德本质主义

6现实主义和巴尔卡纳配方

7信仰和理性

8道德困境

参考书目

巴尔坎马库斯的语料库

作为Ruth C. Barcan发布

发布为露丝巴氏马库斯

共同努力工作

festschriften

二级文献

学术工具

其他互联网资源

相关条目

1.生命

关于Ruth Barcan Marcus的个人和专业生活的主要信息来源是她的德威讲师“哲学家呼吁”于2009年12月29日在东部APA会议上举行（Marcus 2010）。

Marcus于1921年8月2日在纽约出生于纽约的Ruth Charlotte Barcan至世俗犹太人的东欧血统。 三分之一的女儿，她在一名活动家社会主义家庭中长大的布朗克斯。 她将1930年描述为一个灾难性的一年，当她的父亲在大萧条中间死亡时，将现在的全女家庭留在经济和情绪困境中，但也可以遵循非常规路径。 马库斯从她自己的回忆中出现，作为一种活泼，不守规矩，运动而聪明的孩子，具有贪婪的知识。 在高中，她招待在纽约大学，而不是按预期参加女性学院。 在纽约的哲学和数学中。 当时她的老师，最具影响力的是J.C.C。 McKinsey谁清楚地意识到了她的才华，在先进的数学逻辑中辅导她。 她对C.I开发了兴趣。 刘易斯的模态系统，麦肯锡建议她在F.B的监督下继续在耶鲁的研究。 惠誉。 她于1942年开始了耶鲁的研究生课程，并于1946年获得了博士学位。在耶鲁，她遇到了她未来的丈夫，Jules A. Marcus，当时是一名物理学的研究生，就像她一样，一个成就的击剑者。 他们于1942年结婚，有四个孩子，并于1976年离婚。当时耶鲁在其研究生院接受妇女，但不是大学生。 Marcus回忆起禁止的女评级机的矛盾局势进入他们协助的本科课程的课堂，并且只能对男士提供图书馆的尴尬。 在这种歧视性环境中，她仍然是当选的哲学学生俱乐部的主席。 她报告了从部门主席那里收到一封信，表明她拒绝以及围绕她面临的后勤困难，她曾担任用于在妇女的一部分所在地会议的协会的女性总统。 她面对这样的困难的态度似乎是健康无视的一个。 Marcus于1946年完成了她的论文，同年，她在阿隆佐教堂的编辑下，她开始将其作为文章作为文章出版。

从1944年开始，Marcus跟着她的丈夫，他们作为物理学家追求学术职业生涯。 1947年，他们搬到了芝加哥，她从美国大学妇女协会举行了博士奖学金，借此岁月的鲁道夫卡纳普学习的机会也在致力于模式和量化。 1949年，她的丈夫被聘请在西北大学，他们搬到了埃文斯顿。 Marcus报道称，在西北大学的抗日派政策中，不包括定期任命教职员，并且有多年来她没有寻求定期的全职学术职位。 她举行了各种兼职和访问职位，同时继续致力于中性和对模态语言的解释。 1953年，她收到了Guggenheim奖学金。 除了卡内斯之外，马库斯在芝加哥大学举行莱昂纳德莱克斯基的哲学上富有成效的交流，以及大卫卡普兰，在那些年来，亚瑟在她参加的研讨会之前访问了芝加哥1961年。同年，她在科学哲学中展示了波士顿克罗斯族的“方式和强硬语言”，随后与奎因，克里普克，费卡尔斯和麦卡锡进行讨论。 1962年，她在着名的赫尔辛基“兼论模态和多价逻辑上的古典族”中提出了一篇论文。 1964年，伊利诺伊大学开设了芝加哥校园，马库斯被聘请了担任新的哲学部门。 六年来，她在建立一个强大的研究生局发挥了主导作用。 从1970年到1973年，她是西北大学教授。

1973年，Marcus同意加入并帮助重建耶鲁哲学部门，这是她描述为不明智和不平衡的部门，也是她的学术家，尽管有讨人喜欢的竞争优惠和其他临时职位的旅行，她从未离开过的房屋。机构。 马库斯现在拥有一个杰出的哲学声誉，作为她领域的领先人物。 在其余的职业生涯中，她收到了众多奖项，奖学金和荣誉，如1986年的Collègede France的奖牌，1995年是伊利诺伊大学的荣誉博士学位，以及耶鲁研究生院的威尔伯2000年的交叉奖牌。她是2007年专业APA Quinn服务奖的第一个接受者，以及2008年分析哲学中的莱恩斯在分析哲学的杰出Ouevre的第一个女性接受者。马库斯退休了耶鲁斯1992年，在职业中仍然活跃，并在加州大学欧文大学举行了一个定期的单一杰出的访问教授职位。 除了她在建立伊利诺伊州芝加哥大学和耶鲁大学的哲学部门的关键作用之外，在她的职业生涯中，马库斯致力于为职业服务。 值得注意的是，从1961年开始，她在美国哲学协会的十五年里担任了十五年，首先是其中央部门的秘书，然后是其中央部长，最后担任其全国主任委员会主席（1977-1983）。 她还也是象征逻辑协会的副总统（1980-83）和总统（1983-86）。 她于2012年2月19日在纽避风港去世。

在她的德威讲学马库斯在深情地回忆起对本科生教学的喜悦，其中一些人像她的一些研究生一样，致力于尊敬的哲学职业生涯。 关于她的哲学风格，她将自己描述为一个没有吸引大哲学问题的哲学家，而是通过“常识观察，以我们共同的普通语言”的“常识观察”推动。 哲学标签未变得难以倾向于自然意见。 尽管她有活跃的学者生活，她的学院态度和她的许多哲学友谊，但她最终认为自己是“基本上是一个孤独的”，除非她以为她有一些有用，有趣和明确的话，否则“没有被驱逐出版”。

关于Marcus的生命和工作，参见Marcus 1993：Ix-Xi，Lauener 1999：173-177，Marcus 2005，其中包含Marcus正式工作的采访，2013年，Williamson 2013a和Frauchiger 2015年由威廉姆森的劳德·斯兰蒂奥（Frairamson）有一位传记职业，并接受马库斯采访。 Cresswell 2001是Marcus哲学主要主题的简要摘要。

注意：对于条目的其余部分，列出了与本节主题相关的Marcus论文。 这并不意味着Marcus完全在这些论文中对待这一主题。 相反，在她出版的工作中，马库斯经常返回中央，相互关联的哲学主题。

此条目审查了巴尔卡纳马鲁斯的工作主要是最初发表的。 它没有跟踪后来的修订并不试图重建这些修订是否只是澄清或边际改变原始点。

2.早期正式工作

本节调查Marcus的早期正式论文，从1946年到1953年出版，在象征性逻辑杂志中，并检查其两个关键结果：S4的扣除定理证明以及身份的必要性。 最相关的论文是：“基于严格含义的第一阶的功能微积分”（1946A），“基于严格含义的第一阶的功能微积分中的扣除定理”（1946B），“严格官能的个人的身份”二阶“（1947）的微积分和”严格的含义，推动和扣除定理“（1953）。 这是该条目中最具技术部分，并且可能跳过不太关注Marcus在模态逻辑中取得的成就的读者。

2.1量化模态逻辑

1946年是模态逻辑的好年。 Barcan的“基于严格含义的第一阶的功能微积分”出现在1946年象征逻辑杂志的第一个问题中，随后是Carnap的“模态和量化”，第二个，而巴尔卡的“扣除定理”基于严格含义的第一阶的功能微积分“在第四”中。 巴尔卡的第一篇论文延伸了命题系统S2，C.I. 刘易斯被称为正式制定了对象语言扣除延迟概念的最佳系统（Lewis＆Langford 1932的附录）。

对于命题部分，巴尔卡尔遵循了刘易斯的系统的公理化，她们用公理和规则进行量化。 大多数公理是标准命题和量化公理的版本，但制定了严格而不是物质意义。[2]

巴尔坎在Metalangage中使用希腊字母：大写希腊字母代表良好的公式（WFF's）和小写希腊字母代表（个人，命题和功能）变量。 公理是作为模式，从而消除了Lewis的统一替代规则的需求。 否定，结合，存在量化和可能性运营商（钻石◊）被视为原始。 分离，物料含义（条件），材料等价（Biconditional），通用量化和必要性运算符（盒子◻）是以其术语定义的。 （a⇒b）定义为〜~◊（a∧~b），其等同于◻（a→b）。

Barcan的1946年量化S2系统

Axiom图案

（a∧b）⇒（b∧a）

（a∧b）⇒a

a⇒（a∧a）

（（a∧b）∧γ）⇒（a∧（b∧γ））

（（a⇒b）∧（b⇒γ））⇒（a⇒γ）

（（a∧（a⇒b））⇒b

◊（a∧b）⇒◊a

（∀α）A 1B，其中α和β是单独的变量，在A中没有自由发生α在形式（∀β）γ和B的WF的部分中，来自β的替代是所有自由发生的αA.

（∀α）（一个→b）⇒（（∀α）一个→（∀αb））

a⇒（∀α）A，其中α不自由。

◊（∃α）a⇒（∃α）◊a

推理规则

Modus Ponens为⇒：来自A和（a⇒b）推断B.

输入：来自A和B推断（a∧b）。

严格等同物的替代：如果

（∀α1）（∀α2）...（∀αn）（γ⇔e）

（其中α1，α2，......，αn是γ和e）和b的所有自由变量，B通过代替A或多个γ的γ，然后从A从A中推断出来。

概括：如果B是替代A中的所有自由发生α的单个变量β的结果，则从A中推断（∀β）B.

虽然为严格的含义（⇒）配制而成，但大多数公理以及规则是非模态系统的标准。 纯粹的模态加成是Axiom 7，所谓的稠度公理特性S2和Axiom 11，Barcan公式，以后将在其后进行（1956：60）。

其余的纸张纯粹是句法的。 除其他结果之外，巴尔卡纳证明了巴尔卡纳配方的匡威：

⊢（∃α）◊a⇒◊（∃α）一个

系统S2不足以证明BF，因此假设为公理。 在这些早期纸中，巴尔卡纳不讨论巴仑公式（BF）的语义意义及其逆转（CBF）。

本文以介绍通过添加其特征公理⊢◊◊a⇒◊a（当前术语中的公理4）而延伸S2的较强的系统S4，并包括在一起的关键定理（XIX *）的证明使用公理4将用于证明S4的扣除定理。

2.2推动性和扣除定理

在她的第二份1946年的纸张中，“基于严格含义的一阶的功能微积分的扣除定理”，Barcan证明了用于材料的S2和严格含义的扣除定理失败。 她证明了这一点的量化系统S21，但她的结果已经持有所命题S2，并且是独立于量化的。

如果每当A1，A2，...，an⊢b保持S，因此A1，A2，...，AN-1→B，并且反之亦然，扣除系统S的扣除定理持有。 Marcus的重点是在左右方向上（在这里明确说明）。 扣除定理标准陈述了材料条件，但在她的论文中，马库斯主要关注严格的条件的扣除定理，即无论是在她的模态系统中，它是给定A1，A2，......，an⊢b的情况，那么A1，A2，......，An-1⊢an⇒b也持有。 她对定理的兴趣不是验证理论，即，它与条件衍生无关，其中扣除定理证明是合理的，以及为模态逻辑设计自然扣除系统的可能性。 相反，她的重点是对严格暗示的解释。 论扣除定理的历史和意义，见Franks 2021; 在模态逻辑中的扣除定理，见Hakli和Negri 2012; 关于模态逻辑的自然扣除惠誉1952：CH。 3; 拟合2007; Zeman（1973：197）对于严格的条件扣除定理的整体思想至关重要。

Barcan证明扣除定理不适用于S2，通过帕里（1934）来满足S2的所有公理和规则，但不是S3的特征公理：

⊢（a⇒b）⇒（◻a⇒◻b）。

帕里的结果确定S3是比S2更强的系统。 Barcan指出，鉴于S2以下持有情况，S2的扣除定理失败，所以扣除定理失败：

（a⇒b）⊢（◻a⇒◻b）;

但是

⊢（a⇒b）⇒（◻a⇒◻b）

不持有。

S2的扣除定理的失败意味着对于一些公式A1，A2，...，A和B，（1）保持，但既不是（2）也不是（3）：

a1，的a2，...，一个⊢b

a1，的a2，...，一个-1⊢an→b

a1，的a2，...，一个-1⊢an⇒b。

对于S4（S41）而言，巴卡纳证明了物料条件的完整扣除定理，即，对于S4（2），每当（1）时，S4（2）。

对于严格的条件，Barcan证明了S4的以下限制扣除定理：

第29届*。

如果a1，a2，...，anəb和if

⊢a1⇔◻γ1，

⊢a2⇔◻γ2，

⋮

⊢an⇔◻γn，

然后A1，A2，...，AN-1⊢an⇒b。

因此，巴尔卡尔得出结论，严格含义的扣除定理证明只能用于争论的争论，其房屋被证明等待的必需品。

在1953年的1953年“严格的含义，推动性和扣除定理”中，巴尔卡队专注于S4，并区分三种形式的任何概念概念的扣除定理，包括材料和严格的条件：

一，

如果A1，A2，...，an⊢b那么A1，A2，...，An-1⊢anibii。

如果A1，A2，...，an⊢b那么⊢（a1∧a2∧......∧an-1∧an）ibiii。

如果a1⊢b那么⊢a1ib

1946年，她的焦点就在定理我身上。她现在证明II和III仍然针对严格的含义而持有，即，即使从不可忽视不必要的房屋，它们也持有。 更强的扣除定理I代替形式不能类似地证明并对必要房屋的限制仍然存在。

在她1953年的论文中，巴尔卡也讨论了解释性问题。 在这些早期论文中，她就像刘易斯一样，将模态系统解释为旨在代表和正式化的系统独立，证明理论的概念的推动或征报。 严格的含义（⇒）代表这个目标概念。 在正式的系统中，由◊符号表示的一致性的概念被视为原始的，并且在其术语中定义了严格的含义：如果（a∈~b）是不一致的，即，¬◊（a∧~b~b），那么严格意味着b，即（aəb）。 必要性类似地定义（in）一致性：如果~a是不一致的，则i.，〜~a，然后是a是必要的，即，◻a。 考虑到系统旨在使系统正式化的概念表示为严格的含义，刘易斯和巴尔卡对Lewis和Barcan没有将非模态基础分开的刘易斯和巴尔卡没有将非模态基础分开的非模态基础。物质含义。 它还解释了对较弱的非正常系统的关注。

相比之下，在他的1946年纸上开发量化的模态逻辑Carnap系统，通过简要提及NP（其中“n”是必要的运算符），可以在刘易斯的◊方面定义，但是立即继续定义所有逻辑根据N的典型意识，根据N的逻辑必要的方式也是从解释性的观点来看的方式。 Carnap还将命题和通过添加'n'构造的模拟的命题和功能微积分区分（1946：33）。 这种解释性问题导致查询到S5并推动他的正式语义。 公平地说，巴尔卡纳和卡纳普在20世纪40年代初独立地开发了一个独立的莫代尔逻辑的量化系统，但在巴尔卡纳的重点是句法，她的第一次出版的哲学考虑因素（1953年）仍被驱动刘易斯对推动性的解释性问题，本身就是一个句法概念。 然而，在后期工作中，巴尔卡纳还强调，刘易斯在可能的世界方面对方式的方式解释（见1968年：88; 1981B：279; 1990A：232;和Frauchiger 2015：149-150）。

1953年的纸质挑战刘易斯声称S2是代表推动性的合适系统。 刘易斯认为S3太强大并定居在S2上。 而是Barcan声称，正确的系统必须是至少某种形式的严格含义的扣除定理。 因此，要足够的系统必须至少与S4一样强。 事实上，只有一个具有必要规律的正常系统将具有证明严格条件的一些版本的扣除定理。 但是，巴尔卡纳没有详细阐述为什么她认为如果要正确代表推动，那么扣除定理必须持有。