| 논리학 Logics | |||
| {{{#!wiki style="margin: -0px -10px -5px; min-height: 28px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -6px -1px -11px;" | <colbgcolor=#2ab5b5> 형식 논리 | 명제 논리(논리 연산 · 삼단논법(정언삼단논법) · 순환 논법) · 공리 · 진리치 · 술어 논리 · 논증(논증의 재구성) · 모순 · 역설 · 논리적 오류(논리적 오류/형식적 오류) | |
| <colcolor=#000,#fff> 비표준 논리 | 직관 논리 · 양상논리 · 초일관 논리 · 다치논리(퍼지논리) · 선형논리 · 비단조 논리 | ||
| 메타 논리 | 집합론 · 완전성 정리 · 불완전성 정리 | ||
| 비형식 논리 | 딜레마(흑백논리) | ||
| 비형식적 오류 | 귀납적 오류 · 심리적 오류 · 언어적 오류 · 자료적 오류 · 양비론 · 진영논리 · 편견 및 고정관념 · 궤변 · 거짓 등가성 | ||
| 분야 | 수리철학 · 수리논리학 | ||
| 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기 | |||
1. 개요
다치논리(many valued logic, 多置論理)는 폴란드의 철학자이자 논리학자인 얀 우카시에비치가 제창한 것으로 명제의 진리치가 셋 이상인 논리를 말한다. 즉 진리치가 참과 거짓뿐이면 이치논리고 셋 이상이면 다치논리가 된다.유한치 다치논리가 있으며 무한치 다치논리도 존재한다. 이는 다치논리에 있어 널리 알려진 것이다.
2. 역사
배중률을 처음 알아낸 아리스토텔레스는 미래시점에서 배중률이 무효함을 지적했다. 그리고 우카시예비치를 필두로 여러 논리학자들이 다치논리를 발전시킨 결과 퍼지논리와의 연계도 가능해졌다.3. 활용
다중출력 불 함수나 전자회로를 나타낼 때 다치논리가 활용되며 컴퓨터과학 분야와 엮이고 있다.퍼지논리와도 엮이며 있으며 컴퓨터과학에선 없어선 안 될 중요한 소재로 자리잡았다.