О. А. Доманов Рассмотрены основные черты теоретико-типовой семантики (Ранта, Мартин-Лёф) и предложена формализация в этой семантике фразы Куайна о Ральфе из статьи «Кванторы и пропозициональные установки». Формализация позволяет избежать проблем квантификации в доксических контекстах, указанных Куайном.
Научная статья 
Мартин-Лёф Дата публикации:
2018
Серия:
Том (volume):
16
Выпуск (issue):
1
Страницы:
33-47
Идентификатор:
oai:oai.sibphil.elpub.ru:article/51
https://sibphil.elpub.ru/jour/article/view/51
10.25205/2541-7517-2018-16-1-33-47
Лицензия:
Источник: