최근 수정 시각 : 2022-11-06 00:01:31

다치논리


논리학
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=#000,#fff> 비표준 논리 직관 논리 · 양상논리 · 초일관 논리 · 다치논리( 퍼지논리) · 선형논리 · 비단조 논리
메타 논리 집합론 · 불완전성 정리
비형식 논리 딜레마( 흑백논리)
비형식적 오류 귀납적 오류 · 심리적 오류 · 언어적 오류 · 자료적 오류 · 양비론 · 진영논리 · 편견 및 고정관념 · 궤변
분야 논리철학 · 수리논리학
철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기
}}}}}}}}} ||

1. 개요2. 역사3. 활용

1. 개요

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

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

2. 역사

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

3. 활용

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

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

분류