Знание и его динамика в интуиционистской логике
DOI:
https://doi.org/10.21146/2072-0726-2022-15-3-113-124Ключевые слова:
интуиционизм, логическая семантика, динамическая логика, эпистемическая логика, многообразие агентовАннотация
В настоящей статье рассматривается проблема суперпозиции дедуктивных и познавательных установок в контексте интуиционистской логики. Изучаются предпосылки и способы моделирования изменения знания в рамках эпистемической логики. Основной акцент сделан на различии в понимании истинности и знания в классической и интуиционистской логике. Показано, что альтернативное понимание истинности в интуиционистской логике влечет за собой иное понимание модальности знания, нежели в классической логике.