동적 의미론과 양자 이론이 밝혀낸 인지 순서 효과

초록

이 논문은 일반화된 양자 이론과 동적 의미론을 연결시켜, 질문 순서 효과뿐 아니라 믿음 수정, 대명사 해석, 기본 추론 등 인간 인지에서 나타나는 다양한 비가환적(순서 의존) 현상을 설명한다.

상세 분석

논문은 먼저 Atmanspacher·Römer·Walach(2002)의 약한 양자 이론을 소개한다. 여기서 상태공간 X와 변환자 A∈Mor(X)는 관측가능량(observable)으로 간주되며, 변환의 합성 AB는 일반적으로 비가환이다. 특히 투사 연산자 A²=A는 고유상태를 만들고, 이러한 투사는 ‘믿음 상태’를 고정시키는 역할을 한다. 동적 의미론에서는 이러한 관측가능량을 ‘에피스테믹 연산자’로 해석한다. 만약 연산자들이 모두 가환하고 멱등하면 전통적인 명제 논리와 동일하게 동작한다(논리적 합성 A∧B=AB=BA). 그러나 실제 인지 과정에서는 믿음 수정(∗ 연산자), 대명사 지시, 기본(default) 추론 등 비가환 연산이 필연적이다. 예를 들어 믿음 수정 연산자 A∗는 기존 명제 A와 순서에 따라 다른 결과를 낳으며, 이는 AB≠BA 형태의 비가환성을 만든다. 대명사 해석에서도 “그”가 선행 명사에 따라 달라지는 CBA와 CAB의 차이는 연산자 순서가 의미를 바꾸는 전형적인 사례다. 기본 추론에서는 “아마 John”과 “그는 Mary” 같은 비단조적 규칙이 적용돼, B C B A와 B A C B와 같은 순서가 서로 다른 논리적 결과를 만든다. 이러한 현상들은 모두 일반화된 양자 이론의 비가환 연산자 구조와 일치한다. 논문은 또한 베이즈적 업데이트와 Lüders‑Niestegge 규칙을 비교하면서, 양자 확률이 믿음 수정과 같은 비단조적 변화를 더 자연스럽게 모델링할 수 있음을 제시한다. 결국, 동적 의미론을 양자 이론의 프레임워크 안에 배치함으로써, 인간 인지에서 관측(질문·명제)과 상태(믿음)의 상호작용을 수학적으로 일관되게 설명할 수 있다.