|
논리학 Logics |
|||
|
{{{#!wiki style="margin: -0px -10px -5px; min-height: 28px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -6px -1px -11px;" |
<colbgcolor=#2ab5b5> 형식 논리 | 명제 논리( 논리 연산 · 삼단논법( 정언삼단논법) · 순환 논법) · 공리 · 진리치 · 술어 논리 · 논증( 논증의 재구성) · 모순 · 역설 · 논리적 오류( 논리적 오류/형식적 오류) · 변증법 | |
| <colcolor=#000,#fff> 비표준 논리 | 직관 논리 · 양상논리 · 초일관 논리 · 다치논리( 퍼지논리) · 선형논리 · 비단조 논리 | ||
| 메타 논리 | 집합론 · 완전성 정리 · 불완전성 정리 | ||
| 비형식 논리 | 딜레마( 흑백논리) | ||
| 비형식적 오류 | 귀납적 오류 · 심리적 오류 · 언어적 오류 · 자료적 오류 · 양비론 · 진영논리 · 편견 및 고정관념 · 궤변 · 거짓 등가성 | ||
| 분야 | 수리철학 · 수리논리학 | ||
| 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기 | |||
1. 개요
초일관 논리( 超 一 貫 論 理, paraconsistent logic)는 다치논리와 연관이 있으며 모순 허용의 논리로 고전논리에 비해 보수적이라고 알려져 있다. 그래서 모순허용논리( 矛 盾 許 容 論 里, inconsistency-tolerant logic)라고도 한다.2. 역사
페루의 철학자 프란치스코가 처음 창안한 이래 폴란드의 야스코프스키가 아리스토텔레스의 무모순성의 법칙을 비판하면서 양진주의를 발전시키게 된다. 미국의 피츠버그대에서 연구가 활발했으며 이후에도 꾸준히 연구가 진행되고 있다.3. 특징
모순된 정보를 받아들이면서도 모순되지 않은 결론을 도출해낼 수 있으며 거짓말쟁이의 역설에 대한 해결책을 제시할 수 있다.폭발률을 채용하지 않으며 양진주의와도 연관되어 있다. 모순허용논리에는 여러 가지가 있는데 그 중에는 항진식이 없는 것도 있다.
이가 대립은 불허하는 경향이 크기만 때문에 다치논리와도 엮이며 고전논리에 비해 상당히 보수적이고 신중하다.