?
Логика эффектов фрейминга Ф. Берто и А. Озгюн – новый формализм для решения проблем семантики пропозициональных установок
Статья посвящена проблемам формализации содержания пропозициональных установок и тому, насколько успешно эти проблемы могут быть решены в семантике возможных миров. В фокусе внимания находятся, во-первых, феномены, которые в психологической литературе называются эффектами фрейминга, а в семантической – нарушением подстановочности в косвенных контекстах; и, во-вторых, проблема логического всеведения. В первой части статьи объясняется, почему эффекты фрейминга составляют проблему для семантики возможных миров и почему агент в этой семантике неизбежно моделируется как логически всеведущий. Далее дается характеристика четырем подходам к проблеме эффектов фрейминга в семантике возможных миров: матесемантическому, прагматическому, мультимодельному и подходу, связанному с моделированием тематики. Для каждого из первых трех приводятся их основные недостатки применительно к данной проблеме и в целом. Результаты применения последнего подхода рассматриваются более подробно в следующей части статьи на примере одной из современных систем доксастической логики, а именно логики эффектов фрейминга Ф. Берто и А. Озгюн. Излагается синтаксис и семантические правила данной логики, после чего объясняется, как, согласно этим правилам, должно выглядеть описание эффектов фрейминга. Приводятся модели ситуаций, в которых агенту присущи одновременно убеждение в какой-то пропозиции и отсутствие убеждения в другой пропозиции, необходимо эквивалентной первой. Показано, что используемый способ моделирования не приводит к проблемам и интуитивно адекватен. В последней части излагается аксиоматика логики эффектов фрейминга и приводятся некоторые теоремы, значимые в контексте проблемы логического всеведения. Дается интерпретация этих теорем, на основе которой делается вывод, что с проблемой логического всеведения данная логика справляется не настолько успешно, как с самими эффектами фрейминга. В заключении предлагается направление, в котором можно развивать логику эффектов фрейминга, чтобы более полно решить с ее помощью проблему логического всеведения, и обсуждаются перспективы такого развития.