Е.В. Борисов
Институт философии и права СО РАН, Новосибирск, Россия borisov.evgeny@gmail.com
Ключевые слова: познаваемость, логическая формализация, de re, de dicto, эпистемическая логика, гибридная логика
Страницы: 96-105
Аннотация
В статье рассматривается предложенная К. Проиетти репрезентация познаваемости средствами гибридной эпистемической логики первого порядка. Данная логика содержит алетическую и эпистемическую модальности, а также сентенциональные и термовые гибридные операторы. Выявлены два недостатка данной формализации и предложены две ее модификации, устраняющие эти недостатки.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее