양상논리 (Modal Logic)
쉽게 풀면
양상논리는 '반드시 그렇다(필연)'나 '그럴 수도 있다(가능)'는 표현을 논리 기호로 다루는 논리학의 한 분야이다. 예를 들어 '□P'는 'P는 필연적으로 참이다'를, '◇P'는 'P는 가능하게 참이다'를 뜻하는 기호로 쓰이며, 이 둘 사이의 논리적 관계를 엄밀하게 분석한다.
왜 중요한가
필연성과 가능성 같은 양상 개념을 형식적으로 다루는 양상논리로, 가능세계 의미론과 결합해 형이상학·언어철학의 여러 논증을 엄밀하게 형식화하는 도구로 활용된다.
논문에서는 이렇게 쓰입니다
솔 크립키가 필연성과 가능성을 가능세계에 대한 양화로 해석하는 의미론을 제시함으로써, 이전까지 직관적으로만 다뤄지던 양상논리가 엄밀한 수학적 토대를 얻게 되었다는 학문사적 전환을 설명한다.
'반드시 그렇다'와 '그럴 수도 있다'는 서로 뒤집어서 표현할 수 있는 관계라는 점을 논리적으로 보인 것이다.
조금 더 깊게 보면
양상연산자가 적용되는 접근관계의 성질에 따라 서로 다른 공리체계(T, S4, S5 등)가 성립하므로, 다루려는 양상 개념(논리적·형이상학적·인식적 필연성)에 맞는 적절한 체계 선택이 중요하다. 양상연산자가 적용되는 접근관계의 성질에 따라 서로 다른 공리체계(T, S4, S5 등)가 성립하므로, 다루려는 양상 개념(논리적·형이상학적·인식적 필연성)에 맞는 적절한 체계 선택이 중요하다. 예를 들어 논리적 필연성처럼 모든 세계가 서로 접근 가능하다고 보는 경우에는 접근관계가 동치관계인 S5 체계가 적합하지만, 인식논리에서는 '모르는 것은 모른다는 것을 안다'는 부정적 내성 공리(5)가 비현실적이라는 이유로 S4 같은 더 약한 체계가 제안되기도 한다.
주의할 점
양상논리는 필연성·가능성뿐 아니라 시간(시제논리), 의무(의무논리), 지식(인식논리) 등 다양한 종류의 '양상'을 다루는 여러 하위 체계로 확장된다는 점을 알아두어야 한다. 양상논리는 필연성·가능성뿐 아니라 시간(시제논리), 의무(의무논리), 지식(인식논리) 등 다양한 종류의 '양상'을 다루는 여러 하위 체계로 확장된다는 점을 알아두어야 하며, 각 하위 체계마다 연산자의 의미 해석과 타당한 공리가 서로 다르다는 점도 구분해야 한다.