Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality

被引:3
|
作者
Nesher, Dan [1 ]
机构
[1] Univ Haifa, Dept Philosophy, Haifa, Israel
关键词
epistemology; knowledge; logic; proof; reality; basic science; truth;
D O I
10.1515/sem-2019-0026
中图分类号
C [社会科学总论];
学科分类号
03 ; 0303 ;
摘要
Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either true or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself.
引用
收藏
页码:153 / 179
页数:27
相关论文
共 3 条
  • [1] Epistemic Games in Modal Logic: joint Actions, Knowledge and Preferences All Together
    Lorini, Emiliano
    Schwarzentruber, Francois
    Herzig, Andreas
    LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 212 - 226
  • [2] Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge
    Ajspur, Mai
    Goranko, Valentin
    Shkatov, Dmitry
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (03) : 407 - 437
  • [3] Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
    Goranko, Valentin
    Shkatov, Dmitry
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 237 - +