행위 논리의 모달 연산 체계

초록

본 논문은 수행 동사를 일종의 모달 연산자로 해석하여, 비아키메데스적(비표준) 다값 논리 체계에 기반한 새로운 일루시어리 로직을 제시한다. ‘think’와 같은 단일 수행 동사부터 시작해 모든 수행 동사를 포괄하는 순서 관계와 반대 관계(사각 대립)를 정의함으로써, 전통적 프레게식 조합과 비프레게식 조합을 동시에 다룰 수 있는 논리적 틀을 구축한다.

상세 분석

이 논문은 일루시어리 로직(illocutionary logic)의 형식화 문제에 접근하면서, 기존의 ‘프레게식’ 의미 구성 원칙을 의도적으로 탈피한다는 점에서 독창적이다. 저자는 일루시어리 행위 F(Φ)를 ‘F’라는 단일 일항 연산자로 모델링하고, 이를 전통적인 명제 논리의 진리값 {0,1} 위에 1/2(성공)와 –1/2(실패)라는 두 개의 중간값을 추가한 4값 비아키메데스 구조로 확장한다. 여기서 핵심은 F 연산자가 ‘성공’과 ‘실패’를 구분하는 새로운 차원을 제공한다는 점이다.

논문은 먼저 ‘think’라는 수행 동사만을 대상으로 한 구체적 매트릭스 M을 제시한다. 진리값 집합 {1, 1/2, 0, –1/2}와 지정값 {1}을 정의하고, ¬와 F에 대한 연산 규칙을 명시한다. 특히 F는 항등성(F(F(a))=F(a))과 부정과의 교환 법칙(¬F(a)=F(¬a))을 만족하도록 설계돼, 전통적 모달 연산과 유사하면서도 일루시어리 행위의 ‘성공 여부’를 반영한다.

다음으로 저자는 일루시어리 행위와 일반 명제 사이의 관계를 ‘성공 ⇔ 내용이 참’이라는 직관적 기준으로 연결한다. 이를 통해 F(Φ)⇒Φ, ¬F(Φ)⇒¬Φ 등 일곱 개의 불평등(=동등) 관계를 도출하고, 이는 ‘생각한다면 그 내용이 실제일 것’이라는 일루시어리 논리의 타당성을 보인다. 특히 (3)·(4)에서 보이는 ‘F(Φ∧Ψ)⇒F(Φ)∧F(Ψ)’와 ‘F(Φ)∨F(Ψ)≤F(Φ∨Ψ)’는 전통적 논리 연산이 일루시어리 연산에 적용될 때 발생하는 비프레게식 현상을 정확히 포착한다.

논문의 가장 큰 확장점은 모든 수행 동사를 포괄하는 ‘일루시어리 힘’ 사이의 부분 순서 ≤를 도입한 것이다. 이는 “F₁(Φ) ⇒ F₂(Ψ)”가 모든 상황에서 F₁을 수행하면 반드시 F₂도 수행된다는 의미로, 일루시어리 행위 간의 논리적 함의를 정량화한다. 이 순서 관계를 기반으로 ‘반대(oppose)’와 ‘대립(contrary)’ 개념을 정의하고, 사각 대립(square of opposition) 구조를 제시한다. 예를 들어 ‘order’와 ‘forbid’는 서로 반대이며, 각각의 부정 형태와 함께 네 개의 관계(모순, 대립, 하위, 상위)를 형성한다.

강점으로는 (1) 일루시어리 행위의 성공/실패를 수학적으로 모델링함으로써 기존의 현상학적 접근을 보완하고, (2) 프레게식 조합과 비프레게식 조합을 동일 논리 체계 안에서 동시에 다룰 수 있게 한 점, (3) 비아키메데스적 다값 논리를 활용해 ‘성공’이라는 새로운 차원을 도입한 점을 들 수 있다.

하지만 몇 가지 한계도 존재한다. 첫째, 4값 체계가 실제 언어 사용에서 나타내는 미묘한 뉘앙스를 충분히 포착하는지에 대한 실증적 검증이 부족하다. 둘째, ‘think’ 외의 다른 수행 동사에 대한 구체적 매트릭스 예시가 제시되지 않아, 일반화 과정이 추상적이다. 셋째, 비아키메데스적 순서와 사각 대립이 기존의 모달 논리와 어떻게 통합될 수 있는지, 특히 완전성·정Soundness와 같은 메타논리적 성질에 대한 논의가 결여돼 있다. 마지막으로, 논문 전반에 걸쳐 수식 표기가 깨져 있어 가독성이 떨어지며, 정의와 정리 사이의 논리적 흐름을 따라가기 어려운 부분이 있다.

전반적으로 이 연구는 일루시어리 로직을 형식화하려는 시도에서 새로운 방향을 제시했으며, 특히 ‘성공’이라는 메타값을 도입한 비아키메데스적 다값 체계는 향후 언어 행위 모델링에 유용한 틀을 제공한다. 다만, 구체적 사례와 메타논리적 검증을 보강한다면 보다 강력한 이론적 기반을 구축할 수 있을 것이다.