가능세계 의미론 (Possible World Semantics)
한 줄 정의: 양상 논리 문장의 진리 조건을 가능세계들의 집합과 그 세계들 사이의 접근 관계를 이용해 정의하는 형식 의미론이다.
쉽게 풀면
가능세계 의미론은 '필연적으로 P이다'라는 문장을 '모든 가능세계에서 P가 참이다'로, '가능하게 P이다'를 '적어도 하나의 가능세계에서 P가 참이다'로 번역해서 그 참거짓을 엄밀하게 분석하는 방법이다. 이를 통해 필연성과 가능성 개념을 정확한 수학적 도구로 다룰 수 있게 되었다.
논문에서는 이렇게 쓰입니다
"크립키의 가능세계 의미론은 접근 관계의 속성(반사성, 대칭성 등)에 따라 서로 다른 양상논리 체계들을 구별해낸다."
가능세계들 사이에 설정되는 접근 관계가 반사적인지, 대칭적인지, 추이적인지에 따라 서로 다른 공리 체계를 갖는 양상논리(T, S4, S5 등)가 구별된다는 것을 설명한다.
주의할 점
가능세계 의미론에서 말하는 '가능세계'가 실제로 존재하는 것인지, 아니면 단지 유용한 형식적 도구인지는 별개의 형이상학적 논쟁이라는 점에서 의미론 자체와 혼동하지 않아야 한다.