앞 문장의 ‘한 사람’을,
다음 문장의 ‘그’는
어떻게 기억할까요?

첫 문장의 “한 남자”는 보통 존재양화사 ∃x로 옮깁니다. 둘째 문장의 “그”는 같은 x를 이어받아야 하지요. 그런데 고전 술어논리에서 ∃x의 문법적 범위는 첫 문장 안에서 끝납니다. 두 문장을 그대로 ∃x(남자(x) ∧ 공원걷기(x)) ∧ 휘파람(x)으로 붙이면 마지막 x는 양화사의 범위 밖에 남습니다.

범위를 전체 담화로 넓혀 다시 쓰면 진리조건은 얻을 수 있지만, 첫 문장을 둘째 문장을 보기 전에 해석한다는 조합성의 장점이 사라집니다. 논문의 과제는 문장 구조를 억지로 고치지 않고도 앞 문장이 만든 대상을 뒤 문장이 사용할 수 있게 하는 것입니다.

고전 의미론은 어떤 배정이 문장을 참으로 만드는지 봅니다. DPL은 한 걸음 더 나아가, 문장을 처리하기 전의 배정 g가 처리 뒤의 배정 h로 어떻게 바뀔 수 있는지를 봅니다. 따라서 한 공식의 의미는 배정 하나의 집합이 아니라 가능한 입력–출력 쌍의 집합입니다.

프로그램을 실행하면 기계 상태가 바뀐다는 동적논리의 관점을 언어 해석에 가져온 셈입니다. 다만 이 논문이 추적하는 변화는 문장이 전달하는 모든 지식이 아닙니다. 뒤의 대명사가 쓸 수 있는 선행 대상을 배정에 어떻게 남기는지에 초점을 맞춥니다.

배정은 변수마다 대상을 붙여 주는 함수입니다. g(x)=노아라면 변수 x가 노아를 가리킵니다. 원자식 남자(x)는 새 대상을 만들지 않고, 들어온 배정이 조건을 만족하는지 검사합니다. 만족하면 같은 배정을 그대로 통과시키고, 실패하면 출력하지 않습니다.

이 “검사”는 작은 장치이지만 중요합니다. 동적 의미론이 모든 표현을 변화시키는 명령으로 보는 것은 아닙니다. 어떤 식은 상태를 만들고, 어떤 식은 현재 상태를 거르는 역할을 합니다.

그렇습니다. 입력 g에서 ∃xφ를 처리할 때는 x의 값만 달리한 중간 배정 k들을 만들고, 그 가운데 φ를 성공적으로 통과하는 경로를 출력으로 남깁니다. 후보가 둘이면 출력도 둘일 수 있습니다. 이후 문장은 각 출력에서 이어집니다.

⟦∃xφ⟧ = { ⟨g,h⟩ | 어떤 k가 있어 k[x]g 이고 ⟨k,h⟩ ∈ ⟦φ⟧ }

첫 문장이 만든 x 값을 둘째 문장이 받아야 하기 때문입니다. 동적 연언은 φ가 g를 k로 바꾸고, 이어서 ψ가 k를 h로 바꾸는 중간 상태 k가 있을 때 g를 h에 연결합니다. 관계의 합성입니다.

⟦φ ∧ ψ⟧ = { ⟨g,h⟩ | 어떤 k에 대해 ⟨g,k⟩∈⟦φ⟧ 이고 ⟨k,h⟩∈⟦ψ⟧ }

DPL은 문법적 범위와 실제 결속력을 구분합니다. ∃xP(x) ∧ Q(x)에서 Q(x)는 ∃x의 문법적 범위 밖에 있지만, 연언의 관계 합성이 x 값을 전달하므로 동적으로 묶입니다. 논문은 이런 양화사를 “활성” 양화사로 추적합니다.

그렇다고 아무 x나 무제한으로 묶이는 것은 아닙니다. 같은 변수를 뒤에서 다시 양화하면 새 값이 이전 값을 덮어쓸 수 있고, 부정이나 문맥을 닫는 연산을 지나면 전달이 멈춥니다.

전건이 ∃x∃y(농부(x) ∧ 당나귀(y) ∧ 소유(x,y))의 성공 상태들을 만듭니다. 동적 함의는 그 성공 상태 각각에서 후건 때림(x,y)이 성공하는지 요구합니다. 그래서 전건의 명사구는 존재양화로 번역되지만, 전체 조건문에서는 모든 관련 농부–당나귀 쌍을 검사하는 효과가 생깁니다.

중요한 점은 전건의 각 출력을 후건으로 넘긴다는 것입니다. 당나귀 문장의 “그”와 “그것”이 어떤 농부와 당나귀를 가리키는지 이 연결이 보존합니다.

