자료에 ‘문이 열렸다’와 ‘문이 열리지 않았다’가 함께 적혀 있다면, 여기서 ‘달은 치즈다’까지 결론 내릴 수 있을까요? 고전 논리의 폭발 원리에서는 모순 P와 ¬P로부터 임의의 Q를 이끌 수 있습니다. Graham Priest의 1979년 논문은 어떤 문장이 참이면서 거짓일 수 있는 역설 논리 LP를 제시하며, 모순이 있어도 관련 없는 모든 결론이 따라오지는 않는 체계를 설명합니다. 모순을 반기는 태도가 아니라, 모순을 발견한 뒤 추론 전체가 무너지지 않게 다루는 선택입니다.
연구를 읽는 두 가지 질문
LP는 무엇을 바꾸나?
저자 공개 게재판 PDF 전문을 확인했습니다. LP는 고전적인 참·거짓 평가에 ‘참이면서 거짓’인 경우를 허용하고, 지정값을 이용해 타당성을 정의합니다. 일부 고전 추론 규칙은 유지되지만 P와 ¬P만으로 임의의 Q가 나오지는 않습니다. 저자는 거짓말쟁이 역설과 집합론적 역설을 다루기 위한 동기를 제시하고, 의미론과 추론 관계를 전개합니다. 여기서 ‘모순이 참일 수 있다’와 ‘모든 모순을 믿어도 된다’는 전혀 다른 주장입니다. [1]
왜 아무 결론이나 나오지 않나?
타당성은 전제가 지정값을 가질 때 결론도 지정값을 가져야 한다는 보존 조건으로 판단됩니다. P와 ¬P가 둘 다 지정값이어도 무관한 Q가 지정값이라는 보장은 없습니다. 반면 P에서 P∨Q로 가는 식의 규칙처럼 LP에서도 보존되는 추론이 있습니다. 논리는 사용 목적에 따라 어떤 규칙을 보존하고 어떤 규칙을 포기하는지 명시해야 합니다. 고전 논리 자체가 틀렸다는 결론이 아니라, 모순 자료를 다루는 대안적 귀결 관계입니다. [1]
서버 상태 보고의 모순을 격리하기
LTCT 창작 사례에서 센서 A는 ‘서버 정상(P)’을, 로그 B는 ‘서버 비정상(¬P)’을 보고합니다. 고전적 폭발을 무비판적으로 적용하면 ‘백업이 완료됐다(Q)’와 같은 무관한 결론까지 얻는 형식이 되지만, 모순허용 추론은 P와 ¬P를 표시하고 Q에는 별도 근거를 요구합니다.
아래 활동에서 P와 ¬P, Q의 근거, 폭발 허용을 켜고 끄면 허용되는 결론 집합이 실제로 달라집니다. 이것은 LP 전체 증명기가 아니라 핵심 차이를 보여 주는 유한 교육 모형입니다.
교육에서는 학생에게 ‘모순 발견’, ‘모순의 원인 조사’, ‘현재 자료로 계속 가능한 추론’을 서로 다른 칸에 쓰게 합니다. 모순을 숨기지도, 모순 하나 때문에 모든 판단을 포기하지도 않도록 평가 기준을 나눕니다.
같은 전제를 고전 논리와 LP 두 열에 넣고 각 열에서 허용한 규칙을 적게 합니다. 결과가 다를 때는 어느 논리가 진짜냐고만 묻지 말고, 비폭발성이 필요한 자료 상황과 일관성 회복이 우선인 상황을 구분하게 합니다.
모순과 폭발 규칙을 켜고 결론을 비교하세요
전제와 추론 규칙을 켜고 결론 집합을 비교하세요. LP 전체 증명기가 아닌 교육용 모형입니다.
| 모순 | 허용된 결론 | Q 허용 |
|---|---|---|
| 예 | P, ¬P | 아니요 |
모순은 표시하지만 Q에는 별도 근거가 필요합니다.
어디까지 말할 수 있을까요?
- LP는 여러 모순허용 논리 가운데 하나이며 모든 역설과 실제 데이터 충돌을 자동 해결하지 않습니다.
- 자연어의 부정과 형식언어의 ¬를 동일시하려면 번역 규칙이 필요합니다.
- 모순을 허용한다는 것과 안전·법률 상황에서 상충 보고를 방치한다는 것은 다릅니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
서로 충돌하는 두 기록과 무관한 결론이 섞인 자료를 읽습니다. 학생은 사용할 논리 체계와 추론 규칙을 먼저 확인하고, 각 결론이 어느 전제에 의존하는지 선으로 연결합니다.
고전 논리와 모순을 제한적으로 다루는 체계의 결과를 비교합니다. 교사는 규칙을 혼용한 부분을 짚고, 모순의 발견과 결론의 허용 범위를 각각 설명하도록 합니다.
모순을 인정하면 무엇이든 참이라고 말해도 되나요?
생각을 비교할 해설 펼치기
아닙니다. LP의 핵심은 바로 그 폭발을 막는 것입니다. 각 결론이 지정값을 보존하는지 별도로 확인해야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
역설의 논리 (The Logic of Paradox)
Graham Priest (1979). Journal of Philosophical Logic, 8(1), 219–241.
- 자료 성격
- 동료심사 학술지 논문 · 저자 공개 게재판 PDF
- 읽은 버전
- 1979년 Journal of Philosophical Logic 게재판, 23쪽
- 확인 범위
- 저자 공개 PDF 전문에서 LP 의미론, 지정값에 따른 타당성, 비폭발성, 역설 적용과 논의 범위를 확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.