Доклад А.Н. Поддьякова, В.В. Долгорукова, А.С. Бобровой «Нормативные и дескриптивные модели рассуждений-1: мнение решателей о причинах ошибочных и правильных ответов в задачах на нетранзитивность превосходства; альтернативы семантике Крипке и многообразие кондиционалов»
26 апреля в 18:30 состоится заседание теоретического семинара «Формальная философия».
А.Н. Поддьяков, В.В. Долгоруков, А.С. Боброва
выступят с докдаом на тему
«Нормативные и дескриптивные модели рассуждений-1: мнение решателей о причинах ошибочных и правильных ответов в задачах на нетранзитивность превосходства; альтернативы семантике Крипке и многообразие кондиционалов»
Аннотация:
На заседании планируется обсудить промежуточные результаты исследования нормативных и дескриптивных моделей рассуждений, проводимого в лаборатории. В центре внимания будет доклад А.Н. Поддьякова, которому удалось разработать методику и провести уникальный эксперимент. В нем участникам (n=135) помимо решения задач на логическое следование применительно к ситуациям нетранзитивности превосходства (А превосходит В, В превосходит С, С превосходит А) задавалась задача на рефлексию – о причинах ошибочных и правильных решений этих задач другими людьми. Ситуацию нетранзитивности превосходства, представленную в задаче с тремя командами борцов, побеждающих друг друга по принципу «камень, ножницы, бумага», подавляющее большинство участников посчитало возможной. И подавляющее большинство посчитало невозможной ситуацию, представленную в другой задаче – про наборы карандашей, различающихся по длине, хотя она тоже возможна. Наиболее распространенными были ответы участников о причинах чужих ошибок при решении этих задач: задача про борцов – это задача про живое, динамичное, взаимодействующее, и здесь возможны самые разные варианты исходов, в отличие от задачи про карандаши – неживые, статичные, не взаимодействующие друг с другом, где парадоксальные исходы, выглядящие для многих людей противоречием с некоторыми правилами математики и логики, представляются невозможными.
В конце заседания будет дан обзор затруднений, которые вызывает использование стандартной̆ семантики С. Крипке для анализа ряда эпистемических сценариев и предложен способ альтернативного варианта построения эпистемической логики, стремящегося данные затруднения преодолеть. Наконец, участниками семинара будет рассмотрена простая задача, демонстрирующая сложности систематизаций и унификации кондиционалов.