Hill Publishing Group | contact@hillpublisher.com

Hill Publishing Group

Location:Home / Journals / Journal of Applied Mathematics and Computation /

DOI:10.26855/jamc.2018.10.004

Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory , and Demonstrations of Improvability of The Formulae (Kq  q) and (q  q) in It

Date: November 5,2018 |Hits: 1873 Download PDF How to cite this paper
V.O. Lobovikov

Laboratory for Applied System Research, Ural Federal University, Yekaterinburg
*Corresponding author: V.O. Lobovikov
Email: vlobovikov@mail.ru

Abstract

Synthesizing some normal and non-normal modal logic systems by the formal axiomatic epistemology theory X is under investigation. New proofs of logic non-contradictoriness of the theory X are constructed. For the first time several proofs of improvability of (Kq ® q) and (ðq® q) in X are submitted. (Here “Kq” stands for “person knows that q”; “ðq”stands for “it is necessary that q”, and “q” stands for a proposition.) The logically formalized axiomatic epistemology system X is considered as a response to the critique of the classical epistemic modal logic by the empiricist-minded philosophers and representatives of the evolutionary epistemology. Some aspects of the system under discussion are graphically represented by the square and hexagon of conceptual opposition.

References

 

How to cite this paper

Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory X, and Demonstrations of Improvability of The Formulae (Kq ® q) and (q ® q) in It

How to cite this paper: Lobovikov, V.O. (2018) Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory X, and Demonstrations of Improvability of The Formulae (Kq ® q) and (q ® q) in It. Journal of Applied Mathematics and Computation, 2(10), 483-495.
DOI: 10.26855/jamc.2018.10.004

Volumes & Issues

Free HPG Newsletters

Add your e-mail address to receive free newsletters from Hill Publishing Group.

Contact us

Hill Publishing Group

8825 53rd Ave

Elmhurst, NY 11373, USA

E-mail: contact@hillpublisher.com

Copyright © 2019 Hill Publishing Group Inc. All Rights Reserved.