В течение ленивых ночей последних двух летних недель я с большим интересом читал новый том запланированной пятитомной работы Скотта Соумса «Аналитическая традиция в философии». Том 3: «Борьба за модальность», сосредоточенный на Куайне и Крипке, был для меня особенно интересен. Почему экономисту должна быть интересна модальная логика? Большая часть моих исследований была посвящена байесовской эконометрике, а в последнее время — искусственному интеллекту, который также сильно полагается на байесовское рассуждение. Этот подход проник в мою повседневную жизнь. Те, кто меня знает, слышали, как я говорю такие вещи, как: «Событие X (например, результат выборов) произойдет с вероятностью 60%», что представляет собой мою степень уверенности. Таким образом, я потратил значительное время на размышления о сильных, но также и о слабых сторонах байесовского подхода. Одна из слабостей, по крайней мере с моей точки зрения, заключается в том, что байесовское рассуждение с трудом захватывает логические ограничения на убеждения (например, замыкание под логическим следствием) и не предоставляет структурированные правила обновления, кроме как перемещения постериоров. С другой стороны, модальная логика может накладывать эти ограничения более последовательным образом (даже если это стоит количественной оценки). В искусственном интеллекте она помогает формализовать такие идеи, как выразительность, т.е. рассуждение о убеждениях других агентов, как в эпистемической теории игр или в моделях «прогнозирования прогноза других», над которыми я работал несколько лет назад, чтобы понять деловые циклы. Вот почему я всегда был привлечен к проекту @BFraassen конструктивного эмпиризма: 🔗 даже если это меньшинство среди исследователей. Его можно свободно интерпретировать как попытку объединить лучшее из модальной логики и байесовского рассуждения: первое предоставляет логический скелет убеждения, второе — численное содержание. Отличный отчет Соумса о борьбе Куайна и Крипке с многими из этих идей, на мой скромный (и не очень экспертный) взгляд, станет выдающейся ссылкой на многие годы вперед.