Hill Publishing Group | contact@hillpublishing.org
Location:Home > Journals > Journal of Applied Mathematics and Computation > 2018 > 10
Journals
Contact Information
Hill Publishing Group
8825 53rd Ave
Elmhurst, NY 11373, USA
E-mail: contact@hillpublishing.org

Journal of Applied Mathematics and Computation

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

Author:V.O. Lobovikov Date:October 31,2018 Hits:

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

Full-Text HTML

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
V.O. Lobovikov

Laboratory for Applied System Research, Ural Federal University, Yekaterinburg
*Corresponding author: V.O. Lobovikov, Laboratory for Applied System Research, Ural Federal University, Yekaterinburg.
Email: vlobovikov@mail.ru
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

>> No Data
Copyright © 2018 Hill Publishing Group Inc. All Rights Reserved.