문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) ===== 체계 T ===== 양상 논리체계 T는 [[#s-4.2.2.2|체계 D]]에 다음 공리틀이 더해진 것이다: * '''공리틀 T''': [math(\Box \phi \to \phi)] * 예시: (진리 양상 논리) "[[물|H,,2,,O]]가 [[물]]인 것이 '''필연적이라면''', H,,2,,O는 '''실제로''' 물이다." 공리틀 T는 당위 논리에 포함되선 안된다고 여겨지는게 일반적이다. 공리틀 T가 당위 논리에 적용된다고 해보자. 그렇다면 경우 다음과 같은 공리가 도출된다. * "친구들은 항상 서로 사이좋게 지내는 것이 '''마땅하다면''', 친구들은 '''실제로''' 항상 사이좋게 지낸다" 이게 참된 진술이라면 세상은 참 [[평화]]롭겠지만 안타깝게도 이는 명백히 거짓인 것 같다. 따라서 공리틀 T는 당위 논리에 적용될 수 없다고 받아들여진다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기