| 논리학 Logics | |||
| {{{#!wiki style="margin: -0px -10px -5px; min-height: 28px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -6px -1px -11px;" | <colbgcolor=#2ab5b5> 형식 논리 | 명제 논리(논리 연산 · 삼단논법(정언삼단논법) · 순환 논법) · 공리 · 진리치 · 술어 논리 · 논증(논증의 재구성) · 모순 · 역설 · 논리적 오류(논리적 오류/형식적 오류) · 변증법 | |
| <colcolor=#000,#fff> 비표준 논리 | 직관 논리 · 양상논리 · 초일관 논리 · 다치논리(퍼지논리) · 선형논리 · 비단조 논리 | ||
| 메타 논리 | 집합론 · 완전성 정리 · 불완전성 정리 | ||
| 비형식 논리 | 딜레마(흑백논리) | ||
| 비형식적 오류 | 귀납적 오류 · 심리적 오류 · 언어적 오류 · 자료적 오류 · 양비론 · 진영논리 · 편견 및 고정관념 · 궤변 · 거짓 등가성 | ||
| 분야 | 수리철학 · 수리논리학 | ||
| 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기 | |||
1. 개요
직관 논리(直觀 論理)는 수학적 직관주의에 의거하여 고전 논리의 실재론적 태도를 거부하는 논리학이다. 즉 직관주의 논리에서는 고전 논리의 간접적 귀류법을 받아들이지 않고, 배중률을 전제하지 않으므로 이중부정의 제거 또한 받아들이지 않는다.고전 논리의 실재론적 태도와는 달리 인식 독립적인 진리조건을 부정하므로, 정신적으로 활동을 기술하는 언어적 양식을 통해 연구하는 논리이다.
고전논리와도 연결되어 있지만 직관에서 고전으로는 넘어가도 과정에서 직관으로 못넘어가는 경우가 간혹 있다. 이 경우가 배중률, 이중부정 삭제, 그리고 퍼스의 법칙이다.
무한한 수의 서로 동치이지 않은 명제들이 있는데 이것이 리에게르-니시무라 사다리이다.
의미론이 다양하게 존재하는데 그 중 하나가 위상수학적 의미론이다. 이외에도 양상논리의 크립키모형도 쓸 수 있다.