Категорная формальная эпистемология
Main Article Content
Аннотация
В статье предлагается использовать потенциал методов категорной логики для расширения рамок формальной эпистемологии, принимая во внимание, что современная формальная эпистемология представляет собой междисциплинарную исследовательскую программу, которая включает в себя философские, математические, компьютерные, статистические, психологические и экономические аспекты, требующие использования логических, математических и компьютерных методов наряду с корректными стратегиями для рассуждений о знании, убеждениях и суждениях. Использование систем категорной логики вместо систем модальной эпистемической логики позволяет включить в орбиту рассмотрения вопросы не только степеней убежденности суждений (эпистемической или субъективной вероятности), но и степеней убежденности эпистемических выводов и их взаимосвязи. Для оценки этих связей вводится агентность и «байесианская» параметризация эпистемических выводов путем приписывания условной вероятности получения одних эпистемических суждений из других. Для достижения этой цели осуществляется переход от категорий к 2-категориям, в которых объектами уже являются сами выводы. Степени убежденности в двухуровневых дедуктивных 2-категориях можно ввести, параметризуя значениями условной вероятности стрелки второго уровня (2-стрелки, или, в другой терминологии, 2-клетки). В этом случае речь уже идет о степени условной достоверности тех или иных выводов, характеризуя выбор того или иного вывода как достоверного с помощью категорных конструкций на стрелках второго уровня. При этом, связывая условную вероятность с эпистемическими выводами, мы в категорной эпистемологии уменьшаем степень убежденности для случая сложных выводов, увеличивая ее одновременно для случая более простых выводов между одними и теми же формулами.
Скачивания
Article Details
Copyright (c) 2025 Владимир Леонидович Васюков

Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Маклейн 2004 – Маклейн С. Категории для работающего математика, М: ФИЗМАТЛИТ, 2004. 352 с.
Baez, 1997 – Baez J.C. Introduction to n-Categories // URL: https://arxiv.org/abs/q-alg/9705009 (дата обращения: 26.03.2025).
Hendrics 2006 – Hendrics V. F. Mainstream and Formal Epistemology, Cambridge University Press, New York, 2006. 188 p.
Lambek Scott 1986 – Lambek J., Scott P.J. Introduction to higher order categorical logic, Cambridge University Press, London, 1986. 293 p.