충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?

서류가 A함 또는 B함에 있다는 기록과 A함에는 없다는 기록을 읽었습니다. 두 기록을 고전적으로 사용하면 B함에 있다는 결론을 냅니다. 그런데 A함에도 있다는 기록이 함께 남아 있으면, “A함에는 없다”는 기록만으로 A함의 가능성을 지우기 어렵습니다.

바텐스의 적응논리는 이런 충돌이 있을 수 있는 전제에서 결론을 사용할 조건을 함께 적습니다. 위 예의 결론에는 A함에 관한 두 기록이 충돌하지 않는다는 조건이 붙습니다. 어떤 기록이 현실에서 잘못되었는지는 별도 조사로 확인해야 합니다. 논리는 주어진 기록에서 무엇을 추론할지 다룹니다.

사람은 현재 가진 정보, 이용 가능한 방법, 풀려는 문제에 비추어 판단합니다. 바텐스의 입장은 합리성을 완성된 절대 관점보다 특정 문제 상황에 대한 방법의 적합성으로 설명합니다.

그래서 논리는 하나의 고정된 만능 규칙집보다 문제 해결 방법을 정확히 기술하는 도구가 됩니다. 방법을 형식화하면 언제 결론을 쓰고 언제 거둘지 공개적으로 검사할 수 있습니다.

서류의 실제 위치를 찾는 문제라면 원본 기록을 대조하는 방법이 필요하고, 서로 충돌하는 기록에서 어떤 결론이 나오는지 묻는 문제라면 전제와 추론 규칙을 살펴야 합니다. 논문이 말하는 합리성은 현재 정보와 문제, 사용할 방법을 함께 평가하는 관점입니다.

세 가지를 정합니다. 먼저 충돌이 있어도 사용할 기본 추론 규칙을 정합니다. 이를 하한 논리라고 합니다. 다음으로 어떤 식을 경계할 충돌로 볼지 정합니다. 예를 들어 A∧¬A는 “A와 A가 아님이 함께 있다”라는 꼴입니다.

마지막으로 이런 충돌 가능성이 드러났을 때 어느 증명 줄에 표식을 붙일지 정합니다. 이것이 전략입니다. 아래에서는 논문의 신뢰성 전략을 따라갑니다. 이름만 보고 임의로 결론을 보류하는 것이 아니라, 명시된 조건과 단계별 도출식을 대조합니다.

p를 “A함에 서류가 있다”, r을 “B함에 서류가 있다”라고 합시다. p∨r과 ¬p에서 r을 쓸 때 {p∧¬p}라는 조건을 적습니다. 이 중괄호는 참이라고 가정한 전제 목록이 아니라, 그 줄을 사용할 때 피하려는 충돌의 목록입니다.

∧는 “그리고”, ∨는 “또는”, ¬는 부정을 나타냅니다. 충돌이 없는 한 p∨r과 ¬p로 r을 사용할 수 있습니다. p의 충돌이 표식 규칙에 걸리면 이 조건에 의존한 r 줄을 보류합니다.

표식은 “현재 단계에서 이 증명 줄을 결론으로 사용하지 않는다”는 뜻입니다. 결론 문장 자체가 거짓이라고 증명한 것은 아닙니다. r을 보류했다고 곧바로 ¬r을 얻는 것도 아닙니다.

증명 줄과 사용한 전제는 기록에 남깁니다. 증명이 진행되면서 어느 충돌이 최소한으로 요구되는지 더 밝혀지면 표식이 풀리는 경우도 있습니다. 7–8번 문답에서 같은 전제를 놓고 실제로 이 변화를 따라가겠습니다.

α를 p∧¬p, β를 q∧¬q라고 줄여 쓰겠습니다. α∨β가 도출되었다면 둘 중 적어도 하나의 충돌이 요구됩니다. 아직 어느 쪽인지 좁히지 못한 단계에서는 두 후보에 의존한 줄을 모두 경계합니다.

나중에 α 자체가 도출되면 α∨β보다 작은 후보 묶음 {α}로 그 충돌 요구를 설명할 수 있습니다. 이때 β에 관한 다른 최소 충돌 요구가 없다면 β만 조건으로 가진 줄의 표식이 풀릴 수 있습니다. 여기서 최소란 후보 개수가 무조건 가장 적다는 뜻이 아니라, 일부 후보를 덜어낸 더 작은 논리합이 현재 도출되어 있지 않다는 뜻입니다.

논문 5절의 예를 따라가겠습니다. 전제는 (¬p∧¬q)∧t, p∨r, q∨s, p∨q, t⊃p입니다. 앞의 서류 예와 독립된 기호 예이며, ⊃는 이 논문에서 쓰는 함의입니다. 첫 전제에서 ¬p, ¬q, t를 꺼낼 수 있습니다.

