양화된 선호 논리

초록

본 논문은 기존의 이유 기반 선호 논리(Osherson & Weinstein, 2012)를 일차 논리의 양화사와 결합하여 확장한다. 새로운 시스템의 구문·의미론을 정의하고, 기본적인 정리와 완전성, 결정가능성 등을 논의한다.

상세 분석

양화된 선호 논리는 전통적인 이유 기반 선호 논리의 핵심 아이디어인 ‘선호 관계를 이유에 의해 정당화한다’는 원칙을 유지하면서, 일차 논리의 존재·보편 양화사를 도입함으로써 표현력을 크게 확대한다. 논문은 먼저 언어를 정의한다. 기본 원자식은 1차 술어와 개체 변수, 그리고 선호 연산자 ≻ 를 포함한다. 선호 연산자는 두 개의 1차 공식 ϕ, ψ에 대해 “ϕ가 ψ보다 선호된다”는 의미를 갖으며, 이는 이유 집합 R⊆ℒ에 의해 정당화될 수 있다. 의미론적으로는 전통적인 모델 M=(D, I)에 더해 ‘이유 함수’ ρ:ℒ→𝒫(R)와 ‘효용 함수’ u:D→ℝ을 추가한다. ρ는 각 공식에 대해 어떤 이유가 적용되는지를 지정하고, u는 개체에 대한 효용값을 부여한다. 선호 관계 ϕ≻ψ는 모든 가능한 세계 w에서, ρ가 적용된 이유 집합이 동일할 때 u가 ϕ를 만족시키는 개체들의 평균 효용이 ψ를 만족시키는 개체들의 평균 효용보다 높을 경우 성립한다. 이러한 정의는 기존의 비양화 논리와 일관성을 유지하면서도, 양화사의 도입으로 “모든 사람은 가장 선호하는 선택을 한다”와 같은 복합 진술을 기술할 수 있게 한다. 논문은 주요 공리들을 제시한다. (i) 선호의 반사성 부정, (ii) 전이성, (iii) 양화 보존성(∀x ϕ≻ψ → ϕ≻∀x ψ 등) 등이다. 특히 양화 보존성은 이유 함수와 효용 함수가 변수 바인딩에 대해 적절히 연속적임을 전제한다. 증명론 측면에서는 자연 연역 시스템을 설계하고, ‘선호 전이 규칙’과 ‘양화 전이 규칙’을 도입한다. 주요 정리로는 (1) 완전성 정리: 모든 유효한 1차 선호 공식은 연역 체계에서 증명 가능함을 보이며, (2) 결정가능성 결과: 제한된 언어(예: 유한 도메인, 선호 연산자 제한)에서는 만족성 문제가 NP-완전임을 보인다. 또한, 효용 함수가 실수값이 아닌 유한 순위값으로 제한될 경우, 모델 검사 알고리즘이 다항 시간에 수행될 수 있음을 논한다. 마지막으로, 기존의 모달 선호 논리와 비교하여, 양화된 선호 논리가 더 풍부한 표현력을 제공하지만, 복잡도 측면에서는 일부 서브프래그먼트에서 동일한 복잡도 경계를 공유한다는 점을 강조한다.