한 문장이 참이면서 거짓이라면, 무엇을 추론할 수 있을까요?

고전논리에서는 A와 ¬A를 함께 전제로 두면 임의의 B를 이끌 수 있습니다. 실제 이론이나 언어에 모순이 생겼을 때 이 폭발을 그대로 허용하면 구별해야 할 모든 주장이 한꺼번에 따라옵니다.

프리스트는 일부 역설적 문장이 참이면서 거짓일 가능성을 검토하고, 그런 문장을 인정해도 추론 전체가 사소해지지 않는 논리 LP를 제시합니다.

프리스트의 LP에는 세 가지 값이 있습니다. 참만인 값 {1}, 거짓만인 값 {0}, 참과 거짓을 함께 가진 값 {1,0}입니다. 중괄호 안의 1은 참의 표지, 0은 거짓의 표지입니다. {1,0}은 두 표지가 들어 있는 하나의 진리값입니다.

“아직 참인지 거짓인지 모른다”는 상태와 구별해야 합니다. {1,0}은 참과 거짓이 함께 부여된 상태입니다. 아래 표에서 한 행이 하나의 값을 나타냅니다.

부정은 1과 0을 맞바꿉니다. 참만인 문장의 부정은 거짓만이고, 거짓만인 문장의 부정은 참만입니다. 두 표지를 가진 문장은 부정해도 두 표지를 유지합니다.

따라서 A가 양쪽 값을 가질 때 A와 ¬A가 모두 지정값을 갖습니다. 이 지점에서 모순을 허용하되 다른 문장으로 폭발시키지 않습니다.

원문은 값들을 진리 순서로 놓고 연언을 최솟값, 선언을 최댓값으로 정의합니다. 두 표지를 집합으로 보면 참 성분과 거짓 성분이 각각 고전적 조건에 따라 계산됩니다.

아래 활동은 세 값으로 작은 진리표를 직접 계산하게 합니다. “둘 다”가 섞였을 때도 규칙이 정해져 있어 임의로 판정하지 않습니다.

LP의 지정값은 참 성분 1을 포함한 {1}과 {1,0}입니다. 전제들이 모두 지정값일 때 결론도 지정값이면 그 추론은 타당합니다.

결론이 거짓 성분도 함께 가진다고 해서 자동 탈락하지 않습니다. 핵심은 참 성분을 보존하는가입니다.

A∨B와 ¬A에서 B를 얻는 선언삼단논법은 LP에서 일반적으로 타당하지 않습니다. A가 참이면서 거짓이고 B가 거짓이면 두 전제는 지정값이지만 B는 지정값이 아닙니다.

원문은 LP가 고전적으로 타당한 많은 추론을 보존하면서 이 추론을 잃는다는 점을 강조합니다. 이 제한이 폭발을 막는 통로가 됩니다.

수치로 확인해 보겠습니다. A={1,0}, B={0}이면 A∨B={1,0}이고 ¬A={1,0}입니다. 두 전제에는 모두 참 표지가 있지만 결론 B에는 없습니다. 이 한 평가가 “A∨B와 ¬A이면 항상 B다”라는 추론을 반박합니다.

원문이 쓰는 재료함의 A→B는 ¬A∨B로 정의됩니다. 이 조건문은 modus ponens를 일반적으로 보장하지 않으므로, LP 안에서 함의와 귀결을 같은 것으로 읽으면 안 됩니다.

프리스트는 Curry 역설을 다룰 때도 이 약함을 중요하게 사용합니다. 후속 연구에서는 목적에 따라 다른 조건문을 더한 체계들이 논의됩니다.

“이 문장은 거짓이다”라는 문장 α와 그 참 조건을 함께 두면 α와 ¬T⟨α⟩가 연결됩니다. 진리 도식 T⟨α⟩↔α를 쓰면 α와 ¬α가 함께 나오는 고정점이 생깁니다.

LP는 이 결과를 모든 문장의 참으로 확장하지 않고 α가 두 표지를 가진다고 해석합니다. 아래 그림은 자기지시 고리가 한 문장 안에서 닫히는 모습을 보여 줍니다.

“이 문장은 참이면서 거짓이 아니다” 같은 강화된 문장은 단순 거짓말쟁이의 답을 다시 겨냥합니다. 논문은 진리 술어와 부정을 이용해 이 문장도 두 값을 갖게 된다고 분석합니다.

그렇다고 “참이면서 거짓”을 제4의 깨끗한 값으로 올려 해결하는 방식은 같은 종류의 역설을 다시 만듭니다. 원문은 값의 무한 계층보다 고정점 해석을 택합니다.

원문은 모든 조건 A(x)에 대해 {x:A(x)}가 있고, y∈{x:A(x)}↔A(y)라는 포괄 원리를 둔 순진한 집합론을 검토합니다. LP 위에서는 이 원리가 곧바로 모든 문장을 낳지 않습니다.

프리스트는 외연성, 쌍, 합집합, 멱집합, 분리, 무한, 선택과 유사한 여러 원리가 유지되는 방식을 살핍니다. 이는 무모순 집합론과 같은 체계라는 뜻이 아니라 비사소적 모형 가능성을 보이는 시도입니다.

r={x:x∉x}를 두면 r∈r↔r∉r가 생깁니다. LP에서는 r∈r가 참이면서 거짓인 상태로 고정될 수 있습니다.

중요한 점은 이 모순이 임의의 소속 명제나 산술 명제로 퍼지지 않는다는 것입니다. 모형에서 각 문장의 값을 따로 계산해야 합니다.

“이 문장이 참이면 B”라는 Curry 문장은 부정 기호 없이도 임의의 B를 끌어낼 위험이 있습니다. 따라서 단지 모순을 허용하는 것만으로는 충분하지 않습니다.

원문의 재료함의는 modus ponens를 일반적으로 만족하지 않으므로 Curry의 폭발적 단계가 막힙니다. 어떤 더 강한 조건문을 더할지는 별도 설계 문제입니다.

아닙니다. LP는 두 값 해석이 가능한 형식 체계를 제공합니다. 서로 충돌하는 기록을 발견했다고 해서 두 기록의 내용이 실제로 모두 참이라고 결론짓는 경험적 규칙은 아닙니다.

아래 활동은 형식적 모순과 자료 검증을 구분합니다. 출처 오류·시간 차이·용어 차이를 먼저 확인하고, 제거되지 않는 충돌을 어떤 추론 규칙으로 다룰지 명시합니다.

한 문장이 참이면서 거짓일 수 있다는 생각은 직관적으로 강한 반발을 부릅니다. 또 모순 문장과 일관된 문장을 언어 안에서 깔끔히 가를 수 있는지, 양상과 조건문을 어떻게 확장할지도 남습니다.

프리스트는 “모순적이다”라는 술어로 다시 분할하면 강화된 역설이 재현될 수 있다고 답합니다. 논문은 모든 쟁점을 끝내기보다 LP의 가능성을 열어 둡니다.

LP에서는 모순된 문장을 인정해도 추론 전체가 무너지지 않습니다. 참 성분을 보존하는 세 값 의미론이 폭발을 차단하고, 역설 문장을 국소적인 두 값 고정점으로 다룹니다.

이 답은 모든 모순을 참이라고 선언하자는 제안이 아닙니다. 어떤 문장이 두 값을 갖는지, 어떤 조건문과 수학 이론을 쓸지, 경험 자료의 충돌을 어떻게 검증할지는 각각 근거가 필요합니다.