ルース・バルカン・マーカス

ルース・バルカン・マーカス
2005年のマーカス
生まれる	( 1921-08-02 )1921年8月2日 ニューヨーク市
死亡	2012年2月19日(2012-02-19)（享年90歳） コネチカット州ニューヘイブン
国籍	アメリカ人
教育	ニューヨーク大学(BA 1941) イェール大学(MA 1942) イェール大学(Ph.D. 1946)
時代	現代哲学
地域	西洋哲学
学校	分析
機関	ノースウェスタン大学 イェール大学
論文	厳密関数微積分 （1946）
博士課程の指導教員	フレデリック・フィッチ
主な関心事	形式論理
注目すべきアイデア	量化様相論理、[1] バルカン公式、同一性の必然性、名前のタグ理論

ルース・バーカン・マーカス（/ ˈ b ɑːr k ən ˈ m ɑːr k ə s / ; 本名ルース・シャーロット・バーカン; 1921年8月2日^{[2] [3]} - 2012年2月19日^[3]）は、アメリカの哲学者、論理学者であり、様相論理学と哲学的論理学の研究で最もよく知られている。^[4]彼女は量化様相論理の最初の形式体系を開発し^[5]、その際にバーカン公式として知られる図式または原理を導入した。^{[2] [3] [5]} （彼女はまた、その過程で必然性を表すために現在標準となっている「ボックス」演算子を導入した。）^[4]当初はルース・C・バーカンとして出版していたマーカスは^{[ 5} ]、ドン・ギャレットが指摘しているように、ティモシー・ウィリアムソンは、2008年にマーカスの長いキャリアを称える式典で、彼女の「主要なアイデアの多くは、独創的で、賢く、美しく、魅力的で、影響力があり、時代をはるかに先取りしているだけでなく、実際に真実であると信じている」と述べています。^[6]

ルース・バーカン（1942年に物理学者のジュール・アレクサンダー・マーカスと結婚する前の彼女の名前^[7]）は、1941年にニューヨーク大学を数学と哲学を専攻して優秀な成績で卒業した。その後、イェール大学の大学院に進学し、1942年に修士号、1946年に博士号を取得した。^[7]

マーカスは1950年から1953年まで、そして1959年にノースウェスタン大学の客員教授を務めた。1956年から1963年にかけては、シカゴの新設ルーズベルト大学で助教授、その後准教授を務めた。1964年から1970年までは、イリノイ大学シカゴ校で哲学の教授を務めた（当初は学科長を務めた）。 1970年から1973年までノースウェスタン大学の哲学の教授を務め、その後イェール大学のルーベン・ポスト・ハレック哲学教授に任命され、1992年に名誉教授として退職した。1997年まで、カリフォルニア大学アーバイン校で冬学期に教鞭を執り続けた。^{[4] [8]}

マーカスは、キャリアを通じて他の職も歴任したが、アメリカ哲学協会の理事会議長（1976-83年）、記号論理学協会（1983-86年）、国際哲学研究所（1989-92年 ）の会長を務めた。^{[4] [7]}

広く議論されているバルカンの公式は、QML の公理として導入されています。^{[9] : 481}マーカスは、量指定子を使用した様相論理の最初の公理的研究である最初の出版された著作を、旧姓のルース・C・バルカン名義で出版しました。この著作には、次の 3 つの論文が掲載されています。「厳密な含意に基づく 1 階関数計算」 ( Journal of Symbolic Logic、JSL、1946 年)、「厳密な含意に基づく 1 階関数計算における演繹定理」(JSL、1946 年)、「2 階関数計算における個体の同一性」(JSL、1947 年)。

クラレンス・アーヴィング・ルイスのいくつかの命題様相体系を第 1 階と第 2 階に拡張した量化様相論理の最初の体系 (1946 年と 1947 年の論文) は、20 世紀の論理の発展における大きな成果でした。

ルイスは、もともと『構造、方法、意味: ヘンリー・M・シェファーを讃えたエッセイ集』 (ニューヨーク、1951年) に掲載された「内包論理に関するノート」の中で、マーカスを特別に評価しています。ここでルイスは、命題論理を高階内包論理として拡張した最初の論理学者として、バルカン・マーカスを認めています。

