최근 수정 시각 : 2022-01-11 15:12:27

다치논리


논리학
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. 역사3. 활용

1. 개요

다치논리()는 우카시에비치가 처음 제창한 것으로 명제치가 셋 이상인 논리. 즉 진리치가 참과 거짓뿐이면 이치논리고 셋 이상이면 다치논리가 된다.

유한치 다치논리가 있으며 무한치 다치논리도 존재한다. 이는 다치논리에 있어 널리 알려진 것이다. 물론 4치논리도 존재한다.

2. 역사

배중률을 처음 알아낸 아리스토텔레스는 미래시점에서 배중률이 무효함을 지적했다. 그리고 우카시예비치를 필두로 여러 논리학자들이 다치논리를 발전시킨 결과 퍼지논리와의 연계도 가능해졌다.

3. 활용

다중출력 불 함수나 전자회로를 나타낼 때 다치논리가 활용되며 컴퓨터과학 분야와 엮이고 있다.

퍼지논리와도 엮이며 있으며 컴퓨터과학에선 없어선 안 될 중요한 소재로 자리잡았다.