{{위키데이터 속성 추적}}
[[논리학]]에서 '''양상 논리'''(樣相論理, {{llang|en|modal logic}})는 논리 체계의 일종으로, [[명제]]의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다.

== 정의 ==
=== 통사론 ===
양상 논리는 일반 [[명제 논리]]의 기호 (<math>\land</math>, <math>\lor</math>, <math>\lnot</math>, <math>\implies</math> 등) 이외에도 다음과 같은 두 기호를 갖는다.
:<math>\Box</math>
:<math>\Diamond</math>
이들 사이에는 다음과 같은 관계가 있다.
:<math>\lnot\Box\lnot=\Diamond</math>
:<math>\lnot\Diamond\lnot=\Box</math>
이 두 기호는 여러 가지로 해석할 수 있으나, 일반적인 진리 양상 논리(alethic logic)에서는 다음과 같이 해석한다.
* <math>\Box P</math>: 명제 <math>P</math>는 필연적으로 참이다. 즉, <math>P</math>는 모든 가능한 세계에서 참이다.
* <math>\Diamond P</math>: 명제 <math>P</math>는 개연적으로 참이다. 즉, <math>P</math>가 참인 세계가 존재한다.
이 밖에도, 다르게 해석할 수도 있다. 예를 들어, <math>\Box P</math>를 다음과 같이 해석할 수 있다.
* [[증명가능성]] 논리({{llang|en|provability logic}})
** <math>\Box P</math>: 명제 <math>P</math>는 증명할 수 있다.
** <math>\Diamond P</math>: 명제 <math>P</math>는 반증할 수 없다.
* [[인식 논리|인식론적 논리]]({{llang|en|epistemic logic}}):
** <math>\Box P</math>: 명제 <math>P</math>가 참인 것을 안다.
** <math>\Diamond P</math>: 명제 <math>P</math>가 거짓인 것을 알지 못한다.
* [[의무론]]적 논리 ({{llang|en|deontological logic}}):
** <math>\Box P</math>: 명제 <math>P</math>를 만족시킬 의무가 있다.
** <math>\Diamond P</math>: 명제 <math>P</math>를 만족시키는 것이 허용된다.

=== 공리계 ===
양상 논리는 [[명제 논리]]의 공리 및 [[전건 긍정의 형식]]을 가진다. 이 밖에도, 양상 논리 고유의 다음과 같은 공리들이 있다. 우선, 가장 기본적인 양상 논리 '''K'''는 명제 논리에 다음과 같은 두 공리를 추가하여 얻는다.
:<math>P\vdash\Box P</math>
:<math>\Box (P\implies Q)\implies(\Box P\implies\Box Q)</math>

