13주: 양상해석과 서울해석 1. 양상논리학과 양상해석 양상논리학이란 ‘필연성(necessity)’과 ‘가능성(possibility)’ 및 이와 관계된 개념들을 다루는 논리학이다. 이를 위해 두 개의 문장 연산자 ◇과 □을 도입한다. 예를 들어 문장 Q가 ‘1+1=2’라고 할 때, □Q는 ‘1+1은 필연적으로 2이다’라는 문장이다. 만약 문장 P가 ‘돼지는 날 수 있다’라면, ◇P는 ‘돼지는 날 수 있었을 수도 있다’라는 문장이다. ‘필연성’과 ‘가능성’ 개념을 이해하는 한 방법은 ‘가능세계’를 도입하는 것이다. ‘가능세계’를 도입할 경우, 명제 P가 ‘필연적으로 참’이라는 것은 ‘모든 가능세계에서 P가 참임’을 의미하고, 명제 P가 ‘가능적으로 참’이라는 것은 ‘적어도 하나 이상의 가능세계에서 P가 참..