가능세계 의미론

가능세계 의미론은 필연성을 모든 접근 가능한 세계에서의 진리로, 가능성을 일부 세계에서의 진리로 해석하여 양상 논리를 다루기 쉬운 모델 이론으로 전환합니다.

Definition

가능세계 의미론은 접근성 관계로 연결된 세계라고 불리는 지점들에서 양상 문장을 평가하며, '필연적으로 A'는 어떤 세계에서 그 세계로부터 접근 가능한 모든 세계에서 A가 성립할 때만 참입니다.

Scope

이 주제는 양상 논리를 위한 관계적 (크립키) 모델 이론을 다룹니다. 즉, 세계들의 집합과 접근성 관계로 구성된 프레임, 평가, 그리고 양상 연산자들의 진리 조건을 다룹니다. 또한 프레임의 기술적 역할과 가능세계가 무엇인지에 대한 철학적 질문 — 구체적인 우주, 추상적인 사태, 명제들의 집합, 또는 단순한 형식적 지표 — 그리고 그것이 의미론의 설명적 가치에 어떻게 영향을 미치는지 다룹니다.

Core questions

• 가능세계는 정확히 무엇이며, 세계는 존재하는가?
• 접근성 관계는 무엇이며, 무엇을 나타내는가?
• 형식 의미론이 양상 진리를 설명하는가, 아니면 단지 모델링하는가?
• 세계는 반사실적 조건문, 명제, 그리고 내용을 분석하는 데 어떻게 도움이 되는가?

Key concepts

• 가능세계
• 접근성 관계
• 프레임과 모델
• 평가
• 현실주의 대 가능주의
• 대리 세계

Key theories

크립키 관계 모델

모델은 접근성 관계와 평가를 가진 세계들의 집합입니다. 양상 연산자는 접근 가능한 세계들을 양화하며, 따라서 양상의 논리적 특징은 관계의 구조적 속성으로 환원됩니다.

추상적 대상으로서의 세계

스탈네이커는 가능세계를 사물이 존재할 수 있었던 방식, 즉 추상적인 극대 가능성으로 취급하며, 루이스의 구체적인 세계를 거부하면서도 양상과 내용에 대한 세계의 설명적 이점을 유지합니다.

History

카르납(Carnap)의 상태 기술과 라이프니츠(Leibniz)의 가능세계에 대한 언급은 이 아이디어를 예견했지만, 엄밀한 의미론은 크립키(Kripke)의 1963년 관계 모델과 함께 등장했습니다. 이후 철학자들은 형이상학에 대해 의견이 나뉘었습니다. 루이스(Lewis)의 1986년 양상 실재론은 세계를 구체적인 것으로 취급하는 반면, 스탈네이커(Stalnaker)와 다른 이들은 추상적인 '대리' 세계를 옹호합니다.

Debates

구체적인 세계 대 추상적인 세계

의미론이 양화하는 세계가 구체적인 시공간적 우주인지, 아니면 명제들의 극대 일관된 집합과 같은 추상적인 대리물인지, 그리고 어떤 해석이 의미론을 진정으로 설명적으로 만드는지에 대한 논쟁입니다.

Key figures

• Saul Kripke
• David Lewis
• Robert Stalnaker
• Jaakko Hintikka
• Rudolf Carnap

Seminal works

• kripke1963
• lewis1986plurality

Frequently asked questions

가능세계 의미론은 다른 세계의 존재를 믿어야 하는가?

그렇지 않습니다. 의미론은 형식적인 도구이며, 이를 사용하는 대부분의 철학자들은 다른 구체적인 세계가 존재한다는 것을 부정합니다. 그들은 '세계'를 추상적인 대상, 즉 사물이 존재할 수 있었던 방식으로 해석하여, 세계를 양화하는 것이 존재론적 사치를 부리지 않고 가능성에 대해 명료하게 이야기하는 방법이라고 봅니다.