Категорная формальная эпистемология

Main Article Content

Владимир Леонидович Васюков

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Васюков В. Л. Категорная формальная эпистемология // Логические исследования / Logical Investigations. 2025. Т. 31. № 1. C. 9-23.
Раздел
Философия и логика

Литература

Васюков 2005 – Васюков В.Л. Категорная логика, М.: АНО Институт логики, 2005. 194 с.
Маклейн 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.