모형 이론 및 몬터규 의미론

몬터규 의미론은 유형화된 의도 논리(typed intensional logic)를 사용하여 자연어를 모형 이론적으로 해석하며, 표현에 의미를 완전히 구성적으로 할당합니다.

Definition

모형 이론적 의미론은 형식 모형에 상대적으로 표현을 해석합니다. 몬터규 의미론은 유형화된 의도 논리와 동형적인 구문-의미 매핑을 사용하여 자연어에 대해 이를 수행하는 특정 프로그램입니다.

Scope

이 주제는 자연어에 대한 모형 이론적 의미론의 형식적 장치를 다룹니다: 개체, 가능 세계 및 시간을 포함하는 도메인을 가진 모형; 의미 유형 및 유형화된 람다 미적분; 그리고 이러한 도메인에 대한 함수로서의 표현 해석. 이는 몬터규의 '일상 영어의 정량화에 대한 적절한 처리(The Proper Treatment of Quantification in Ordinary English, PTQ)'와 의도 및 확장, 그리고 일반화된 수량사로서의 명사구 분석을 포함하여 형식 논리의 엄격함으로 영어를 다루는 광범위한 프로그램에 중점을 둡니다.

Core questions

• 자연어의 표현은 형식 모형에서 어떻게 의미가 할당됩니까?
• 의미 유형과 람다 미적분은 구성적 해석에서 어떤 역할을 합니까?
• 의도와 확장은 어떻게 구별되며, 가능 세계가 필요한 이유는 무엇입니까?
• 몬터규의 처리는 수량사 구문과 범위를 어떻게 다룹니까?

Key concepts

• 가능 세계
• 의도 대 확장
• 의미 유형
• 유형화된 람다 미적분
• 일반화된 수량사
• 동형적인 구문-의미 매핑
• 의도 논리

Key theories

정량화의 적절한 처리 (PTQ)

몬터규의 영어 단편으로, 구문 규칙이 의미 해석 규칙과 일대일로 짝을 이루고, 명사구는 일반화된 수량사를 나타내며, 의도 논리는 불투명성과 양태성을 처리합니다.

유형 이론 및 의도 논리

표현은 기본 유형(개체, 진리값)과 가능 세계/시간으로부터 구성된 유형으로 할당됩니다. 의도는 가능 세계에서 확장으로의 함수이며, 불투명하고 양태적인 맥락의 의미를 포착합니다.

History

프레게, 카르나프의 의도/확장 구분, 그리고 타르스키의 모형 이론을 기반으로, 몬터규는 1970년경 일련의 논문(가장 유명한 것은 PTQ)을 발표하여 영어가 모형 이론적 의미론을 가진 형식 언어로 다루어질 수 있다고 주장했습니다. Dowty, Wall, Peters의 교과서는 기술적 장치를 언어학자들이 접근할 수 있도록 만들었고, 이 프레임워크는 현대 형식 의미론의 기초가 되었습니다.

Debates

가능 세계 의도와 세분성 문제

의미를 가능 세계에서 확장으로의 함수로 취급하는 것은 모든 필연적으로 동등한 표현을 잘못 동일시하며, 이는 더 세분화되고 구조화되거나 초의도적인 의미 개념에 대한 제안을 촉발합니다.

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

의도와 확장의 차이점은 무엇입니까?

표현의 확장은 주어진 세계에서의 지시체(예: 실제 개의 집합)인 반면, 의도는 각 가능 세계에 대한 확장을 산출하는 함수(대략적으로 개념)이며, 이는 양태적이고 불투명한 맥락을 해석하는 데 필요합니다.