ПРОБЛЕМА КУАЙНА ВОЗВРАЩАЕТСЯ
Ключевые слова:
теоретико-доказательственная семантика, пропозициональная установка de re, КуайнАннотация
В статье «Кванторы и пропозициональные установки» (1956) Куайн показал, что наивная теоретико-модельная формализация аскрипции мнений de re в некоторых случаях (таких, как описанный им случай Ральфа) порождает два нежелательных эффекта: 1) кажущуюся противоречивость системы мнений, приписываемых рациональному агенту; 2) противоречивость некоторых аскрипций мнения, которые, однако, представляются хорошо обоснованными. В обсуждаемой статье Доманов утверждает, что теоретико-доказательственная формализация аскрипций мнения предотвращает эти эффекты. Я показываю, что этот тезис ошибочен, поскольку используемый им метод формализации приводит к воспроизведению как минимум первого из них. По моему мнению, это обусловлено тем, что при определении функции расширения контекста Доманов отождествляет переменные из разных контекстов.
