20260322: Олег Доманов, Наблюдательная теория типов в семантике естественного языка

Выступление Олега Доманова «Наблюдательная теория типов в семантике естественного языка» на заседании кружка аналитической философии 22 марта 2026 г. Аннотация: Наблюдательная теория типов (Higher Observational Type Theory, HOTT) является третьим из популярных подходов к построению гомотопической теории типов (HoTT) помимо HoTT Book и кубической теории типов. От первой она отличается конструктивностью (унивалентность выполнена по определению), от второй — относительной простотой и «автономностью оснований». Ядром HOTT является определённая теория равенства. Доклад содержит введение в HOTT и некоторые подходы к её использованию для формализации естественного языка (родо-видовые отношения, копредикация). Некоторые источники: 6. Bahramian H.; Nematollahi N.; Sabry A. - Copredication in homotopy type theory (2018).