Abstract

The Worlds of Possibility (1998)에서 찰스 치하라는 S5 양상 양화 논리에 대한 현실주의적 모형 이론 의미론을 제시한다. 치하라의 의미론은 단지 가능하기만한 대상이 존재한다는 가정을 수반하지 않기에 현실주의적이다. 본 논문은 치하라의 의미론의 핵심 개념인 참과 만족 개념에 대해 자세한 분석, 해석, 재정식화를 제시하여, 치하라의 의미론에 대해 제기될 수 있는 여러 문제들을 해결하고자 한다. 치하라의 의미론의 ‘참’ 술어가 단항이 아닌 이항 술어로 이해되어야 하고, 만족 개념은 의미 장치가 있는 준거점과 문장의 진리값이 평가되는 평가점에 상대화된 삼항 관계로 이해되어야 한다고 논증한다.