양상 논리

논리학에서 양상 논리(樣相論理, 영어: modal logic)는 논리 체계의 일종으로, 명제의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다. 양상 논리는 일반 명제 논리의 기호 ( ∧ {\displaystyle \land } , ∨ {\displaystyle \lor } , ¬ {\displaystyle \lnot } , ⟹ {\displaystyle \implies } 등) 이외에도 다음과 같은 두 기호를 갖는다. ◻ {\displaystyle \Box } ◊ {\displaystyle \Diamond } 이들 사이에는 다음과 같은 관계가 있다. ¬ ◻ ¬ = ◊ {\displaystyle \lnot \Box \lnot =\Diamond } ¬ ◊ ¬ = ◻ {\displaystyle \lnot \Diamond \lnot =\Box } 이 두 기호는 여러 가지로 해석할 수 있으나, 일반적인 진리 양상 논리(alethic logic)에서는 다음과 같이 해석한다. ◻ P {\displaystyle \Box P} : 명제 P {\displaystyle P} 는 필연적으로 참이다. 즉, P {\displaystyle P} 는 모든 가능한 세계에서 참이다. ◊ P {\displaystyle \Diamond P} : 명제 P {\displaystyle P} 는 개연적으로 참이다. 즉, P {\displaystyle P} 가 참인 세계가 존재한다. 이 밖에도, 다르게 해석할 수도 있다. 예를 들어, ◻ P {\displaystyle \Box P} 를 다음과 같이 해석할 수 있다. 증명가능성 논리(영어: provability logic) ◻ P {\displaystyle \Box P} : 명제 P {\displaystyle P} 는 증명할 수 있다. ◊ P {\displaystyle \Diamond P} : 명제 P {\displaystyle P} 는 반증할 수 없다. 인식론적 논리(영어: epistemic logic): ◻ P {\displaystyle \Box P} : 명제 P {\displaystyle P} 가 참인 것을 안다. ◊ P {\displaystyle \Diamond P} : 명제 P {\displaystyle P} 가 거짓인 것을 알지 못한다. 의무론적 논리 (영어: deontological logic): ◻ P {\displaystyle \Box P} : 명제 P {\displaystyle P} 를 만족시킬 의무가 있다. ◊ P {\displaystyle \Diamond P} : 명제 P {\displaystyle P} 를 만족시키는 것이 허용된다. 양상 논리는 명제 논리의 공리 및 전건 긍정의 형식을 가진다. 이 밖에도, 양상 논리 고유의 다음과 같은 공리들이 있다. 우선, 가장 기본적인 양상 논리 K는 명제 논리에 다음과 같은 두 공리를 추가하여 얻는다. P ⊢ ◻ P {\displaystyle P\vdash \Box P} ◻ ( P ⟹ Q ) ⟹ ( ◻ P ⟹ ◻ Q ) {\displaystyle \Box (P\implies Q)\implies (\Box P\implies \Box Q)} 이 밖에도, 다음과 같은 공리들을 생각할 수 있다. (T공리) ◻ P ⟹ P {\displaystyle \Box P\implies P} 간혹 M공리로 불리기도 함 (4번 공리) ◻ P ⟹ ◻ ◻ P {\displaystyle \Box P\implies \Box \Box P} (5번 공리) ◊ P ⟹ ◻ ◊ P {\displaystyle \Diamond P\implies \Box \Diamond P} (B공리) P ⟹ ◻ ◊ P {\displaystyle P\implies \Box \Diamond P} 브라우어르(Brouwer)의 성씨의 머릿글자. (D공리) ◻ P ⟹ ◊ P {\displaystyle \Box P\implies \Diamond P} 주로 의무론적 논리에서 쓰임. 영어 deontology(의무론)의 머릿글자. (GL공리) ◻ ( ◻ P ⟹ P ) ⟹ ◻ P {\displaystyle \Box (\Box P\implies P)\implies \Box P} 간혹 L공리로 불리기도 함. 괴델-뢰브(Gödel–Löb)의 약자. K에 이 공리들 가운데 일부를 추가하면 다음과 같은 양상 논리들을 얻는다. T = K + T공리 K4 = K + 4번 공리 S4 = K + T공리 + 4번 공리 S5 = K + T공리 + 5번 공리 = S4 + 5번 공리 = S4 + B공리 D = K + D공리 D45 = K + D공리 + 4번 공리 + 5번 공리 GL = K + GL공리 다음을 보일 수 있다. 여기서는 모두 적어도 K를 가정한다. GL ⊢ 4, ¬T S5 ⊢ 4, D S4 + D ⊢ 5 즉, S4 + D = S5이다. 양상 논리에서 가장 많이 쓰이는 의미론은 크립키 모형(영어: Kripke model)로, 이를 통해 각종 양상 논리들의 모형을 정의할 수 있다. 크립키 의미론은 존재할 수 있는 세계인 '가능세계'를 가정하는 가능세계론에 근거한다. 일반적인 양상 논리 의미론에서는 순서쌍 ⟨ G , R ⟩ {\displaystyle \langle G,R\rangle } 이 정의된다. 우선 구조로서 정의되는 G는 가능세계(possible worlds)들의 (비공)집합이며, 접근가능성 관계(accessibility relation)라 불리는 관계 R은 가능세계들 간의 이항관계이다. 예를 들어, w R u는 세계 u가 세계 w로부터 접근가능함을 뜻한다. 또한 현실세계(the actual world)도 정의할 수 있는데, 이는 G 속의 한 불변항 w ∗ {\displaystyle w*} 로 나타내어진다. 이제 가능 세계들과 양의 문자들(positive literals) 간의 관계 v를 정의하는데, 이는 위의 구조를 모형으로 확장시키기 위하여 G 속의 각 세계에 있어서 모든 명제들의 진리값을 특정하는 과정이다. 만약 v ( w , P ) {\displaystyle v(w,P)} 인 세계 w가 존재한다면, P는 w에 있어서 참이다. 이에 따라 모형은 ⟨ G , R , v ⟩ {\displaystyle \langle G,R,v\rangle } 가 된다. 이제 모형 안에서 세계 속의 논리식의 참을 재귀적으로 정의한다(iff는 필요충분조건): v ( w , P ) {\displaystyle v(w,P)} 이면 w ⊨ P {\displaystyle w\models P} 이다 w ⊨ ¬ P {\displaystyle w\models \neg P} iff w ⊭ P {\displaystyle w\not \models P} w ⊨ ( P ∧ Q ) {\displaystyle w\models (P\wedge Q)} iff w ⊨ P {\displaystyle w\models P} and w ⊨ Q {\displaystyle w\models Q} w ⊨ ◻ P {\displaystyle w\models \Box P} iff G의 모든 원소 u에 대하여 w R u 이면 u ⊨ P {\displaystyle u\models P} 일 때 w ⊨ ◊ P {\displaystyle w\models \Diamond P} iff G 일부 원소 u에 대하여 w R u이며 u ⊨ P {\displaystyle u\models P} 일 때 ⊨ P {\displaystyle \models P} iff w ∗ ⊨ P {\displaystyle w*\models P} 그러니 이러한 양상논리 의미론에서, 명제의 참 여부는 어떠한 가능세계 w 안에서만 결정될 수 있는 상대적 특성을 가진다. w에 접근가능한 모든 세계에 있어서 참이면 가능세계 w에서 필연적으로 참이고, w에 접근가능한 일부 세계에 있어서 참이면 가능세계 w에서 참임이 가능하다는 것이다. 양상 논리의 체계들은 거기에 대응되는 접근가능성 관계의 특성에 의하여 구별된다. 어떠한 접근가능성 관계가: 반사적(reflexive)이라 함은, G에 속하는 모든 w에 대하여 wRw이라는 것이다. 대칭적(symmetric)이라 함은, G에 속하는 모든 w, u에 대하여 wRu 이면 uRw이라는 것이다. 추이적(transitive)이라 함은, G에 속하는 모든 w,u,q에 대하여 wRu 이고 uRq 이면 wRq이라는 것이다. 연속적(serial)이라 함은, G에 속하는 각 w에 대하여 wRu 인 (G에 속하는) 어떤 u가 존재한다는 것이다. 유클리드적(Euclidean)이라 함은, 모든 u,t,w에 대하여 wRu 이고 wRt 이면 uRt이라는 것이다. 유클리드의 원론의 공리 1에 대응되기에 이러한 이름이 붙었으며, 대칭성과 추이성으로부터 도출될 수 있다. 이러한 조건들에 의하여 양상 공리 체계들을 설명하면: K := 조건 없음 D := 연속적 T := 반사적 B := 반사적, 대칭적 S4 := 반사적, 추이적 S5 := 반사적, 유클리드적 S4의 경우, 위상 공간으로서 의미론을 정의할 수 있다. 이 경우, 대응성은 다음과 같다. 이 경우, S4의 공리들은 내부와 폐포의 성질로 해석할 수 있다. 1차 논리 인식 논리 여훈근 (2000년 6월 17일). 《논리철학》. 인문사회과학총서 40. 고려대학교 출판부. ISBN 89-7641-409-8. 2016년 5월 28일에 원본 문서에서 보존된 문서. 2020년 1월 20일에 확인함.  김우진 (2012). 《양상논리와 형이상학》 2판. 새들녘. ISBN 978-899624152-2.  CS1 관리 - 추가 문구 (링크) 신승철 (2004년 2월). “양상 논리의 이해” (PDF). 《프로그래밍언어논문지》 18 (1): R01. ISSN 1975-5961. [깨진 링크(과거 내용 찾기)] Blackburn, Patrick; Maarten de Rijke, Yde Venema (2001년 7월). 《Modal logic》. Cambridge Tracts in Theoretical Computer Science (영어) 53. Cambridge University Press. doi:10.1017/CBO9781107050884. ISBN 978-052180200-0. Zbl 0988.03006.  더 이상 지원되지 않는 변수를 사용함 (도움말) Chagrov, Aleksandr; Michael Zakharyaschev (1997). 《Modal logic》 (영어). Oxford University Press. ISBN 0-19-853779-4.  더 이상 지원되지 않는 변수를 사용함 (도움말) Chellas, B. F. (1980). 《Modal logic: an introduction》 (영어). Cambridge University Press. ISBN 0-521-22476-4.  Fitting, Melvin; R. L. Mendelsohn (1998). 《First Order Modal Logic》 (영어). Kluwer. ISBN 0-7923-5335-8.  더 이상 지원되지 않는 변수를 사용함 (도움말) Garson, James W. (2013). 《Modal logic for philosophers》 (영어) 2판. Cambridge University Press. doi:10.1017/CBO9781139342117. ISBN 978-110702955-2.  CS1 관리 - 추가 문구 (링크) Girle, Rod (2000). 《Modal logics and philosophy》 (영어). Acumen. ISBN 0-7735-2139-9.  Hughes, G. E.; M. J. Cresswell (1996). 《A new introduction to modal logic》 (영어). Routledge. ISBN 0-415-12599-5.  더 이상 지원되지 않는 변수를 사용함 (도움말) Snyder, D. Paul "Modal Logic and its applications", Van Nostrand Reinhold Company, 1971 Kracht, Marcus (1999) Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics No. 142. North Holland. “Modal logic”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Garson, James (2014년 5월 27일). “Modal logic”. 《Stanford Encyclopedia of Philosophy》 (영어).  Ballarin, Roberta (2010년 11월 16일). “Modern origins of modal logic”. 《Stanford Encyclopedia of Philosophy》 (영어). 2014년 10월 20일에 원본 문서에서 보존된 문서. 2014년 10월 15일에 확인함.  Verbrugge, Rineke (2010년 11월 9일). “Provability logic”. 《Stanford Encyclopedia of Philosophy》 (영어).  이 문서에는 다음커뮤니케이션(현 카카오)에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 내용을 기초로 작성된 글이 포함되어 있습니다.