Knowledge and its dynamics in intuitionistic logic
TU Wien, Alexandra M. Pavlova · Philosophy Journal · 2022
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 classical and intuitionistic logic. It is shown that an alternative understanding of truth in intuitionistic logic entails an understanding of the modality of knowledge that is different from the one used in classical logic.