시간, 의무, 인식 논리

양상 논리의 관계적 메커니즘은 시간, 의무, 지식으로 일반화되어 과거와 미래, 당위, 그리고 알려진 것에 대한 논리를 생성합니다.

Definition

이들은 접근성 관계가 재해석되는 비진리 양상 논리입니다: 시제 논리에서는 시간적 순서로, 의무 논리에서는 의무적으로 이상적인 세계로의 접근으로, 인식 논리에서는 행위자가 아는 것과의 양립성으로 재해석됩니다.

Scope

이 주제는 양상 논리의 가능세계 장치를 공유하는 주요 의도 논리들을 다룹니다: 시간의 순서에 따라 평가되는 과거 및 미래 연산자를 포함하는 시간(시제) 논리; 의무, 허용, 금지 연산자를 포함하는 의무 논리; 그리고 인식적 대안에 따라 평가되는 지식 및 믿음 연산자를 포함하는 인식 논리. 여기에는 의무 논리의 역설과 논리적 전지 문제와 같은 특징적인 퍼즐들이 포함됩니다.

Core questions

• 과거 및 미래 시제 연산자는 시간의 다양한 구조에 대해 어떻게 공리화되어야 하는가?
• 의무와 허용을 양상 연산자로 다룰 수 있는가, 그리고 의무 역설은 어떻게 해결되는가?
• 지식을 양상적으로 다루는 것이 논리적 전지라는 비현실적인 가설을 강요하는가?
• 이러한 논리들을 통합하는 것은 무엇이며, 그들의 유사성은 어디에서 무너지는가?

Key concepts

• 시제 연산자 (과거/미래)
• 의무, 허용, 금지
• 의무적으로 이상적인 세계
• 인식적 대안
• 논리적 전지
• 의무 역설

Key theories

표준 의무 논리

폰 라이트는 의무를 모든 의무적으로 이상적인 접근 가능한 세계에서의 진리로, 허용을 일부 세계에서의 진리로 모델링하여 기본적인 추론을 포착하지만 잘 알려진 역설을 생성하는 공리계를 제시합니다.

인식 논리와 가능세계

힌티카는 'a가 p를 안다'를 a의 정보와 양립하는 모든 세계에서 p가 성립하는 것으로 분석하여, 지식과 믿음의 양상 논리를 확립하고 논리적 전지 문제를 드러냈습니다.

History

폰 라이트(von Wright)는 1951년에 의무 논리를 시작했고, 프라이어(Prior)는 1950년대와 1960년대에 시제 논리를 발전시켜 『과거, 현재, 미래』(Past, Present and Future, 1967)로 절정을 이루었습니다. 힌티카(Hintikka)의 『지식과 믿음』(Knowledge and Belief, 1962)은 양상 프레임워크를 인식 연산자로 확장했으며, 이 세 가지 논리는 나중에 컴퓨터 과학과 게임 이론에서 광범위하게 응용되었습니다.

Debates

논리적 전지 문제

지식에 대한 가능세계 분석이 행위자가 자신이 아는 모든 논리적 귀결을 안다는 것을 잘못 함축하는지 여부, 그리고 양상 프레임워크를 포기하지 않고 자원 제한적이거나 파편화된 지식을 모델링하는 방법.

Key figures

• Arthur Prior
• Georg Henrik von Wright
• Jaakko Hintikka
• Robert Stalnaker

Seminal works

• vonwright1951
• prior1967
• hintikka1962

Frequently asked questions

이것들도 정말 양상 논리의 한 종류인가요?

네, 그렇습니다. 시간, 의무, 인식 논리는 모두 진리 양상 논리와 동일한 관계적 프레임 의미론을 사용하며, 접근성 관계가 어떻게 해석되는지(시간 순서, 의무적 이상성, 인식적 양립성)에서만 차이가 있습니다. 이러한 공유된 구조 때문에 결과와 기법들이 이들 사이에서 쉽게 이전됩니다.