К теоретико-типовой семантике доксических контекстов

Доманов Олег Анатольевич

К теоретико-типовой семантике доксических контекстов

Доманов Олег Анатольевич

1. Институт философии и права СО РАН, ул. Николаева, 8, Новосибирск, 630090, Россия

2. Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск, 630090, Россия

domanov@philosophy.nsc.ru

Материал поступил в редколлегию 25.01.2018

Рассмотрены основные черты теоретико-типовой семантики (Ранта, Мартин-Лёф) и предложена формализация в этой семантике фразы Куайна о Ральфе из статьи «Кванторы и пропозициональные установки». Формализация позволяет избежать проблем квантификации в доксических контекстах, указанных Куайном.

Ключевые слова: семантика, теория типов, доксические контексты, Ранта, Мартин-Лёф.

33-46

Открыть

Выходные данные: Доманов О. А. К теоретико-типовой семантике доксических контекстов. Сибирский философский журнал. 2018, Том 16, № 1. C. 33–47. DOI: 10.25205/2541-7517-2018-16-1-33-47