논리학과 가능 세계: 언어학적 적용

논리 의미론에서 언어 발화체는 발화체의 진리조건을 파악하지 않고는 이해될 수 없다고 여긴다. 발화체를 이해하는 것은 즉 발화체를 참으로 만들어 주는 조건을 파악하는 것이다. 논리학의 핵심인 진리의 개념에 근거하여 의미를 분석하는 것은 많은 수의 발화체를 다루기에 용이한 방법이다. 실상 해석 의미론이나 지향적 의미론과 같은 많은 의미 연구 분야에서 논리를 표상과 분석 도구로 사용한다. 그럼에도 논리 의미론은 어느 정도 제약을 받으며 발화체를 적절하게 다루지 못한다. 발화체의 진리조건을 모르거나 발화체의 진리가 현실(actuel) 세계에 타당한 것이 아니어서 그러하다. 본고에서는 야코 힌티카(Jaakko Hintikka)와 솔 크립키(Saul Kripke)의 가능(possible) 세계에 대한 생각을 소개하고 논리 의미론이 좀처럼 잘 다루지 않는 발화체의 몇몇 부류들에서 이들의 기여를 알아보고자 한다. 우리는 실현되지 않은 몇몇 발화체를 가능 세계의 의미론 틀에서 설명되는 발화체를 형식 언어로 표상하여 분석할 것이다. 마지막으로 본 연구는 간략하게 가능세계와 진리의 상관성이나 다른 가능 세계를 통해 동일한 개인이 지속됨과 같이 의미론에서 마주할 수 있는 몇몇 난제들을 논해보고자 한다.