문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) ===== 체계 S4 ===== 양상 논리체계 S4는 [[#s-4.2.2.3|체계 T]]에 다음 공리틀이 더해진 것이다: * '''공리틀 S4''': [math(\Box \phi \to \Box \Box \phi)] * 예시: (진리 양상 논리) "[[물|H,,2,,O]]가 [[물]]인 것이 '''필연적이라면''', H,,2,,O은 물이라는게 '''필연적이라는 것은 필연적이다'''." 공리틀 S4는 인식 논리에서 흔히 "KK 논제"라고 불리며, 공리틀 S4가 인식 논리에 적용되는지 여부는 [[인식론]]의 오래된 떡밥 중 하나다. 왜냐면 S4를 받아들이냐 마냐에 따라서 '[[지식]]' 개념 범위가 달라지는 것 같기 때문이다. * 예시: "눈 앞에 먹이가 있다는 것을 '''알면''', 눈 앞에 먹이가 있다는 것을 '''안다는 것을 안다'''." [[사람]]쯤 되는 인지 능력이 뛰어난 [[동물]]의 경우 눈 앞에 음식이 있다는 걸 알게 되면 '눈 앞에 음식이 있다!'는 것을 자기가 안다는 점도 아는 것 같다. 반면 [[청개구리]]의 경우 눈 앞에 [[파리(곤충)|파리]]가 날아다니는 것을 안다고 한들, '눈 앞에 파리가 있어!'라는 스스로의 앎에 대한 추상적인 앎을 가질만큼 뛰어난 인지 능력을 갖고 있는 것 같지는 않다. 즉 이런 청개구리 같은 사례를 지식에 포함시킬 것인지 여부가 S4 공리(혹은 KK 논제)를 두고 벌어지는 떡밥 중 하나다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기