논리학에서 양상 논리(樣相論理, 영어: modal logic)는 논리 체계의 일종으로, 명제의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다.
양상 논리에서 가장 많이 쓰이는 의미론은 크립키 모형(영어: Kripke model)로, 이를 통해 각종 양상 논리들의 모형을 정의할 수 있다. 크립키 의미론은 존재할 수 있는 세계인 '가능세계'를 가정하는 가능세계론에 근거한다.
일반적인 양상 논리 의미론에서는 순서쌍
이 정의된다. 우선 구조로서 정의되는 G는 가능세계(possible worlds)들의 (비공)집합이며, 접근가능성 관계(accessibility relation)라 불리는 관계 R은 가능세계들 간의 이항관계이다. 예를 들어, w R u는 세계 u가 세계 w로부터 접근가능함을 뜻한다. 또한 현실세계(the actual world)도 정의할 수 있는데, 이는 G 속의 한 불변항
로 나타내어진다.
이제 가능 세계들과 양의 문자들(positive literals) 간의 관계 v를 정의하는데, 이는 위의 구조를 모형으로 확장시키기 위하여 G 속의 각 세계에 있어서 모든 명제들의 진리값을 특정하는 과정이다. 만약
인 세계 w가 존재한다면, P는 w에 있어서 참이다. 이에 따라 모형은
가 된다.
이제 모형 안에서 세계 속의 논리식의 참을 재귀적으로 정의한다(iff는 필요충분조건):
이면
이다
iff ![{\displaystyle w\not \models P}](//wikimedia.org/api/rest_v1/media/math/render/svg/606e784fb8b0bb84442cb3979ae6735b2c029803)
iff
and ![{\displaystyle w\models Q}](//wikimedia.org/api/rest_v1/media/math/render/svg/b462edb986598d2b8373f69b180d1f4122b17981)
iff G의 모든 원소 u에 대하여 w R u 이면
일 때
iff G 일부 원소 u에 대하여 w R u이며
일 때
iff ![{\displaystyle w*\models P}](//wikimedia.org/api/rest_v1/media/math/render/svg/89ebe382bd30ff786c785a59f91fded7c7d703b7)
그러니 이러한 양상논리 의미론에서, 명제의 참 여부는 어떠한 가능세계 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의 공리들은 내부와 폐포의 성질로 해석할 수 있다.
- 여훈근 (2000년 6월 17일). 《논리철학》. 인문사회과학총서 40. 고려대학교 출판부. ISBN 89-7641-409-8. 2016년 5월 28일에 원본 문서에서 보존된 문서. 2020년 1월 20일에 확인함.
- 김우진 (2012). 《양상논리와 형이상학》 2판. 새들녘. ISBN 978-899624152-2.
- 신승철 (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.
- 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.