К ТЕОРЕТИКО-ТИПОВОЙ СЕМАНТИКЕ ДОКСИЧЕСКИХ КОНТЕКСТОВ
Опубликовано чт, 09/05/2024 - 00:08 пользователем Гость (не проверено)Рассмотрены основные черты теоретико-типовой семантики (Ранта, Мартин-Лёф) и предложена формализация в этой семантике фразы Куайна о Ральфе из статьи «Кванторы и пропозициональные установки». Формализация позволяет избежать проблем квантификации в доксических контекстах, указанных Куайном.