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