マーカスは言語哲学において、固有名詞はマーカスが「タグ」と呼んだものにすぎないという見解を提唱した（「様相と内包言語」（ Synthese、1961年）およびその他）。彼女の名前のタグ理論（直接参照理論）によれば、これらの「タグ」は、名前の持ち主であるオブジェクトを参照するために使用される。名前の意味は、この参照機能によって尽きると見なされる。この見解は、たとえば、当時主流であったバートランド・ラッセルの固有名詞の記述理論やジョン・サールの名前のクラスター記述理論^{[10]とは対照的である。この固有名詞の見解（1962年に}ウィラード・ヴァン・オーマン・クワインを解説者として発表）は、クエンティン・スミスによって、ソール・クリプキの命名と必然性^[11]で示された参照理論と同一視されている。しかし、ルース・バーカン・マーカスへの最近の賛辞で、ティモシー・ウィリアムソン教授は次のように述べている。

その中で、現在の言語哲学と最も共鳴する考えの一つは、固有名詞は単なるタグであり、記述的内容を持たないというものである。これは、名前は関連するすべての世界に関して同じオブジェクトを指定する、固定された指示子であるというクリプキの考えではない。なぜなら、「固定された」定記述は固定された指示子だが、それでも記述的内容を持っているからである。むしろ、これは後にデイヴィッド・カプランらによって展開された考えであり、固有名は、それが出現する文によって表現される命題に、その持ち主にのみ貢献するという意味において、直接指示的であるというものである。^[12]

言語哲学者のスティーブン・ニールもタイムズ文芸付録でスミス教授の主張に反論している。^[13]

マーカスは1946年に正式に同一性の必然性を証明し、1961年に非公式にそれを主張し、その後は偶発的同一性の可能性を否定した。Journal of Symbolic Logic、(1947) 12: pp 12–15 を参照。

マーカスは、解釈のドメインが現実世界の個々の実体で構成されるという解釈を好みます。また、いくつかの用途では、代替的な置換意味論が正当化されると示唆しています。彼女は、可能性に対する反論を提示しています。「可能性の排除」（アメリカ哲学協会紀要、1975～76 年）、「可能性と可能世界」（グレイザー哲学研究、1985～86 年）を参照してください。

マーカスは、道徳的原則の一貫した集合を、それらすべてが従うことができる「可能世界」が存在するものと定義している。現実世界でそれらが衝突するかもしれないことは、矛盾の兆候ではない。同一性の必然性の場合と同様に、道徳的衝突のこの解釈には抵抗があった。彼女の議論は、道徳的規則のシステムは必然的に矛盾しているという広く受け入れられている見解に反するものである。^[14]

信じることは、特定の内部および外部の状況下での、行為者と可能な状況との関係であると提案されている。引用された文に同意すること（信念の引用解除の説明）は、信じることの行動マーカーの 1 つにすぎない。賭け行動は別のものである。完全に言語中心の信念の説明（たとえば、デイビッドソン）は拒否される。行為者は、その不可能性が明らかにされるまでは不可能性を信じていると伝統的に説明されるが、マーカスは、そのような状況下では、行為者は不可能性を信じていると主張しただけだと言うべきだと提案している。同じように、数学者が自分の推測の 1 つが誤りであることを発見し、それが数学的に誤りであれば不可能であるため、その推測が正しいと主張しただけだと言うだろう。この提案は奇妙だが、広く受け入れられている知ることに関する原則に類似している。つまり、P を知っていると主張し、P が誤りであることが判明した場合、それを以前は知っていたとは言わず、そのように主張したのは間違いだったと言うのである。^[15]

アリストテレス的 本質主義は、マーカスが様相枠組みの文脈で定義する性質に関係している。一つの提案は、性質が本質的であるのは、何かがそれを持っているからであり、すべてのものがそれを持っているわけではない、何かがそれを持っているなら必然的にそれを持っているからであり、それが完全に個別化しているわけではない（例えば自然種の特性）というものである。一方、クワインらは様相論理や意味論は本質主義的真理にコミットしていると主張している。マーカスは非公式に、いくつかの様相体系の解釈では本質主義的主張がすべて誤りであると主張している。後にテレンス・パーソンズがこの結果を正式に証明した。^[16]

