The problems of quantified epistemic logic

Abstract

Within the framework of quantified modal logic (QML) the author, in the first part of his paper, on the basis of the actualist approach to the problem of founding logical moalities, attempts to found a system of quantified epistemic logic (QEL) which presupposes a characteristic manner of problem-solving if compared to the rule of existential generalisation (EG). This is Hintikka's approach. The central issue of the second part of the paper tackles the rule of existential, as well as some other problems in connection with their applications in quantified epistemic logic. The conclusion gives counter arguments to two systems QEL (Hintikka' system K and B and Carlson's system C).