О. А. Доманов The article examines basic features of type-theoretical semantics (Ranta, Martin-Löf) and proposes a formalization of Quine’s sentence on Ralph from his article «Quantifiers and propositional attitudes» in terms of this semantics. The formalization, it appears, allows us to avoid the problems of quantification in belief contexts pointed out by Quine.
Научная статья 
Мартин-Лёф Дата публикации:
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
Лицензия:
Источник: