최근 수정 시각 : 2022-01-15 20:32:21

직관 논리


논리학
Logics
{{{#!wiki style="margin: -0px -10px -5px; min-height: 28px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px; letter-spacing: -1px; word-break: keep-all"
<colbgcolor=#2ab5b5><colcolor=#fff>
비고전 논리
직관 논리 · 양상논리 · 초일관 논리 · 다치논리 · 선형논리 · 퍼지 논리 · 비단조 논리
형식 논리 명제 논리 · 술어 논리 · 논증의 재구성
비형식 논리
흑백논리 · 양비론 · 논증 · 삼단논법 · 순환논법 · 진영논리 · 편견 및 고정관념 · 논리적 오류 · 모순 · 궤변 · 딜레마
분야 논리철학 · 수리논리학
관련 문서 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보
}}}}}}}}} ||

1. 개요2. 역사

1. 개요

직관 논리( )는 수학적 직관주의에 의거하여 귀류법을 거부하는 논리학으로 역리와 배중률을 거부한다.

고전적인 논리들과 달리 정신적으로 활동을 기술하는 언어적 양식을 통해 연구하는 논리이다.

고전논리와도 연결되어 있지만 직관에서 고전으로는 넘어가도 과정에서 직관으로 못넘어가는 경우가 간혹 있다. 이 경우가 배중률, 이중부정 삭제, 그리고 퍼스의 법칙이다.

무한한 수의 서로 동치이지 않은 명제들이 있는데 이것이 리에게르-니시무라 사다리이다.

의미론이 다양하게 존재하는데 그 중 하나가 위상수학적 의미론이다. 이외에도 양상논리의 크립키모형도 쓸 수 있다.

2. 역사

헤겔이 수학 속 직관의 역할을 규명해냈고 브라우어르와 아런트의 공헌으로 수학적 직관주의가 발전하면서 지금에 이르게 되었다.