가능세계 (Possible World)
한 줄 정의: 현실 세계와 다르게 사물이 존재하거나 사건이 전개될 수 있는 방식을 완전하고 정합적으로 기술한 대안적 세계 전체를 가리키는 형이상학·논리학의 개념 도구이다.
쉽게 풀면
가능세계는 '만약 세상이 이랬다면 어땠을까'를 논리적으로 엄밀하게 다루기 위해 철학자들이 고안한 개념이다. 예를 들어 '나폴레옹이 워털루 전투에서 이겼을 수도 있었다'는 말은, 나폴레옹이 승리한 가능세계가 존재한다는 뜻으로 분석할 수 있다. 현실 세계도 여러 가능세계 중 실제로 실현된 하나로 취급된다.
논문에서는 이렇게 쓰입니다
"크립키의 가능세계 의미론은 양상논리 문장의 진리 조건을 가능세계들에 대한 양화로 규정한다."
'필연적으로 P이다'를 '모든 가능세계에서 P이다'로, '가능하게 P이다'를 '어떤 가능세계에서 P이다'로 번역해 양상 문장의 참거짓을 엄밀히 분석하는 크립키식 가능세계 의미론의 기본 아이디어를 설명한다.
주의할 점
가능세계가 실제로 물리적으로 존재하는 병렬 우주라고 보는 극단적 실재론(데이비드 루이스)과, 단지 유용한 개념적 도구일 뿐이라고 보는 온건한 입장이 나뉜다는 점에 유의해야 한다.