Введение

Феномен, при котором язык используется для обсуждения возможных ситуаций, – тесно связанная грамматическая категория. В лингвистике и философии модальность относится к способам, которыми язык может выражать различные отношения к реальности или истине. Например, модальное выражение может передавать вероятность, желательность или допустимость чего-либо. К типичным модальным выражениям относятся модальные вспомогательные глаголы, такие как "мог бы", "следует" или "должен"; модальные наречия, такие как "возможно" или "необходимо"; и модальные прилагательные, такие как "представимо" или "вероятно". Однако модальные компоненты были выявлены в значениях бесчисленных выражений естественного языка, включая контрфактические высказывания, пропозициональные установки, индикативы, привычные и обобщающие конструкции. Модальность интенсивно изучалась с различных точек зрения. В лингвистике типологические исследования проследили межъязыковые вариации в стратегиях маркирования модальности, с особым вниманием к ее взаимодействию с маркированием времени, вида и наклонения. Теоретические лингвисты стремились проанализировать как пропозициональное содержание, так и дискурсивные эффекты модальных выражений, используя формальные инструменты, заимствованные из модальной логики. В философии лингвистическая модальность часто рассматривается как ключ к более широким метафизическим понятиям необходимости и возможности.

Формальная семантика

Лингвистическая модальность была одной из центральных проблем в формальной семантике и философской логике. Исследования в этих областях привели к разнообразным интерпретациям пропозиционального содержания и конвенциональных дискурсивных эффектов модальных выражений. Преобладающие подходы в этих областях основаны на модальной логике. В этих подходах модальные выражения, такие как *must* и *can*, анализируются как кванторы над множеством возможных миров. В классической модальной логике это множество отождествляется с множеством миров, доступных из мира оценки. Начиная с основополагающей работы Анжелики Крацер, формальные семантики приняли более детализированное понимание этого множества, определяемое двумя контекстуальными функциями, называемыми модальной базой и источником порядка соответственно. Для эпистемической модальности, такой как английские *must* или *might*, это множество понимается как совокупность миров, совместимых со знаниями говорящего в реальном мире. Предположим, например, что говорящий, произнесший предложение (4) выше, знает, что Джон только что купил новую роскошную машину и арендовал огромную квартиру. Говорящий также знает, что Джон – честный человек со скромным происхождением и не играет в лотерею. Тогда множество доступных миров – это множество миров, в которых все эти утверждения, известные говорящему о Джоне, истинны. Понятия необходимости и возможности затем определяются следующим образом: Пропозиция P необходимо следует из множества доступных миров, если все доступные миры являются частью P (то есть, если p истинно во всех этих мирах).

Другое

Для выражения модальности могут использоваться комплементизаторы (например, в русском языке) и союзы (например, в языке центральное помо).