바칸 공식으로 알려진 형식적 원리는 양화 양상 논리의 초기 공리 체계를 도입한 루스 바칸 마커스(Ruth Barcan Marcus)의 초기 연구에서 비롯되었다. 20세기 분석 철학의 지평 내에서 활동하며 그녀는 양상 논리와 철학 논리의 기초 개념을 확립했으며, 이는 오늘날에도 지시와 필연성에 관한 학문적 담론에 계속해서 영감을 주고 있다.
학문적 배경 및 경력
1921년 브롱크스에서 태어난 루스 샬럿 바칸(Ruth Charlotte Barcan)은 1941년 뉴욕 대학교에서 수학과 철학을 전공하며 학사 학위를 마쳤다. 이후 예일 대학교에서 대학원 교육을 받아 1942년 석사 학위, 1946년 박사 학위를 취득했다. 그녀는 노스웨스턴 대학교, 시카고의 루즈벨트 대학교, 일리노이 대학교 시카고에서 교수로 재직했다. 1973년 예일 대학교 루벤 포스트 할렉 철학 교수(Reuben Post Halleck Professor of Philosophy)로 부임하여 1992년 명예교수로 은퇴할 때까지 그 자리를 지켰다.
양상 논리에 대한 기여
마커스는 명제 논리를 1차 및 2차 논리로 확장하는 양화 양상 논리의 초기 체계를 개발했다. 1946년과 1947년 'Journal of Symbolic Logic'에 발표한 논문(A Functional Calculus of First Order Based on Strict Implication 등)에서 그녀는 바칸 공식을 도입하고 동일성의 필연성을 확립했다. 또한 이러한 형식 체계 내에서 필연성을 나타내기 위해 사용되는 표준 박스 연산자도 도입했다.
지시와 신념 이론
언어 철학에서 마커스는 고유 명사가 설명의 집합이 아닌 대상에 대한 단순한 표식(태그)으로 기능한다는 직접 지시 이론을 제안했다. 이 견해는 당시 유행하던 고유 명사에 관한 기존 이론들과 대조를 이루었다. 또한, 신념에 관한 그녀의 연구는 신념이 행위자와 사태 사이의 관계를 구성한다는 점을 시사하며, 인지에 대한 순수하게 언어 중심적인 설명을 거부하고 내기(betting)와 같은 행동 지표를 지지했다.
전문적 인정 및 회원 자격
경력 전반에 걸쳐 마커스는 다양한 지도적 역할을 수행했으며, 1976년부터 1983년까지 미국철학협회 이사회 의장을 역임했다. 그녀는 기호논리학회와 국제철학연구소의 회장이었다. 1953년에 구겐하임 펠로우십을 받았으며, 미국 예술 과학 아카데미의 회원이었다. 그녀의 수상 경력으로는 2000년 윌버 크로스 메달 및 카루스 강연, 2007년 필립 L. 퀸 상, 2008년 라우너 상 등이 있다.
핵심 사실
- 출생: 1921년, 브롱크스 - 사망: 2012년, 뉴헤이븐 - 학력: 예일 대학교, 뉴욕 대학교 - 주요 저작: 바칸 공식 - 주요 저작: 동일성의 필연성 - 수상: 구겐하임 펠로우십(1953년) - 수상: 윌버 크로스 메달(2000년) - 전문 역할: 기호논리학회 회장
독자 질문
### 바칸 공식이란 무엇인가?
양화 양상 논리에 대한 마커스의 초기 연구에서 도입된 원리로, 1946년 출판물에 처음 등장했다.
### 마커스는 고유 명사를 어떻게 정의했나?
그녀는 고유 명사가 대상에 대한 직접적인 '표식'으로 기능한다고 주장하며, 그것이 기술적 내용으로 구성된다는 이론을 거부했다.
### 루스 바칸 마커스는 어디에서 가르쳤나?
노스웨스턴 대학교, 루즈벨트 대학교, 일리노이 대학교 시카고, 예일 대학교에서 교편을 잡았다.