タルスキアン（モデル理論）意味論の代替案が、いくつかの用途で提案されている。そこでは「量化された公式の真理条件は、解釈の領域に頼ることなく、純粋に真理の観点から与えられる」。これは「真理値意味論」と呼ばれるようになった。マーカスは、そのような意味論が矛盾を導くという主張は誤りであることを示す。^{[17]このような意味論は、数学、}例えば ハートリー・フィールドや、架空の談話にとって興味深いかもしれない。オブジェクト量化は、同一性やその他の形而上学的カテゴリーの解釈に必要である。 ^{[18] : 190–196}

書籍（執筆または編集）

• 論理的企業、 ARアンダーソン、RMマーティン共編、イェール大学、1995年
• 論理、方法論、科学哲学、VII、R. Barcan Marcus 他編、ノースホランド、1986 年
• モダリティ：哲学的エッセイ、オックスフォード大学出版局、1993年。ペーパーバック、1995年（マーカスの重要な論文を多数収録）

学術論文

• Ruth C. Barcan として出版 - PhilPapersによるリスト
• Ruth Barcan Marcus として出版 - PhilPapers によるリスト。

• ファイ・ベータ・カッパ（1941）
• グッゲンハイムフェロー（1953）
• 国立科学財団フェロー（1963-1964）
• イリノイ大学アーバナ・シャンペーン校高等研究センター・ベックマンフェロー（1968～1969年）
• ロックフェラー財団レジデンシー（ベラージオ、1973年および1990年）
• アメリカ芸術科学アカデミー会員（1977年）
• スタンフォード大学行動科学高等研究センターフェロー（1979年）
• エディンバラ大学人文科学研究所フェロー（1983）
• オックスフォード大学ウルフソン・カレッジ、客員研究員（1985年および1986年）
• コレージュ・ド・フランス勲章(1986)
• ケンブリッジ大学クレアホール談話室常任委員（ 1986年～）
• クレア・ホール、ケンブリッジ大学、客員研究員（1988年）
• 国際哲学研究所会員、1989 ～ 1992 年プレジデンテ、1992 ～ 1992 年プレジデント名誉
• 国立人文科学センター、メロンフェロー（1992–93）
• イリノイ大学シカゴ校名誉人文学博士（1995年）^[19]
• ウィルバー・クロス賞、イェール大学（2000）
• ラウナー賞、ラウナー分析哲学財団、2007～2008年。
• 2007年アメリカ哲学協会クイン賞、職業への貢献に対して
• デューイ講演、APA、2009年12月。

• ロバータ・バラリン。「ルース・バルカン・マーカス」。ザルタ、エドワード・N.（編）『スタンフォード哲学百科事典』。。
• Sinnott-Armstrong, W.他編『Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus』（ケンブリッジ：ケンブリッジ大学出版局、1995年）。
• Gendler, TS、Marcus に関する記事、Jewish Women's Archive: A Comprehensive Historical Encyclopedia、2009 年 2 月 27 日。
• フォックス、M.、「哲学者・論理学者ルース・バーカン・マーカスが90歳で死去」、ニューヨーク・タイムズ、2012年3月13日。
• ラフマン、D.、「女性、戦士、哲学者」、ザ・ストーン、ニューヨーク・タイムズ、2012年4月26日。
• 「追悼：ルース・バーカン・マーカス」、イェール・ニュース、2012年2月21日。
• 数学系譜プロジェクトの Ruth Barcan Marcus 氏。
• マーカス、RB、「哲学者の天職」は「哲学的自伝」（ドキュメントとしてダウンロード可能）で、2010 年にエール大学でAPAジョン・デューイ講演として行われ、後にアメリカ哲学協会の年次会議録および演説集に掲載されました。
• ウィリアムソン, T.、「追悼: ルース・バーカン・マーカス、1921-2012」、The Bulletin of Symbolic Logic、第19巻、第1号、2013年3月。
• マーカスに関する項目、哲学百科事典、2006年。
• マーカス著『世界史における女性：伝記百科事典』 （2002年）の項目。
• マーカス、当時はルース・バーカンの写真ポートレート、1940 年頃 (出典、許可あり)。
• スイス国立図書館のカタログ Helveticat に掲載されている、Ruth Barcan Marcus による出版物および Ruth Barcan Marcus に関する出版物。
• ルース・バーカン・マーカス文書 (MS 1993)、原稿およびアーカイブ、イェール大学図書館。