バーカンの公式として知られる形式的原理は、ルース・バーカン・マーカス（Ruth Barcan Marcus）の初期の業績から生まれたものである。彼女は、量子化様相論理の最初の公理系を導入した。20世紀の分析哲学の領域で活動し、様相論理と哲学的論理における基礎的な概念を確立し、現在も指示と必然性に関する学術的な議論に影響を与え続けている。
学問的基礎と経歴
1921年にブロンクスで生まれたルース・シャーロット・バーカン（Ruth Charlotte Barcan）は、1941年にニューヨーク大学で学士号を取得し、数学と哲学に専念した。イェール大学で大学院教育を受け、1942年に修士号、1946年に博士号を取得した。ノースウェスタン大学、シカゴのルーズベルト大学、イリノイ大学シカゴ校で教鞭をとった。1973年、イェール大学のルーベン・ポスト・ハレック哲学教授として教員に加わり、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年の出版物で初めて登場したものである。
### マーカスは固有名詞をどのように定義したか？
固有名詞は対象に対する直接的な「ラベル」として機能すると主張し、固有名詞が記述的内容で構成されているという理論を退けた。
### ルース・バーカン・マーカスはどこで教えたか？
ノースウェスタン大学、ルーズベルト大学、イリノイ大学シカゴ校、イェール大学で教職に就いた。
