직관 논리
덤프버전 :
분류
1. 개요[편집]
직관 논리(直觀 論理)는 수학적 직관주의에 의거하여 귀류법을 거부하는 논리학으로 역리와 배중률을 거부한다.
고전적인 논리들과 달리 정신적으로 활동을 기술하는 언어적 양식을 통해 연구하는 논리이다.
고전논리와도 연결되어 있지만 직관에서 고전으로는 넘어가도 과정에서 직관으로 못넘어가는 경우가 간혹 있다. 이 경우가 배중률, 이중부정 삭제, 그리고 퍼스의 법칙이다.
무한한 수의 서로 동치이지 않은 명제들이 있는데 이것이 리에게르-니시무라 사다리이다.
의미론이 다양하게 존재하는데 그 중 하나가 위상수학적 의미론이다. 이외에도 양상논리의 크립키모형도 쓸 수 있다.
2. 역사[편집]
헤겔이 수학 속 직관의 역할을 규명해냈고 브라우어르와 아런트의 공헌으로 수학적 직관주의가 발전하면서 지금에 이르게 되었다.
이 문서의 내용 중 전체 또는 일부는 2023-12-18 00:59:21에 나무위키 직관 논리 문서에서 가져왔습니다.