문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) == 개요 == 양상논리([[樣]][[相]][[論]][[理]], modal logic)는 [[논리학#s-2.2.1|표준적인 논리학]]을 확장하여, '''가능성'''이나 '''필연성''', '''당위'''와 '''허용''' 같은 '''양상(''Modality'')'''을 표현하고자 하는 논리체계이다. 즉 양상 논리의 목표는 다음과 같은 명제들 간의 논리적 도출 관계를 체계화하는 것이다: * "사람은 '''반드시''' 생물이다." * "[[고틀로프 프레게]]는 수학자가 아니라 화가'''였을 수도 있다.'''" * "굶는 사람이 있다면, 밥을 주는 것이 '''마땅하다'''." * "사람이 죽는 것은 '''필연적'''이다. 따라서 사람은 죽는다." * "태양계의 행성이 8개인 것은 '''필연적인 것'''이 아니다. 따라서 태양계의 행성이 8개가 아닌 것은 '''가능하다'''."저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기