ТЕОРИЯ ТИПОВ В СЕМАНТИКЕ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК

Авторы

  • Олег Анатольевич Доманов Институт философии и права СО РАН

Ключевые слова:

теория типов, теоретико-типовая семантика, пропозициональные установки, А.Ранта

Аннотация

В статье описывается подход к анализу пропозициональных установок, опирающийся на теоретико-типовую семантику, предложенную А. Ранта и основанную на теории типов П. Мартин-Лёфа. Теоретико-типовая семантика в явном виде содержит контексты и способы извлечения информации из них. Это позволяет корректно формализовать зависимость от контекста, характерную для пропозициональных установок. В статье контекст представляется в виде типа зависимой суммы (тип Record в системе работы с доказательствами Coq), при этом подход А. Ранта уточняется и применяется к анализу фразы Куайна «Ральф верит, что кто-то шпион». Описано три варианта формализации этой фразы, которые различаются содержанием контекстуального знания и способом вывода из него истинностных значений фразы. Связь между контекстами устанавливается функцией преобразования, позволяющей соотносить значения истинности. В результате, средства для работы с контекстами, предоставляемые теоретико-типовой семантикой, позволяют избежать проблем непрозрачности, описанных Куайном. Формализация вместе с доказательствами кодирована в Coq и свободно доступна.

Загрузки

Опубликован

2019-03-21

Как цитировать

[1]
2019. ТЕОРИЯ ТИПОВ В СЕМАНТИКЕ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК. Эпистемология и философия науки. 55, 4 (Mar. 2019), 26–37.