일반화 양화사 이론 (Generalized Quantifier Theory)
한 줄 정의: "모든", "대부분의" 같은 자연언어 양화 표현을 집합 사이의 관계로 해석하는 형식의미론 이론입니다.
쉽게 풀면
논리학의 기본 양화사는 "모든(∀)"과 "어떤(∃)" 두 가지뿐이지만, 사람의 말에는 "대부분의", "세 명 이상의", "몇몇" 같은 표현이 훨씬 많습니다. 일반화 양화사 이론은 이런 표현을 두 집합 사이의 관계로 봅니다. 예를 들어 "대부분의 학생이 잔다"는 학생 가운데 자는 사람이 절반을 넘는다는 뜻으로 해석합니다.
왜 중요한가
이 이론 덕분에 1차 논리로는 표현할 수 없는 양화 표현까지 통일된 방식으로 다룰 수 있게 되었습니다. 형식의미론, 언어습득(양화사 해석 발달), 계산언어학의 의미 표상 연구에서 기본 틀로 쓰입니다.
논문에서는 이렇게 쓰입니다
"본 연구는 일반화 양화사 이론에 따라 "대부분"을 |A∩B| > |A−B|로 정의하고, 아동의 진리치 판단 과제 수행을 분석하였다."
양화 표현의 의미를 집합 관계로 정의하고 실험에 적용한 문장입니다.
조금 더 깊게 보면
몬터규의 작업을 바탕으로 1981년 바와이즈(Barwise)와 쿠퍼(Cooper)가 자연언어 의미론에 본격 도입했습니다. 이 이론에서 명사구 전체("모든 학생")는 속성들의 집합을 가리키는 것으로 해석됩니다. 대표적 성과로 보존성(conservativity), 상향·하향 단조성 같은 보편적 성질이 정리되었고, 단조성은 "any" 같은 부정극어가 나타나는 환경을 설명하는 데 쓰입니다.
주의할 점
철학·논리학의 양화사가 ∀·∃ 같은 논리 기호를 가리킨다면, 이 항목은 자연언어의 다양한 양화 표현을 집합 관계로 분석하는 언어학 이론입니다. "대부분" 같은 표현은 1차 논리로 정의할 수 없다는 점이 이 이론의 출발점입니다.