r에는 p의 충돌을 피한다는 조건이, s에는 q의 충돌을 피한다는 조건이 붙습니다. 8번째 줄까지는 두 충돌 중 하나가 필요하다는 사실만 명시적으로 도출해 둘 다 표시합니다. 다음 표에서 각 줄이 어느 앞줄을 쓰는지 확인해 보세요.

그렇습니다. 앞의 예는 전제를 새로 추가한 경우가 아닙니다. 처음부터 있던 전제를 사용해 9번째 줄 p∧¬p를 더 도출한 경우입니다. 그러면 p의 충돌만으로 이미 충돌 요구가 충족되어, q 조건에 붙은 표식이 풀립니다.

이 예에서 r 줄은 계속 보류되고 s 줄은 다시 사용할 수 있습니다. 표식 해제가 “q에 모순이 전혀 없다”는 별도 증명을 뜻하는 것은 아닙니다. 현재의 최소 충돌 요구와 줄의 조건을 다시 대조한 결과입니다.

하한 논리가 전제 집합에 허용하는 모형들의 집합을 먼저 만듭니다. 비정상성 집합과 전략은 그 가운데 더 정상적인 모형을 골라 적응적 모형으로 삼습니다.

증명론의 표식과 의미론의 모형 선택은 서로 대응하도록 설계됩니다. 논문은 표준 형식이 건전성과 완전성 같은 메타이론을 함께 제공한다고 설명합니다.

여기서 “더 정상적”은 현실의 사람이나 행동을 평가하는 말이 아닙니다. 정해 둔 비정상성 식이 어떤 모형에서 성립하는지를 비교한다는 뜻입니다. 신뢰성 전략과 최소 비정상성 전략은 구별되며, 단순히 충돌 개수만 세어 가장 적은 하나를 고르는 방식으로 요약해서는 안 됩니다.

하한 논리는 언제나 허용되는 약한 바닥입니다. 상한 논리 ULL은 비정상성을 배제할 수 있을 때 얻게 되는 강한 결론의 경계를 보여 줍니다. 적응논리는 두 경계 사이에서 전제의 실제 이상 여부에 맞춰 움직입니다.

전제가 정상이라면 적응논리의 결론이 상한 논리와 같아질 수 있습니다. 전제가 비정상일 때는 하한보다 풍부하지만 폭발하는 상한의 모든 결론까지 가지 않습니다.

p∨r, ¬p만 있을 때 하한 논리는 r을 무조건 주지 않지만, 적응논리는 p의 충돌을 감시하는 조건으로 r을 사용할 수 있습니다. 이 예가 기본 추론과 조건부 추론의 차이를 보여 줍니다.

적응논리는 표식 규칙을 명시하므로 어떤 단계에서 왜 결론이 IN 또는 OUT인지 검사할 수 있습니다. 임의로 마음을 바꾸는 과정과 다릅니다.

다만 유한한 증명만 보고 최종 도출성을 항상 결정할 수 있는 것은 아닙니다. 논문은 가능한 증명 연장에 관한 메타이론이 필요한 경우를 분명히 합니다.

바텐스는 문제 영역과 맥락에 따라 여러 논리적 의미와 방법이 필요하다고 봅니다. 선택에는 하한 논리, 비정상성, 전략, 해결하려는 문제라는 분명한 근거가 따라야 합니다.

논문의 마지막 부분은 일상 추론에서도 부정·함의·양화가 한 가지 방식으로만 작동하지 않는다고 논증합니다. 다원성은 기준 부재가 아니라 여러 기준의 맥락적 명시입니다.

문장의 뜻과 기준 시점을 먼저 고정해야 합니다. 오전의 “A함에 있다”와 오후의 “A함에 없다”는 이동이 있었을 수 있으므로 곧바로 p와 ¬p의 충돌로 묶을 수 없습니다. 같은 서류·같은 시각·같은 위치 기준인지를 먼저 확인합니다.

그 뒤에 어떤 문장을 전제로 쓰고 어떤 충돌을 감시할지 정합니다. 적응논리는 자료의 실제 오류를 찾아 자동으로 정정하는 장치가 아닙니다. 기록의 해석과 논리적 추론을 연결하려면 이 준비가 필요합니다.

적응논리는 조건과 표식을 붙여 잠정 결론을 쓰고, 비정상성이 드러나면 그 결론을 거둘 수 있게 합니다. 새 정보는 증명 기록을 지우는 대신 줄의 상태를 바꿉니다.

이 구조는 합리적 추론을 완성된 전제에서의 한 번짜리 계산보다 진행 중인 문제 해결 과정으로 보여 줍니다. 결론과 함께 조건·전략·현재 단계를 읽을 때 철회의 이유가 투명해집니다.