Модельно-теоретическая семантика и семантика Монтегю

Семантика Монтегю интерпретирует естественный язык модельно-теоретически, используя типизированную интенсиональную логику для присвоения денотаций выражениям полностью композиционным способом.

Definition

Модельно-теоретическая семантика интерпретирует выражения относительно формальной модели; семантика Монтегю — это конкретная программа, реализующая это для естественного языка с использованием типизированной интенсиональной логики и гомоморфного отображения синтаксис-семантика.

Scope

Эта тема охватывает формальный аппарат модельно-теоретической семантики для естественного языка: модели с областями индивидов, возможных миров и времен; семантические типы и типизированное лямбда-исчисление; а также интерпретацию выражений как функций над этими областями. Она сосредоточена на работе Монтегю «Корректная трактовка квантификации в обычном английском языке» (PTQ) и более широкой программе трактовки английского языка со строгостью формальной логики, включая интенсию и экстенсию, а также анализ именных групп как обобщенных квантификаторов.

Core questions

• Как выражениям естественного языка присваиваются денотации в формальной модели?
• Какую роль играют семантические типы и лямбда-исчисление в композиционной интерпретации?
• Как различаются интенсия и экстенсия, и почему необходимы возможные миры?
• Как трактовка Монтегю обрабатывает кванторные фразы и область действия кванторов?

Key concepts

• возможные миры
• интенсия против экстенсии
• семантический тип
• типизированное лямбда-исчисление
• обобщенный квантификатор
• гомоморфное отображение синтаксис-семантика
• интенсиональная логика

Key theories

Корректная трактовка квантификации (PTQ)

Фрагмент английского языка Монтегю, в котором синтаксические правила попарно соответствуют правилам семантической интерпретации, именные группы обозначают обобщенные квантификаторы, а интенсиональная логика обрабатывает непрозрачность и модальность.

Теория типов и интенсиональная логика

Выражениям присваиваются типы, построенные из базовых типов (сущности, истинностные значения) и, возможно, миров/времен; интенсии — это функции из возможных миров в экстенсии, отражающие значение непрозрачных и модальных контекстов.

History

Опираясь на Фреге, различение интенсии/экстенсии Карнапа и тарскианскую модельную теорию, Монтегю опубликовал серию работ около 1970 года, наиболее известной из которых является PTQ, утверждая, что английский язык может рассматриваться как формальный язык с модельно-теоретической семантикой. Учебник Даути, Уолла и Питерса сделал технический аппарат доступным для лингвистов, и эта концепция стала основой современной формальной семантики.

Debates

Интенсии возможных миров и проблема гранулярности

Трактовка значений как функций из возможных миров в экстенсии ошибочно приравнивает все необходимо эквивалентные выражения, что побуждает к предложениям о более тонких, структурированных или гиперинтенсиональных понятиях значения.

Key figures

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

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

В чем разница между интенсией и экстенсией?

Экстенсия выражения — это его денотация в данном мире (например, фактическое множество собак), тогда как его интенсия — это функция, которая дает экстенсию для каждого возможного мира (грубо говоря, понятие), что необходимо для интерпретации модальных и непрозрачных контекстов.