두 기록이 충돌한다고 합시다. 한 기록에는 ‘창고가 열려 있었다’, 다른 기록에는 ‘창고가 열려 있지 않았다’고 적혀 있습니다. 이 모순 때문에 ‘기차가 늦었다’ 같은 전혀 다른 문장까지 참이라고 결론 내릴 수 있을까요? 파라일관 논리는 불일치를 품은 자료에서도 추론을 계속하는 방법을 연구합니다.
연구를 읽는 두 가지 질문
폭발을 막는 결과 관계
Tanaka와 동료들의 2026년 4월 17일 개정 해설은 A와 ¬A로부터 임의의 B가 따라오는 폭발 원리를 기준으로 파라일관성을 정의합니다. 파라일관 결과 관계에서는 이 추론이 일반적으로 성립하지 않습니다. 따라서 모순이 있어도 이론이 모든 문장을 포함하는 사소한 체계로 무너지지 않도록 통제할 수 있습니다. [1]
파라일관성과 참인 모순은 다른 주장입니다
해설은 결과 관계의 성질인 파라일관성과 일부 모순이 참이라는 철학적 견해인 다이알레테이즘을 명시적으로 구분합니다. 비폭발적 논리를 채택했다고 해서 실제 세계에 참인 모순이 있다고 약속하는 것은 아닙니다. 또한 파라일관 논리는 하나의 체계 이름이 아니라 여러 체계가 공유하는 성질입니다. [1]
자동추론과 믿음 수정에 쓰이는 이유
정보시스템은 서로 다른 데이터베이스·센서·사람의 보고를 결합하며 불일치를 만납니다. 모든 추론을 멈추거나 임의의 결론을 허용하는 대신, 어떤 전제 묶음이 어떤 결론을 지지하는지 추적할 필요가 있습니다. 공개 해설은 자동추론과 믿음 수정, 형식 의미론을 동기로 다루지만 특정 응용의 정확도를 실험한 보고서는 아닙니다. [1]
읽을 때 확인할 검수 기준
형식 규칙을 적용할 때는 기호 이름보다 전제·허용 규칙·얻은 결론을 한 줄씩 기록합니다. 고전논리에서 익숙한 변환이 이 체계에서도 허용되는지 먼저 확인하고, 다른 체계의 결론을 몰래 가져오지 않습니다. 같은 자연어 문장도 어떤 증명 기준을 택했는지에 따라 요구되는 근거가 달라질 수 있으므로 범례에 체계 이름과 규칙을 표시합니다. [1]
두 출입 기록이 충돌할 때
LTCT 자체 예시입니다. 기록 1은 ‘08:00에 문이 열림’, 기록 2는 ‘08:00에 문이 닫힘’이라고 합니다. 동시에 기록 3은 ‘09:00에 관리자가 점검함’이라고 합니다. 앞의 충돌만으로 ‘09:00 점검이 없었다’를 얻으면 관련성 없는 폭발입니다.
도식에서는 충돌 노드를 붉은 테두리로 묶고, 점검 결론은 기록 3에서만 화살표를 받습니다. 학습자는 결론마다 실제로 사용한 전제 경로를 표시합니다. 모순을 숨기지 않으면서도 근거의 범위를 제한하는 연습입니다.
두 보고서가 충돌하면 먼저 출처·시각·측정 정의를 확인합니다. ‘문이 열림’이 잠금장치 해제인지 실제 출입 가능한 상태인지가 다르면 겉보기 모순이 해소될 수 있습니다. 모순이 남는다면 어느 결론이 어느 기록에 의존하는지 표시하고 충돌과 무관한 증거는 보존합니다. 평가자는 학습자가 모순을 발견했는지뿐 아니라 관련 없는 결론으로 폭발시키지 않았는지, 충돌을 해결할 추가 관찰을 제안했는지를 봅니다. 이 절차는 파라일관 논리의 형식체계 자체를 구현한 것이 아니라 핵심 구분을 교육적으로 연습하는 방식입니다.
어디까지 말할 수 있을까요?
- 비폭발적이라고 해서 모순을 무시하거나 자료 품질 검사를 생략해도 된다는 뜻은 아닙니다.
- 어떤 파라일관 체계를 택하느냐에 따라 유지되는 규칙과 의미론이 달라집니다. 여기서는 공통 정의만 소개합니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
논증지도 문항에서 충돌한 전제 묶음을 표시하고, 그 모순과 무관한 결론까지 확장한 선을 찾아 삭제하게 할 수 있습니다.
다중 출처 평가에서는 ‘자료가 불일치한다’와 ‘어떤 결론도 낼 수 없다’를 별도 선택지로 두어 과잉 일반화를 점검할 수 있습니다.
A와 ¬A가 있을 때 C를 결론 내리려면 무엇이 더 필요할까요?
생각을 비교할 해설 펼치기
C와 관련된 별도 전제나 허용된 추론 규칙이 필요합니다. 모순의 존재만으로 임의의 C가 따라오지는 않습니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
파라일관 논리 (Paraconsistent Logic)
Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli (2026). The Stanford Encyclopedia of Philosophy.
- 자료 성격
- 전문가 집필 학술 백과 해설
- 읽은 버전
- 1996-09-24 최초 공개, 2026-04-17 실질 개정
- 확인 범위
- 정의, 역사, 동기, 자동추론·믿음수정, 주요 체계의 공개 본문
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.