이 밖에도, 다음과 같은 공리들을 생각할 수 있다.
:(T공리) <math>\Box P\implies P</math>
::간혹 M공리로 불리기도 함
:(4번 공리) <math>\Box P\implies\Box\Box P</math>
:(5번 공리) <math>\Diamond P\implies\Box\Diamond P</math>
:(B공리) <math>P\implies\Box\Diamond P</math>
::[[라위트전 브라우어르|브라우어르]](Brouwer)의 성씨의 머릿글자.
:(D공리) <math>\Box P\implies\Diamond P</math>
::주로 의무론적 논리에서 쓰임. 영어 deontology(의무론)의 머릿글자.
:(GL공리) <math>\Box(\Box P\implies P)\implies\Box P</math>
::간혹 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'''이다.

== 의미론 ==
양상 논리에서 가장 많이 쓰이는 의미론은 '''[[크립키 모형]]'''({{llang|en|Kripke model}})로, 이를 통해 각종 양상 논리들의 모형을 정의할 수 있다. 크립키 의미론은 존재할 수 있는 세계인 '가능세계'를 가정하는 [[가능세계론]]에 근거한다.

일반적인 양상 논리 의미론에서는 순서쌍 <math>\langle G, R\rangle</math>이 정의된다. 우선 구조로서 정의되는 G는 '''가능세계'''(possible worlds)들의 (비공)집합이며, '''접근가능성 관계'''(accessibility relation)라 불리는 관계 R은 가능세계들 간의 이항관계이다. 예를 들어, w R u는 세계 u가 세계 w로부터 접근가능함을 뜻한다. 또한 '''현실세계'''(the actual world)도 정의할 수 있는데, 이는 G 속의 한 불변항 <math>w*</math>로 나타내어진다.

이제 가능 세계들과 양의 문자들(positive literals) 간의 관계 v를 정의하는데, 이는 위의 구조를 [[모형 (논리학)|모형]]으로 확장시키기 위하여 G 속의 각 세계에 있어서 모든 명제들의 [[진리값]]을 특정하는 과정이다. 만약 <math>v(w, P)</math>인 세계 w가 존재한다면, P는 w에 있어서 참이다. 이에 따라 모형은 <math>\langle G, R, v \rangle</math>가 된다.

이제 모형 안에서 세계 속의 논리식의 참을 재귀적으로 정의한다(iff는 필요충분조건):

* <math>v(w, P)</math> 이면 <math>w \models P</math> 이다
* <math>w \models \neg P</math> iff <math>w \not \models P</math>
* <math>w \models (P \wedge Q) </math> iff <math>w \models P</math> and <math>w \models Q</math>
* <math>w \models \Box P</math> iff ''G''의 모든 원소 ''u''에 대하여 ''w R u'' 이면 <math>u \models P</math> 일 때
* <math>w \models \Diamond P</math> iff ''G'' 일부 원소 ''u''에 대하여 ''w R u''이며 <math>u \models P</math> 일 때
* <math>\models P</math> iff <math>w* \models P</math>

그러니 이러한 양상논리 의미론에서, 명제의 참 여부는 어떠한 가능세계 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의 경우, [[위상 공간 (수학)|위상 공간]]으로서 의미론을 정의할 수 있다. 이 경우, 대응성은 다음과 같다.
{| class="wikitable"
|-
! S4 양상 논리 !! 위상수학
|-
| 명제 <math>\phi,\chi</math> || 위상 공간의 부분집합 <math>S,T\subset X</math>
|-
| [[논리합]] <math>\phi\lor\chi</math> || [[합집합]] <math>S\cup T</math>
|-
| [[논리곱]] <math>\phi\land\chi</math> || [[교집합]] <math>S\cap T</math>
|-
| [[함의]] <math>\phi\to\chi</math> || <math>(X\setminus S)\cup T</math>
|-
| 부정 <math>\lnot\phi</math> || <math>X\setminus S</math>
|-
| <math>\Box\phi</math> || [[내부 (위상수학)|내부]] <math>\operatorname{int}(S)</math>
|-
| <math>\Diamond\phi</math> || [[폐포 (위상수학)|폐포]] <math>\operatorname{cl}(S)</math>
|}
이 경우, S4의 공리들은 내부와 폐포의 성질로 해석할 수 있다.

== 같이 보기 ==
* [[1차 논리]]
* [[인식 논리]]

== 각주 ==
{{각주}}
* {{서적 인용|url=http://www.kupress.com/books/논리철학/|저자=여훈근|제목=논리철학|날짜=2000-06-17|isbn=89-7641-409-8|총서=인문사회과학총서|권=40|출판사=고려대학교 출판부|언어=ko|확인날짜=2020-01-20|보존url=https://web.archive.org/web/20160528164722/http://www.kupress.com/books/%eb%85%bc%eb%a6%ac%ec%b2%a0%ed%95%99/|보존날짜=2016-05-28|url-status=dead}}
* {{서적 인용|제목=양상논리와 형이상학|저자=김우진|출판사=새들녘|isbn=978-899624152-2|날짜=2012|판=2판|언어=ko}}
* {{저널 인용|제목=양상 논리의 이해|저자=신승철|url=http://sigpl.or.kr/journal/2004/1/R01.pdf|저널=프로그래밍언어논문지|권=18|호=1|쪽=R01|날짜=2004-02|issn=1975-5961|언어=ko}}{{깨진 링크|url=http://sigpl.or.kr/journal/2004/1/R01.pdf }}
* {{서적 인용|성=Blackburn|이름=Patrick|공저자=Maarten de Rijke, Yde Venema|날짜=2001-07|제목=Modal logic|출판사= Cambridge University Press|isbn=978-052180200-0|총서=Cambridge Tracts in Theoretical Computer Science|권=53|doi=10.1017/CBO9781107050884|zbl=0988.03006|언어=en}}
* {{서적 인용|성=Chagrov|이름=Aleksandr|공저자=Michael Zakharyaschev|날짜=1997|제목=Modal logic|출판사=Oxford University Press|isbn=0-19-853779-4|언어=en}}
*{{서적 인용|성=Chellas|이름=B. F.|날짜=1980|제목=Modal logic: an introduction|출판사=Cambridge University Press|isbn=0-521-22476-4|언어=en}}
*{{서적 인용|성=Fitting|이름=Melvin|공저자=R. L. Mendelsohn|날짜=1998|제목=First Order Modal Logic|출판사=Kluwer|isbn=0-7923-5335-8|언어=en}}
*{{서적 인용|이름=James W.|성=Garson|날짜=2013|제목=Modal logic for philosophers|판=2판|출판사=Cambridge University Press|isbn=978-110702955-2|doi=10.1017/CBO9781139342117|언어=en}}
*{{서적 인용|성=Girle|이름=Rod|날짜=2000|제목=Modal logics and philosophy|출판사=Acumen|isbn=0-7735-2139-9|언어=en}}
*{{서적 인용|성=Hughes|이름=G. E.|공저자=M. J. Cresswell|날짜=1996|제목=A new introduction to modal logic|출판사=Routledge|isbn=0-415-12599-5|언어=en}}
*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.

== 외부 링크 ==
* {{eom|title=Modal logic}}
* {{웹 인용|url=http://plato.stanford.edu/entries/logic-modal/|제목=Modal logic|웹사이트=Stanford Encyclopedia of Philosophy|날짜=2014-05-27|성=Garson|이름=James|언어=en}}
* {{웹 인용|url=http://plato.stanford.edu/entries/logic-modal-origins/|제목=Modern origins of modal logic|웹사이트=Stanford Encyclopedia of Philosophy|날짜=2010-11-16|성=Ballarin|이름=Roberta|언어=en|확인날짜=2014-10-15|보존url=https://web.archive.org/web/20141020091113/http://plato.stanford.edu/entries/logic-modal-origins/|보존날짜=2014-10-20|url-status=dead}}
* {{웹 인용|url=http://plato.stanford.edu/entries/logic-provability/|제목=Provability logic|웹사이트=Stanford Encyclopedia of Philosophy|날짜=2010-11-09|성=Verbrugge|이름=Rineke|언어=en}}

{{글로벌세계대백과사전}}

{{논리학}}

{{전거 통제}}

[[분류:양상 논리| ]]
[[분류:논리학]]
[[분류:양상]]