논문의 기본 DPL에서 부정 ¬φ는 현재 입력에서 φ의 성공 출력이 하나도 없는지 검사하고, 조건이 맞으면 입력을 그대로 돌려줍니다. 선언 φ∨ψ도 어느 한쪽이 성공하는지만 확인하고 입력을 유지합니다. 전칭양화와 함의 역시 전체 식 밖으로는 새 배정을 내보내지 않는 검사입니다.

하지만 내부 작동은 같지 않습니다. 함의는 전건의 출력을 후건으로 넘기므로 내부적으로 동적입니다. 선언은 한 선언지에서 만든 지시 대상을 다른 선언지로 넘기지 않습니다. “밖으로 무엇을 남기는가”와 “안쪽 두 부분을 어떻게 잇는가”를 나누어 봐야 합니다.

논문은 두 동치를 구분합니다. DPL 동치는 두 식이 같은 입력–출력 관계를 갖는 경우입니다. 만족집합 동치, 즉 s-동치는 어느 입력에서 출력이 존재하는지만 같으면 됩니다. 후자는 진리조건이 같다는 뜻이지만, 출력에 어떤 변수 값이 남는지는 말하지 않습니다.

따라서 ∃xP(x)와 ¬∀x¬P(x)는 같은 입력에서 성공할 수 있어도 같은 의미 관계는 아닙니다. 앞 식은 x 값을 출력에 남길 수 있지만, 부정이 들어간 뒤 식은 입력을 그대로 돌려주는 검사이기 때문입니다.

연언이 관계 합성이면 순서가 곧 실행 순서입니다. 먼저 ∃x로 대상을 도입한 뒤 Q(x)를 검사할 수 있지만, Q(x)를 먼저 검사하고 나중에 ∃x를 실행하면 새 값은 이미 지나간 검사에 닿지 않습니다. 고전논리의 교환법칙이 동적 의미에서는 일반적으로 성립하지 않습니다.

그렇다고 연언의 모든 법칙이 사라지는 것은 아닙니다. 논문은 결합법칙은 유지됨을 보입니다. DPL은 고전논리를 무작정 버리기보다, 정보 전달과 충돌하는 법칙이 어디서 달라지는지 밝힙니다.

첫 부정은 φ가 성공할 수 없는지 검사하고, 둘째 부정은 그 검사가 실패하는지 다시 검사합니다. 결과적으로 φ가 성공 가능한 입력에서 ¬¬φ도 성공합니다. 그래서 진리조건은 같습니다. 그러나 부정은 매번 입력을 그대로 돌려주는 검사이므로 φ가 만들었던 x 값은 출력에 남지 않습니다.

논문은 이 효과를 닫힘 연산자 ♦로 나타냅니다. ♦φ는 φ가 성공할 수 있는지만 확인한 뒤 담화 지시 대상을 닫습니다. 이중부정은 φ를 진리조건만 남는 검사로 바꾸는 셈입니다.

DPL에서는 전제 집합보다 담화 순서가 중요합니다. 전제 φ₁,…,φₙ은 차례로 상태를 바꾸고, 결론 ψ는 마지막 상태에서 성공해야 합니다. 중간 전제가 같은 변수를 새로 도입하면 앞 전제가 만든 결속을 가릴 수도 있습니다.

그래서 오른쪽에 전제를 덧붙이는 일이 언제나 안전하지 않습니다. ∃xP(x)에서 P(x)를 이어 말할 수 있어도, 사이에 ∃xQ(x)를 넣으면 x가 Q 대상의 값으로 바뀔 수 있습니다. 논문은 이 점을 동적 함의의 비단조적 측면으로 설명합니다.

문법은 고전 술어논리와 같습니다. 차이는 의미를 배정의 집합이 아니라 배정 사이 관계로 준다는 데 있습니다. 논문은 각 DPL 식을 적절히 범위를 정리한 식으로 바꿀 수 있고, 그 식의 진리조건이 고전 술어논리와 맞는다는 점을 보입니다.

DRT와는 교차문장 대명사와 당나귀 문장을 설명하려는 목표를 공유합니다. 다만 별도의 담화표상 구조를 먼저 만들지 않고, 공식 자체에 조합적 동적 의미를 줍니다. 프로그램 의미론의 양화 동적논리와는 입력–출력 관계라는 형식을 공유하며, 논문은 두 체계 사이 번역을 제시합니다.

논문 자체가 아니라고 선을 긋습니다. 기본 DPL은 외연적 1차 체계라서 시제·양상·태도와 문장보다 작은 구성요소의 조합을 충분히 다루지 못합니다. 또 부정·선언·전칭양화·함의 뒤에서도 대명사가 이어지는 자연언어 예들이 있어, 어느 문맥에서 이 연산들이 동적으로 작동하는지 더 설명해야 합니다.

저자들은 고차 내포 언어와 동적 몬태규 문법을 후속 방향으로 제시합니다. 오늘날 DPL의 가치는 모든 문장을 끝낸 해답보다, 뜻에는 다음 문장을 바꾸는 힘도 포함된다는 질문을 정확한 관계 의미론으로 열어 보였다는 데 있습니다.