Knowledge and its dynamics in intuitionistic logic

Abstract

Thе article examines the problem of superposition of deductive and cognitive attitudes in the context of intuitionistic logic. The prerequisites and methods of modelling the change in knowledge within the framework of epistemic logic are studied. The main emphasis is placed on the difference in the understanding of truth and knowledge in clas­sical and intuitionistic logic. It is shown that an alternative understanding of truth in intu­itionistic logic entails an understanding of the modality of knowledge that is different from the one used in classical logic.